Trace number 4508789

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 VeriPB 2025-06-06SAT (TO)-50 3602.46 3274.5

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
MD5SUM609ffeb3252de5d8ecab6cf3f101c41d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-80
Best CPU time to get the best result obtained on this benchmark2.03794
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints576
Number of constraints which are clauses288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 389
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 420
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 420
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2104792832
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.29/0.32	c Pseudo Boolean Optimization by upper bound
0.29/0.32	c --- Begin Solver configuration ---
0.29/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.32	c Learn all clauses as in MiniSAT
0.29/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	c Expensive reason simplification
0.29/0.32	c Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	c timeout=2147483s
0.29/0.32	c DB Simplification allowed=false
0.29/0.32	c Listener: none
0.29/0.32	c --- End Solver configuration ---
0.29/0.32	c solving HOME/instance-4508789-1751516288.opb
0.29/0.32	c reading problem ... 
0.29/0.32	c using VERIPB proof format
0.29/0.33	c  objective function found
0.64/0.45	c ... done. Wall clock time 0.125s.
0.64/0.45	c declared #vars     441
0.64/0.45	c #constraints  576
0.64/0.45	c constraints type 
0.64/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 288
0.64/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 288
0.64/0.45	c 576 constraints processed.
0.64/0.48	c objective function length is 389 literals
0.64/0.52	c SATISFIABLE
0.80/0.53	c OPTIMIZING...
0.80/0.53	c Got one! Elapsed wall clock time (in seconds):0.214
0.80/0.53	o -48
1.13/0.71	c Got one! Elapsed wall clock time (in seconds):0.4
1.13/0.72	o -49
1.74/1.02	c Got one! Elapsed wall clock time (in seconds):0.707
1.74/1.02	o -50
3.48/1.94	c cleaning 3000 clauses out of 6009 with flag 10190/6009
4.67/2.58	c cleaning 4500 clauses out of 9009 with flag 22213/12009
5.87/3.19	c cleaning 5751 clauses out of 11509 with flag 36246/19009
6.83/3.64	c cleaning 6875 clauses out of 13757 with flag 52274/27008
7.56/4.16	c cleaning 7935 clauses out of 15882 with flag 70304/36008
8.21/4.74	c cleaning 8966 clauses out of 17947 with flag 90986/46008
9.07/5.48	c cleaning 9983 clauses out of 19982 with flag 113427/57009
10.28/6.68	c cleaning 10990 clauses out of 21999 with flag 137427/69009
11.88/8.20	c cleaning 11998 clauses out of 24009 with flag 163427/82009
12.82/9.19	c cleaning 12999 clauses out of 26011 with flag 191439/96009
13.84/10.16	c cleaning 13997 clauses out of 28011 with flag 221454/111008
15.78/12.09	c cleaning 14997 clauses out of 30015 with flag 253516/127009
17.16/13.30	c cleaning 16004 clauses out of 32017 with flag 287631/144008
18.35/14.48	c cleaning 16997 clauses out of 34014 with flag 323789/162009
19.68/15.75	c cleaning 18004 clauses out of 36017 with flag 361929/181009
20.94/16.94	c cleaning 19001 clauses out of 38012 with flag 402064/201008
22.60/18.54	c cleaning 20000 clauses out of 40011 with flag 444256/222008
24.09/19.98	c cleaning 20999 clauses out of 42012 with flag 488491/244009
25.38/21.27	c cleaning 21999 clauses out of 44013 with flag 534670/267009
26.97/22.70	c cleaning 22998 clauses out of 46013 with flag 582785/291008
29.16/24.83	c cleaning 24005 clauses out of 48017 with flag 632993/316010
30.85/26.52	c cleaning 24997 clauses out of 50010 with flag 685310/342008
32.67/28.23	c cleaning 26000 clauses out of 52014 with flag 739658/369009
34.61/30.02	c cleaning 26999 clauses out of 54014 with flag 795976/397009
37.60/32.95	c cleaning 28000 clauses out of 56015 with flag 854303/426009
40.69/36.10	c cleaning 28999 clauses out of 58015 with flag 914567/456009
42.68/38.03	c cleaning 29999 clauses out of 60015 with flag 976782/487008
44.65/39.90	c cleaning 30998 clauses out of 62016 with flag 1041048/519008
46.54/41.81	c cleaning 32000 clauses out of 64018 with flag 1107278/552008
49.12/44.39	c cleaning 33002 clauses out of 66019 with flag 1175663/586009
51.12/46.37	c cleaning 33997 clauses out of 68016 with flag 1246068/621008
53.59/48.72	c cleaning 35000 clauses out of 70020 with flag 1318486/657009
55.78/50.97	c cleaning 36000 clauses out of 72019 with flag 1392891/694008
58.82/53.86	c cleaning 37000 clauses out of 74020 with flag 1469310/732009
61.13/56.17	c cleaning 37999 clauses out of 76019 with flag 1547721/771008
64.07/58.93	c cleaning 39003 clauses out of 78021 with flag 1628223/811009
67.24/61.98	c cleaning 40002 clauses out of 80017 with flag 1710737/852008
69.83/64.59	c cleaning 40998 clauses out of 82015 with flag 1795178/894008
72.94/67.56	c cleaning 41997 clauses out of 84017 with flag 1881646/937008
76.20/70.67	c cleaning 43002 clauses out of 86021 with flag 1970240/981009
79.46/73.70	c cleaning 44000 clauses out of 88018 with flag 2060782/1026008
82.45/76.77	c cleaning 44998 clauses out of 90019 with flag 2153406/1072009
85.53/79.75	c cleaning 45998 clauses out of 92020 with flag 2248076/1119008
88.98/83.02	c cleaning 47001 clauses out of 94022 with flag 2344738/1167008
92.85/86.77	c cleaning 48005 clauses out of 96022 with flag 2443242/1216009
96.04/89.93	c cleaning 49000 clauses out of 98017 with flag 2543681/1266009
99.35/93.18	c cleaning 49997 clauses out of 100017 with flag 2646324/1317009
103.40/96.80	c cleaning 50999 clauses out of 102019 with flag 2751093/1369008
106.80/100.17	c cleaning 52000 clauses out of 104021 with flag 2857733/1422009
110.63/103.93	c cleaning 53003 clauses out of 106020 with flag 2966417/1476008
114.02/107.33	c cleaning 53998 clauses out of 108017 with flag 3077113/1531008
117.80/111.05	c cleaning 54998 clauses out of 110020 with flag 3189790/1587009
122.73/115.81	c cleaning 55996 clauses out of 112021 with flag 3304320/1644008
128.45/121.42	c cleaning 57006 clauses out of 114025 with flag 3420894/1702008
132.24/125.27	c cleaning 58000 clauses out of 116020 with flag 3539444/1761009
136.25/129.13	c cleaning 59002 clauses out of 118019 with flag 3659986/1821008
140.78/133.58	c cleaning 59997 clauses out of 120017 with flag 3782556/1882008
144.92/137.58	c cleaning 60998 clauses out of 122020 with flag 3907195/1944008
149.12/141.69	c cleaning 62001 clauses out of 124022 with flag 4033804/2007008
153.20/145.72	c cleaning 62999 clauses out of 126021 with flag 4162447/2071008
157.28/149.72	c cleaning 64001 clauses out of 128023 with flag 4292847/2136009
161.56/153.85	c cleaning 65001 clauses out of 130021 with flag 4425120/2202008
166.32/158.46	c cleaning 65997 clauses out of 132021 with flag 4559473/2269009
171.03/163.17	c cleaning 67002 clauses out of 134023 with flag 4695572/2337008
175.56/167.69	c cleaning 67999 clauses out of 136022 with flag 4833642/2406009
182.24/174.04	c cleaning 69000 clauses out of 138023 with flag 4974000/2476009
186.81/178.60	c cleaning 70002 clauses out of 140022 with flag 5116606/2547008
192.15/183.96	c cleaning 70999 clauses out of 142020 with flag 5261271/2619008
198.42/190.14	c cleaning 71996 clauses out of 144021 with flag 5407926/2692008
203.58/195.16	c cleaning 73003 clauses out of 146026 with flag 5556289/2766009
209.91/201.31	c cleaning 74003 clauses out of 148022 with flag 5707096/2841008
215.87/207.15	c cleaning 75001 clauses out of 150019 with flag 5859888/2917008
222.86/214.10	c cleaning 75997 clauses out of 152018 with flag 6014332/2994008
228.36/219.49	c cleaning 77004 clauses out of 154021 with flag 6170610/3072008
234.79/225.70	c cleaning 77999 clauses out of 156018 with flag 6328934/3151009
240.29/231.09	c cleaning 78995 clauses out of 158018 with flag 6489308/3231008
246.61/237.21	c cleaning 80003 clauses out of 160024 with flag 6651682/3312009
252.10/242.69	c cleaning 81000 clauses out of 162020 with flag 6816113/3394008
259.00/249.48	c cleaning 82001 clauses out of 164021 with flag 6982725/3477009
266.05/256.35	c cleaning 83001 clauses out of 166020 with flag 7151235/3561009
273.09/263.20	c cleaning 84000 clauses out of 168018 with flag 7321891/3646008
279.16/269.18	c cleaning 84999 clauses out of 170019 with flag 7494186/3732009
285.53/275.40	c cleaning 85996 clauses out of 172019 with flag 7668406/3819008
290.92/280.74	c cleaning 87001 clauses out of 174024 with flag 7844655/3907009
297.32/287.11	c cleaning 88002 clauses out of 176022 with flag 8022813/3996008
306.06/295.48	c cleaning 89000 clauses out of 178021 with flag 8202898/4086009
312.88/302.18	c cleaning 90003 clauses out of 180020 with flag 8385014/4177008
319.39/308.59	c cleaning 90998 clauses out of 182017 with flag 8569144/4269008
325.68/314.78	c cleaning 91996 clauses out of 184019 with flag 8755534/4362008
331.98/320.97	c cleaning 93001 clauses out of 186024 with flag 8943763/4456009
338.41/327.26	c cleaning 93998 clauses out of 188023 with flag 9134000/4551009
345.43/334.16	c cleaning 95002 clauses out of 190024 with flag 9326145/4647008
354.04/342.69	c cleaning 95999 clauses out of 192023 with flag 9520598/4744009
362.03/350.21	c cleaning 97004 clauses out of 194023 with flag 9716894/4842008
369.21/357.35	c cleaning 98004 clauses out of 196019 with flag 9915104/4941008
375.80/363.88	c cleaning 98997 clauses out of 198015 with flag 10115204/5041008
383.89/371.56	c cleaning 99998 clauses out of 200019 with flag 10317590/5142009
391.88/379.38	c cleaning 100999 clauses out of 202020 with flag 10521803/5244008
399.63/387.07	c cleaning 102001 clauses out of 204022 with flag 10727959/5347009
410.27/397.49	c cleaning 102999 clauses out of 206020 with flag 10936005/5451008
419.72/406.67	c cleaning 103999 clauses out of 208022 with flag 11146038/5556009
426.85/413.65	c cleaning 104999 clauses out of 210022 with flag 11358109/5662008
434.76/421.42	c cleaning 105997 clauses out of 212023 with flag 11572169/5769008
445.45/431.68	c cleaning 107007 clauses out of 214027 with flag 11788448/5877009
456.12/441.07	c cleaning 107999 clauses out of 216019 with flag 12006808/5986008
464.34/449.29	c cleaning 108996 clauses out of 218020 with flag 12227111/6096008
474.51/458.91	c cleaning 110002 clauses out of 220024 with flag 12449457/6207008
485.00/469.32	c cleaning 111002 clauses out of 222023 with flag 12673801/6319009
494.74/479.01	c cleaning 112001 clauses out of 224020 with flag 12900210/6432008
502.70/486.87	c cleaning 112999 clauses out of 226020 with flag 13128474/6546009
511.35/495.47	c cleaning 114004 clauses out of 228020 with flag 13358610/6661008
519.31/503.29	c cleaning 114999 clauses out of 230017 with flag 13590652/6777009
529.37/513.15	c cleaning 116000 clauses out of 232018 with flag 13824812/6894009
540.00/523.46	c cleaning 116998 clauses out of 234018 with flag 14060955/7012009
550.98/534.20	c cleaning 117999 clauses out of 236019 with flag 14299394/7131008
559.99/543.14	c cleaning 119004 clauses out of 238021 with flag 14539933/7251009
568.05/551.12	c cleaning 119998 clauses out of 240017 with flag 14782564/7372009
578.69/561.22	c cleaning 120996 clauses out of 242018 with flag 15027220/7494008
589.10/571.53	c cleaning 122001 clauses out of 244024 with flag 15273663/7617010
601.93/583.85	c cleaning 122999 clauses out of 246021 with flag 15521946/7741008
611.32/593.18	c cleaning 124000 clauses out of 248022 with flag 15772482/7866008
622.44/604.07	c cleaning 124997 clauses out of 250022 with flag 16024713/7992008
633.68/615.05	c cleaning 126002 clauses out of 252025 with flag 16279481/8119008
644.72/625.81	c cleaning 127001 clauses out of 254024 with flag 16536333/8247009
657.37/638.30	c cleaning 128002 clauses out of 256022 with flag 16794631/8376008
668.44/649.29	c cleaning 128998 clauses out of 258020 with flag 17054997/8506008
679.55/660.15	c cleaning 129995 clauses out of 260022 with flag 17317469/8637008
689.06/669.46	c cleaning 130999 clauses out of 262028 with flag 17582146/8769009
699.49/679.64	c cleaning 132004 clauses out of 264028 with flag 17848868/8902008
709.51/689.46	c cleaning 133000 clauses out of 266025 with flag 18117672/9036009
719.99/699.74	c cleaning 133998 clauses out of 268025 with flag 18388258/9171009
731.15/710.51	c cleaning 135000 clauses out of 270026 with flag 18661002/9307008
743.83/722.90	c cleaning 136001 clauses out of 272026 with flag 18935661/9444008
758.85/737.80	c cleaning 137002 clauses out of 274025 with flag 19212284/9582008
769.96/748.79	c cleaning 137999 clauses out of 276024 with flag 19491227/9721009
781.43/760.01	c cleaning 139003 clauses out of 278024 with flag 19771808/9861008
793.09/771.52	c cleaning 140002 clauses out of 280021 with flag 20054520/10002008
803.85/782.17	c cleaning 141000 clauses out of 282020 with flag 20338968/10144009
814.90/793.04	c cleaning 141994 clauses out of 284019 with flag 20625181/10287008
825.54/803.52	c cleaning 142998 clauses out of 286025 with flag 20913590/10431008
838.56/816.33	c cleaning 143997 clauses out of 288028 with flag 21204289/10576009
849.65/827.29	c cleaning 145004 clauses out of 290031 with flag 21496890/10722009
863.98/841.13	c cleaning 146006 clauses out of 292028 with flag 21791412/10869010
874.86/851.99	c cleaning 147004 clauses out of 294021 with flag 22087792/11017009
888.30/864.95	c cleaning 147999 clauses out of 296017 with flag 22386642/11166009
902.20/878.44	c cleaning 148996 clauses out of 298017 with flag 22687208/11316008
916.30/890.86	c cleaning 149998 clauses out of 300022 with flag 22989747/11467009
928.91/903.18	c cleaning 150998 clauses out of 302023 with flag 23294179/11619008
943.15/917.01	c cleaning 152004 clauses out of 304026 with flag 23600621/11772009
956.97/930.40	c cleaning 153005 clauses out of 306021 with flag 23908921/11926008
969.49/942.67	c cleaning 153997 clauses out of 308016 with flag 24219540/12081008
984.99/957.78	c cleaning 155001 clauses out of 310020 with flag 24532074/12237009
997.72/970.38	c cleaning 155995 clauses out of 312018 with flag 24846189/12394008
1013.01/985.20	c cleaning 156999 clauses out of 314024 with flag 25162838/12552009
1027.74/999.81	c cleaning 157999 clauses out of 316024 with flag 25481487/12711008
1042.54/1014.29	c cleaning 159000 clauses out of 318026 with flag 25802150/12871009
1055.77/1027.13	c cleaning 160002 clauses out of 320026 with flag 26124246/13032009
1069.35/1040.50	c cleaning 160999 clauses out of 322024 with flag 26448393/13194009
1081.84/1052.89	c cleaning 162004 clauses out of 324025 with flag 26774492/13357009
1096.31/1066.83	c cleaning 163002 clauses out of 326021 with flag 27102777/13521009
1110.16/1080.37	c cleaning 163996 clauses out of 328018 with flag 27432843/13686008
1123.30/1093.16	c cleaning 164996 clauses out of 330023 with flag 27764979/13852009
1137.95/1107.68	c cleaning 166000 clauses out of 332027 with flag 28099191/14019009
1153.57/1122.72	c cleaning 167000 clauses out of 334026 with flag 28435318/14187008
1166.72/1135.38	c cleaning 168002 clauses out of 336027 with flag 28773519/14356009
1179.77/1148.06	c cleaning 169003 clauses out of 338025 with flag 29113627/14526009
1195.21/1161.67	c cleaning 169996 clauses out of 340022 with flag 29455738/14697009
1208.54/1174.60	c cleaning 170997 clauses out of 342025 with flag 29799867/14869008
1225.02/1190.60	c cleaning 172004 clauses out of 344029 with flag 30146092/15042009
1241.35/1204.81	c cleaning 172998 clauses out of 346024 with flag 30494122/15216008
1257.77/1220.89	c cleaning 173998 clauses out of 348027 with flag 30844199/15391009
1276.05/1237.13	c cleaning 175004 clauses out of 350029 with flag 31196382/15567009
1293.94/1252.97	c cleaning 176003 clauses out of 352024 with flag 31551004/15744008
1315.60/1272.77	c cleaning 176999 clauses out of 354022 with flag 31907491/15922009
1337.49/1291.07	c cleaning 177999 clauses out of 356023 with flag 32266307/16101009
1357.67/1309.45	c cleaning 179000 clauses out of 358024 with flag 32626944/16281009
1376.39/1326.16	c cleaning 179998 clauses out of 360024 with flag 32989423/16462009
1396.66/1344.57	c cleaning 180998 clauses out of 362025 with flag 33353961/16644008
1418.74/1363.25	c cleaning 182001 clauses out of 364027 with flag 33720703/16827008
1438.99/1381.69	c cleaning 183003 clauses out of 366026 with flag 34089745/17011008
1458.29/1399.28	c cleaning 184000 clauses out of 368024 with flag 34460575/17196009
1479.20/1416.37	c cleaning 184995 clauses out of 370023 with flag 34833881/17382008
1500.32/1433.84	c cleaning 185995 clauses out of 372028 with flag 35209466/17569008
1525.96/1455.78	c cleaning 187004 clauses out of 374034 with flag 35586750/17757009
1548.08/1474.13	c cleaning 188001 clauses out of 376030 with flag 35965968/17946009
1570.57/1493.01	c cleaning 189001 clauses out of 378029 with flag 36347094/18136009
1591.23/1510.08	c cleaning 189998 clauses out of 380028 with flag 36730092/18327009
1614.24/1529.37	c cleaning 191002 clauses out of 382030 with flag 37115338/18519009
1637.54/1549.13	c cleaning 192000 clauses out of 384028 with flag 37502097/18712009
1660.53/1568.32	c cleaning 193004 clauses out of 386028 with flag 37891128/18906009
1681.85/1587.52	c cleaning 193999 clauses out of 388023 with flag 38281883/19101008
1704.58/1608.35	c cleaning 194999 clauses out of 390024 with flag 38674517/19297008
1727.92/1628.48	c cleaning 196003 clauses out of 392026 with flag 39069191/19494009
1750.86/1647.53	c cleaning 197000 clauses out of 394023 with flag 39466170/19692009
1771.25/1665.87	c cleaning 198000 clauses out of 396023 with flag 39865008/19891009
1794.34/1687.49	c cleaning 198999 clauses out of 398022 with flag 40265760/20091008
1815.23/1704.66	c cleaning 200002 clauses out of 400024 with flag 40668142/20292009
1841.67/1727.27	c cleaning 200997 clauses out of 402022 with flag 41072539/20494009
1868.14/1751.51	c cleaning 202002 clauses out of 404024 with flag 41479135/20697008
1895.55/1775.28	c cleaning 202998 clauses out of 406022 with flag 41888210/20901008
1925.34/1801.22	c cleaning 203996 clauses out of 408024 with flag 42299111/21106008
1951.97/1824.08	c cleaning 205001 clauses out of 410028 with flag 42712095/21312008
1976.20/1846.25	c cleaning 206004 clauses out of 412028 with flag 43127108/21519009
2004.03/1869.08	c cleaning 207000 clauses out of 414024 with flag 43543817/21727009
2026.44/1889.27	c cleaning 207998 clauses out of 416024 with flag 43962167/21936009
2046.38/1907.10	c cleaning 209004 clauses out of 418026 with flag 44382503/22146009
2067.96/1924.86	c cleaning 210001 clauses out of 420022 with flag 44804974/22357009
2094.67/1947.66	c cleaning 211001 clauses out of 422022 with flag 45229409/22569010
2115.79/1968.25	c cleaning 211998 clauses out of 424020 with flag 45655699/22782009
2138.81/1987.20	c cleaning 212998 clauses out of 426022 with flag 46084245/22996009
2168.99/2013.37	c cleaning 213995 clauses out of 428024 with flag 46514508/23211009
2191.55/2035.44	c cleaning 215002 clauses out of 430029 with flag 46946634/23427009
2213.69/2053.65	c cleaning 216001 clauses out of 432027 with flag 47380924/23644009
2237.89/2073.75	c cleaning 217001 clauses out of 434025 with flag 47817244/23862008
2262.06/2095.75	c cleaning 218003 clauses out of 436025 with flag 48255548/24081009
2288.41/2119.75	c cleaning 218998 clauses out of 438022 with flag 48695767/24301009
2313.80/2143.03	c cleaning 219994 clauses out of 440024 with flag 49138001/24522009
2343.53/2168.78	c cleaning 221001 clauses out of 442030 with flag 49582284/24744009
2367.93/2189.10	c cleaning 222000 clauses out of 444029 with flag 50028476/24967009
2392.26/2209.30	c cleaning 223000 clauses out of 446028 with flag 50476717/25191008
2418.91/2232.40	c cleaning 223999 clauses out of 448028 with flag 50926993/25416008
2451.23/2259.54	c cleaning 225002 clauses out of 450030 with flag 51379193/25642009
2476.20/2281.38	c cleaning 226001 clauses out of 452028 with flag 51833597/25869009
2499.85/2303.00	c cleaning 226999 clauses out of 454026 with flag 52289776/26097008
2521.92/2322.98	c cleaning 228001 clauses out of 456027 with flag 52747956/26326008
2549.38/2346.63	c cleaning 228998 clauses out of 458026 with flag 53208075/26556008
2576.22/2368.90	c cleaning 230004 clauses out of 460030 with flag 53670300/26787010
2602.66/2392.08	c cleaning 231001 clauses out of 462025 with flag 54134520/27019009
2630.60/2416.43	c cleaning 232000 clauses out of 464024 with flag 54600877/27252009
2654.02/2437.43	c cleaning 232997 clauses out of 466024 with flag 55069218/27486009
2681.71/2458.97	c cleaning 234000 clauses out of 468027 with flag 55539700/27721009
2711.01/2485.95	c cleaning 235001 clauses out of 470027 with flag 56012247/27957009
2735.68/2508.47	c cleaning 236002 clauses out of 472025 with flag 56486804/28194008
2761.61/2530.01	c cleaning 236996 clauses out of 474024 with flag 56963537/28432009
2792.84/2557.94	c cleaning 238003 clauses out of 476029 with flag 57441927/28671010
2818.86/2579.46	c cleaning 239001 clauses out of 478024 with flag 57922420/28911008
2849.62/2607.88	c cleaning 239994 clauses out of 480023 with flag 58404679/29152008
2879.54/2633.57	c cleaning 241005 clauses out of 482029 with flag 58888986/29394008
2905.82/2655.33	c cleaning 242001 clauses out of 484025 with flag 59375458/29637009
2935.75/2680.85	c cleaning 243002 clauses out of 486023 with flag 59863881/29881008
2968.59/2708.73	c cleaning 243998 clauses out of 488021 with flag 60354301/30126008
2996.51/2732.33	c cleaning 244997 clauses out of 490025 with flag 60847024/30372010
3021.84/2754.77	c cleaning 245997 clauses out of 492026 with flag 61341457/30619008
3057.06/2783.60	c cleaning 247002 clauses out of 494030 with flag 61837937/30867009
3095.15/2817.07	c cleaning 248001 clauses out of 496027 with flag 62336202/31116008
3122.84/2840.04	c cleaning 249000 clauses out of 498026 with flag 62836317/31366008
3147.79/2861.10	c cleaning 249996 clauses out of 500026 with flag 63338541/31617008
3176.64/2887.52	c cleaning 251002 clauses out of 502031 with flag 63842711/31869009
3207.68/2914.10	c cleaning 251998 clauses out of 504029 with flag 64348924/32122009
3233.38/2937.31	c cleaning 253002 clauses out of 506030 with flag 64857231/32376008
3261.51/2962.87	c cleaning 253999 clauses out of 508028 with flag 65367367/32631008
3292.41/2989.35	c cleaning 255002 clauses out of 510029 with flag 65879619/32887008
3324.42/3018.88	c cleaning 256001 clauses out of 512028 with flag 66393823/33144009
3353.17/3044.87	c cleaning 257000 clauses out of 514026 with flag 66910099/33402008
3386.38/3075.50	c cleaning 258001 clauses out of 516027 with flag 67428489/33661009
3421.86/3105.71	c cleaning 259001 clauses out of 518025 with flag 67949357/33921008
3452.88/3134.16	c cleaning 259997 clauses out of 520024 with flag 68472164/34182008
3487.35/3166.15	c cleaning 261000 clauses out of 522027 with flag 68996754/34444008
3518.72/3193.21	c cleaning 261998 clauses out of 524027 with flag 69523581/34707008
3550.37/3220.11	c cleaning 262999 clauses out of 526030 with flag 70052089/34971009
3585.17/3252.50	c cleaning 264001 clauses out of 528030 with flag 70582546/35236008
3600.00/3263.62	c starts		: 4
3600.00/3263.64	c conflicts		: 35396217
3600.00/3263.64	c decisions		: 36449569
3600.00/3263.64	c propagations		: 259612886
3600.00/3263.64	c inspects		: 4727795219
3600.00/3263.64	c shortcuts		: 0
3600.00/3263.64	c learnt literals	: 0
3600.00/3263.64	c learnt binary clauses	: 0
3600.00/3263.64	c learnt ternary clauses	: 0
3600.00/3263.64	c learnt constraints	: 35396217
3600.00/3263.64	c ignored constraints	: 0
3600.00/3263.64	c root simplifications	: 0
3600.00/3263.64	c removed literals (reason simplification)	: 5106939
3600.00/3263.64	c reason swapping (by a shorter reason)	: 0
3600.00/3263.64	c Calls to reduceDB	: 261
3600.00/3263.64	c Number of update (reduction) of LBD	: 59383
3600.00/3263.64	c Imported unit clauses	: 0
3600.00/3263.65	c No decision after first conflict	: false
3600.00/3263.65	c number of reductions to clauses (during analyze)	: 0
3600.00/3263.65	c number of learned constraints concerned by reduction	: 0
3600.00/3263.65	c number of learning phase by resolution	: 0
3600.00/3263.65	c number of learning phase by cutting planes	: 0
3600.00/3263.65	c number of rounding to 1 operations	: 0
3600.00/3263.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3263.65	c number of reductions of the coefficients by power 2 	: 0
3600.00/3263.65	c number of right shift for reduction by power 2 	: 0
3600.00/3263.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3263.65	c number of ending skipping 	: 0
3600.00/3263.65	c number of internal skipping 	: 0
3600.00/3263.65	c number of derivation steps 	: 0
3600.00/3263.65	c number of skipped derivation steps 	: 0
3600.00/3263.65	c number of remaining unassigned 	: 0
3600.00/3263.65	c number of remaining assigned 	: 0
3600.00/3263.65	c number of falsified literals weakened from reason	: 0
3600.00/3263.65	c number of falsified literals weakened from conflict	: 0
3600.00/3263.65	c time for arithmetic operations	: 0
3600.00/3263.65	c minimum degree of deleted constraints	: null
3600.00/3263.65	c maximum degree of deleted constraints	: null
3600.00/3263.65	c number of deleted constraints	: 0
3600.00/3263.65	c speed (assignments/second)	: 79559.02888866824
3600.00/3263.65	c non guided choices	: 8
3600.20/3263.72	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 424238
3600.20/3263.72	s SATISFIABLE
3600.20/3263.72	c Found 3 solution(s)
3600.20/3263.72	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 
3600.20/3263.72	c objective function=-50
3600.20/3263.72	c Total wall clock time (in seconds): 3263.407

Verifier Data 

OK	-50

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508789-1751516288/watcher-4508789-1751516288 -o /tmp/evaluation-result-4508789-1751516288/solver-4508789-1751516288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4508789-1751516288 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4508789-1751516288.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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=74528, runsolver pid=74525

[startup+0.10007 s]*
/proc/loadavg: 1.61 2.93 3.73 6/304 74546
/proc/meminfo: memFree=128006688/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=18930384 memory=50132 CPUtime=0.12 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 5731 0 0 0 8 4 0 0 20 0 18 0 67307681 19384713216 12533 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4732596 12533 5306 1 0 546956 0
[pid=74528/tid=74530] ppid=74525 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 4641 0 0 0 5 2 0 0 20 0 18 0 67307683 19384713216 12533 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307688 19384713216 12533 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307689 19384713216 12533 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50132 KiB

[startup+0.213592 s]*
/proc/loadavg: 1.61 2.93 3.73 6/303 74547
/proc/meminfo: memFree=128003664/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=18930384 memory=57148 CPUtime=0.29 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 6415 0 0 0 24 5 0 0 20 0 18 0 67307681 19384713216 14287 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4732596 14287 5338 1 0 547556 0
[pid=74528/tid=74530] ppid=74525 vsize=18930384 memory=4026775049 CPUtime=0.18 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 5011 0 0 0 15 3 0 0 20 0 18 0 67307683 19384713216 14287 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=18930384 memory=211342852430 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307688 19384713216 14287 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=18930384 memory=55195547749698 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307689 19384713216 14287 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57148 KiB

[startup+0.317352 s]*
/proc/loadavg: 1.61 2.93 3.73 7/308 74557
/proc/meminfo: memFree=128003664/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=18930384 memory=60436 CPUtime=0.46 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 6689 0 0 0 41 5 0 0 20 0 18 0 67307681 19384713216 15109 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4732596 15109 5402 1 0 547793 0
[pid=74528/tid=74530] ppid=74525 vsize=18930384 memory=-6000919498476316776 CPUtime=0.28 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 5229 0 0 0 25 3 0 0 20 0 18 0 67307683 19384713216 15109 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67307688 19384713216 15109 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67307689 19384713216 15109 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60436 KiB

[startup+0.700406 s]
/proc/loadavg: 1.61 2.93 3.73 9/325 74574
/proc/meminfo: memFree=127980732/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=18996948 memory=72524 CPUtime=1.13 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 7082 0 0 0 107 6 0 0 20 0 19 0 67307681 19452874752 18131 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4749237 18131 5498 1 0 548380 0
[pid=74528/tid=74530] ppid=74525 vsize=18996948 memory=18560 CPUtime=0.57 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 5428 0 0 0 53 4 0 0 20 0 19 0 67307683 19452874752 18131 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67307688 19452874752 18131 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67307689 19452874752 18131 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=18996948 memory=4892 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67307732 19452874752 18131 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72524 KiB

[startup+1.50026 s]
/proc/loadavg: 1.61 2.93 3.73 8/325 74574
/proc/meminfo: memFree=127863012/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19063512 memory=174160 CPUtime=2.7 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 20066 0 0 0 258 12 0 0 20 0 20 0 67307681 19521036288 43540 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4765878 43540 5530 1 0 552885 0
[pid=74528/tid=74530] ppid=74525 vsize=19063512 memory=0 CPUtime=1.3 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 5824 0 0 0 124 6 0 0 20 0 20 0 67307683 19521036288 43540 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67307688 19521036288 43540 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 67307689 19521036288 43540 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19063512 memory=4892 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67307732 19521036288 43540 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174160 KiB

[startup+3.10574 s]
/proc/loadavg: 2.04 3.00 3.75 8/328 74577
/proc/meminfo: memFree=126884072/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19063512 memory=466448 CPUtime=5.87 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 25419 0 0 0 567 20 0 0 20 0 20 0 67307681 19521036288 116612 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4765878 116612 5530 1 0 660367 0
[pid=74528/tid=74530] ppid=74525 vsize=19063512 memory=11264 CPUtime=2.81 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 6777 0 0 0 269 12 0 0 20 0 20 0 67307683 19521036288 116612 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19063512 memory=-6000919485641746536 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67307688 19521036288 116612 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 67307689 19521036288 116612 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67307732 19521036288 116612 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 466448 KiB

[startup+6.30037 s]
/proc/loadavg: 2.04 3.00 3.75 5/306 74588
/proc/meminfo: memFree=125569588/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19063512 memory=1100992 CPUtime=9.99 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 26341 0 0 0 963 36 0 0 20 0 20 0 67307681 19521036288 275248 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4765878 275248 5530 1 0 808683 0
[pid=74528/tid=74530] ppid=74525 vsize=19063512 memory=0 CPUtime=5.66 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 7118 0 0 0 540 26 0 0 20 0 20 0 67307683 19521036288 275248 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67307688 19521036288 275248 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 67307689 19521036288 275248 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19063512 memory=174160 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67307732 19521036288 275248 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 9.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1100992 KiB

[startup+12.7004 s]
/proc/loadavg: 2.28 3.03 3.76 6/329 74645
/proc/meminfo: memFree=123095100/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19063512 memory=1346956 CPUtime=16.54 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 26889 0 0 0 1605 49 0 0 20 0 20 0 67307681 19521036288 336739 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4765878 336739 5530 1 0 808703 0
[pid=74528/tid=74530] ppid=74525 vsize=19063512 memory=11264 CPUtime=11.78 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 7516 0 0 0 1141 37 0 0 20 0 20 0 67307683 19521036288 336739 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19063512 memory=174160 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67307688 19521036288 336739 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19063512 memory=1346956 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 67307689 19521036288 336739 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67307732 19521036288 336739 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 16.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1346956 KiB

[startup+25.5005 s]
/proc/loadavg: 2.88 3.13 3.78 6/331 74648
/proc/meminfo: memFree=110859136/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19063512 memory=3393824 CPUtime=29.85 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 31519 0 0 0 2878 107 0 0 20 0 20 0 67307681 19521036288 848456 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4765878 848456 5530 1 0 1525199 0
[pid=74528/tid=74530] ppid=74525 vsize=19063512 memory=3393824 CPUtime=23.9 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 9736 0 0 0 2304 86 0 0 20 0 20 0 67307683 19521036288 848456 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19063512 memory=-6000919485641746536 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67307688 19521036288 848456 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19063512 memory=3279116 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 67307689 19521036288 848456 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67307732 19521036288 848456 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 29.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3393824 KiB

[startup+51.1135 s]
/proc/loadavg: 3.45 3.25 3.80 5/331 74648
/proc/meminfo: memFree=97527304/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19063512 memory=4837940 CPUtime=56 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 34592 0 0 0 5426 174 0 0 20 0 20 0 67307681 19521036288 1209485 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4765878 1209485 5562 1 0 1525210 0
[pid=74528/tid=74530] ppid=74525 vsize=19063512 memory=11264 CPUtime=48.74 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 12136 0 0 0 4729 145 0 0 20 0 20 0 67307683 19521036288 1209485 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19063512 memory=1346956 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67307688 19521036288 1209485 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0

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

Current children cumulated CPU time: 3217.93 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 4014964 KiB

[startup+2982.3 s]
/proc/loadavg: 4.32 4.44 4.87 6/336 74941
/proc/meminfo: memFree=60734788/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19326684 memory=4098588 CPUtime=3285.42 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 543869 0 0 0 323444 5098 0 0 20 0 21 0 67307681 19790524416 1024647 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4831671 1024647 5562 1 0 1037255 0
[pid=74528/tid=74530] ppid=74525 vsize=19326684 memory=4373416 CPUtime=2874.05 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 277928 0 0 0 282894 4511 0 0 20 0 21 0 67307683 19790524416 1024647 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19326684 memory=4373416 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307688 19790524416 1024647 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19326684 memory=18560 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 1591 0 0 0 0 0 0 0 20 0 21 0 67307689 19790524416 1024647 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19326684 memory=4290108 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307732 19790524416 1024647 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 3285.42 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 4098588 KiB

[startup+3042.3 s]
/proc/loadavg: 4.31 4.43 4.84 6/338 74946
/proc/meminfo: memFree=58487700/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19326684 memory=4898604 CPUtime=3350.68 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 551892 0 0 0 329857 5211 0 0 20 0 21 0 67307681 19790524416 1224651 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4831671 1224651 5562 1 0 1237703 0
[pid=74528/tid=74530] ppid=74525 vsize=19326684 memory=4098588 CPUtime=2932.32 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 282494 0 0 0 288617 4615 0 0 20 0 21 0 67307683 19790524416 1224651 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19326684 memory=5276 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307688 19790524416 1224651 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19326684 memory=5358396 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 1613 0 0 0 0 0 0 0 20 0 21 0 67307689 19790524416 1224651 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19326684 memory=26140 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307732 19790524416 1224651 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 3350.68 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 4898604 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.43 4.81 6/337 74948
/proc/meminfo: memFree=57817772/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19326684 memory=4373604 CPUtime=3418.47 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 557139 0 0 0 336575 5272 0 0 20 0 21 0 67307681 19790524416 1093401 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4831671 1093401 5562 1 0 1106168 0
[pid=74528/tid=74530] ppid=74525 vsize=19326684 memory=4377644 CPUtime=2990.41 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 285707 0 0 0 294376 4665 0 0 20 0 21 0 67307683 19790524416 1093401 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19326684 memory=4565396 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307688 19790524416 1093401 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19326684 memory=1792 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 21 0 67307689 19790524416 1093401 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19326684 memory=-6000919485641746536 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307732 19790524416 1093401 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 3418.47 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 4373604 KiB

[startup+3162.3 s]
/proc/loadavg: 4.36 4.41 4.78 6/340 74953
/proc/meminfo: memFree=56443316/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19326684 memory=4565196 CPUtime=3483.54 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 562899 0 0 0 343014 5340 0 0 20 0 21 0 67307681 19790524416 1141299 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4831671 1141299 5562 1 0 1154192 0
[pid=74528/tid=74530] ppid=74525 vsize=19326684 memory=4565196 CPUtime=3048.58 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 287998 0 0 0 300131 4727 0 0 20 0 21 0 67307683 19790524416 1141299 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19326684 memory=1792 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307688 19790524416 1141299 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19326684 memory=4598672 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 1719 0 0 0 0 0 0 0 20 0 21 0 67307689 19790524416 1141299 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19326684 memory=5087700 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307732 19790524416 1141299 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 3483.54 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 4565196 KiB

[startup+3222.3 s]
/proc/loadavg: 4.65 4.49 4.79 6/340 74956
/proc/meminfo: memFree=55717604/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19326684 memory=3956680 CPUtime=3552.55 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 568356 0 0 0 349812 5443 0 0 20 0 21 0 67307681 19790524416 989170 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4831671 989170 5562 1 0 1001768 0
[pid=74528/tid=74530] ppid=74525 vsize=19326684 memory=4474668 CPUtime=3106.48 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 290512 0 0 0 305832 4816 0 0 20 0 21 0 67307683 19790524416 989170 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19326684 memory=5019432 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307688 19790524416 989170 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19326684 memory=4892 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 1719 0 0 0 0 0 0 0 20 0 21 0 67307689 19790524416 989170 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19326684 memory=-6000919485641746536 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307732 19790524416 989170 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 3552.55 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 3956680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3263.6 s]
/proc/loadavg: 4.52 4.47 4.77 6/340 74957
/proc/meminfo: memFree=55225644/131382112 swapFree=33009904/33010684
[pid=74528] ppid=74525 vsize=19326684 memory=3515076 CPUtime=3600 cores=0,2
/proc/74528/stat : 74528 (java) S 74525 74528 73970 0 -1 4194304 576041 0 0 0 354457 5543 0 0 20 0 21 0 67307681 19790524416 878769 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
/proc/74528/statm: 4831671 878769 5562 1 0 891112 0
[pid=74528/tid=74530] ppid=74525 vsize=19326684 memory=14720 CPUtime=3146.48 cores=0,2
/proc/74528/task/74530/stat : 74530 (java) R 74525 74528 73970 0 -1 4194368 293193 0 0 0 309741 4907 0 0 20 0 21 0 67307683 19790524416 878769 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74539] ppid=74525 vsize=19326684 memory=18560 CPUtime=0 cores=0,2
/proc/74528/task/74539/stat : 74539 (Finalizer) S 74525 74528 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67307688 19790524416 878769 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74546] ppid=74525 vsize=19326684 memory=5044 CPUtime=0 cores=0,2
/proc/74528/task/74546/stat : 74546 (Common-Cleaner) S 74525 74528 73970 0 -1 4194368 1747 0 0 0 0 0 0 0 20 0 21 0 67307689 19790524416 878769 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
[pid=74528/tid=74574] ppid=74525 vsize=19326684 memory=4660 CPUtime=0 cores=0,2
/proc/74528/task/74574/stat : 74574 (Timer-0) S 74525 74528 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 67307732 19790524416 878769 18446744073709551615 94579306000384 94579306004080 140736489810832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579306011896 94579306012688 94579311230976 140736489818416 140736489818598 140736489818598 140736489824200 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19326684 KiB
Current children cumulated memory: 3515076 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3544.94 s, system=57.5222 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3264 s]*
/proc/loadavg: 4.56 4.48 4.77 8/321 74960
/proc/meminfo: memFree=58795784/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3264.8 s]
/proc/loadavg: 4.56 4.48 4.77 8/321 74960
/proc/meminfo: memFree=58795784/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3265.2 s]
/proc/loadavg: 4.56 4.48 4.77 8/321 74960
/proc/meminfo: memFree=58749192/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3265.6 s]
/proc/loadavg: 4.56 4.48 4.77 8/321 74960
/proc/meminfo: memFree=58749192/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3274.5
CPU time (s): 3602.46
CPU user time (s): 3544.94
CPU system time (s): 57.5222
CPU usage (%): 110.015
Max. virtual memory (cumulated for all children) (KiB): 19526376
Max. memory (cumulated for all children) (KiB): 9020788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.94
system time used= 57.5222
maximum resident set size= 9020788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 81766440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 410865
involuntary context switches= 30985


# summary of solver processes directly reported to runsolver:
#   pid: 74528
#   total CPU time (s): 3602.46
#   total CPU user time (s): 3544.94
#   total CPU system time (s): 57.5222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1803 second user time and 32.0318 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-03 06:18:08
IDJOB=4508789
IDBENCH=158472
IDSOLVER=3364
FILE ID=nodeC001/4508789-1751516288
RUNJOBID= nodeC001-1751516281-73980
SLURM_JOB_ID= 9598627
Free space on /tmp= 432504 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508789-1751516288/watcher-4508789-1751516288 -o /tmp/evaluation-result-4508789-1751516288/solver-4508789-1751516288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4508789-1751516288 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4508789-1751516288.opb

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

MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=889433203

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.100
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		: 2693.588
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.128
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		: 3592.020
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		: 3491.734
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		: 1197.170
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.282
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		: 1197.626
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:        128049528 kB
MemAvailable:   129160092 kB
Buffers:            1668 kB
Cached:          1905604 kB
SwapCached:           32 kB
Active:          1134808 kB
Inactive:        1596284 kB
Active(anon):     819200 kB
Inactive(anon):    22528 kB
Active(file):     315608 kB
Inactive(file):  1573756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34540 kB
Writeback:             0 kB
AnonPages:        826972 kB
Mapped:           123568 kB
Shmem:             17900 kB
KReclaimable:     121272 kB
Slab:             206840 kB
SReclaimable:     121272 kB
SUnreclaim:        85568 kB
KernelStack:        4688 kB
PageTables:         5032 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4831380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149976 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    673792 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= 432504 MiB
End job on nodeC001 at 2025-07-03 07:12:43