Trace number 4509064

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)6 3600.26 3604.42

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.lin.opb
MD5SUMfd898dd3347352c45e90b01c742e4b19
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 benchmark4
Best CPU time to get the best result obtained on this benchmark0.037084
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables328
Total number of constraints1747
Number of constraints which are clauses1601
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 231
Biggest coefficient in the objective function 49
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 519
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 519
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.12	c java.vm.version	22.0.1+8-16
0.10/0.12	c java.vm.vendor	Oracle Corporation
0.10/0.12	c sun.arch.data.model	64
0.10/0.12	c java.version		22.0.1
0.10/0.12	c os.name		Linux
0.10/0.12	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.12	c os.arch		amd64
0.10/0.13	c Free memory 		2104792832
0.10/0.13	c Max memory 		16282288128
0.10/0.13	c Total memory 		2113929216
0.10/0.14	c Number of processors 	2
0.10/0.19	c Pseudo Boolean Optimization by upper bound
0.10/0.19	c --- Begin Solver configuration ---
0.10/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.19	c Learn all clauses as in MiniSAT
0.10/0.19	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.19	c Expensive reason simplification
0.10/0.19	c Glucose 2.1 dynamic restart strategy
0.10/0.19	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.10/0.19	c timeout=2147483s
0.10/0.19	c DB Simplification allowed=false
0.10/0.19	c Listener: none
0.10/0.19	c --- End Solver configuration ---
0.10/0.19	c solving HOME/instance-4509064-1751515716.opb
0.10/0.19	c reading problem ... 
0.10/0.19	c  objective function found
0.23/0.25	c ... done. Wall clock time 0.057s.
0.23/0.25	c declared #vars     328
0.23/0.25	c #constraints  1748
0.23/0.25	c constraints type 
0.23/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 145
0.23/0.25	c org.sat4j.specs.Constr$1 => 1
0.23/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1601
0.23/0.25	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.23/0.25	c 1748 constraints processed.
0.23/0.26	c objective function length is 231 literals
0.23/0.26	c SATISFIABLE
0.23/0.26	c OPTIMIZING...
0.23/0.27	c Got one! Elapsed wall clock time (in seconds):0.077
0.23/0.27	o 46
0.23/0.28	c Got one! Elapsed wall clock time (in seconds):0.094
0.23/0.28	o 44
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.1
0.23/0.29	o 35
0.23/0.30	c Got one! Elapsed wall clock time (in seconds):0.109
0.23/0.30	o 34
0.42/0.31	c Got one! Elapsed wall clock time (in seconds):0.121
0.42/0.31	o 33
0.42/0.31	c Got one! Elapsed wall clock time (in seconds):0.124
0.42/0.31	o 32
0.42/0.31	c Got one! Elapsed wall clock time (in seconds):0.126
0.42/0.31	o 27
0.42/0.32	c Got one! Elapsed wall clock time (in seconds):0.129
0.42/0.32	o 26
0.42/0.37	c Got one! Elapsed wall clock time (in seconds):0.186
0.42/0.37	o 25
0.42/0.38	c Got one! Elapsed wall clock time (in seconds):0.19
0.42/0.38	o 24
0.42/0.38	c Got one! Elapsed wall clock time (in seconds):0.193
0.42/0.38	o 23
0.42/0.38	c Got one! Elapsed wall clock time (in seconds):0.195
0.42/0.38	o 22
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.198
0.42/0.39	o 21
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.201
0.42/0.39	o 20
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.203
0.42/0.39	o 19
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.205
0.42/0.39	o 18
1.18/0.75	c cleaning 2862 clauses out of 5724 with flag 13383/5724
1.58/0.93	c cleaning 4429 clauses out of 8864 with flag 28587/11726
1.89/1.17	c cleaning 5716 clauses out of 11433 with flag 48007/18724
2.19/1.44	c cleaning 6859 clauses out of 13718 with flag 71581/26725
2.49/1.72	c cleaning 7924 clauses out of 15857 with flag 94027/35723
2.80/2.09	c cleaning 8967 clauses out of 17934 with flag 119256/45724
3.32/2.47	c cleaning 9981 clauses out of 19966 with flag 147492/56723
3.71/2.88	c cleaning 10988 clauses out of 21986 with flag 178060/68724
4.21/3.39	c cleaning 11993 clauses out of 23997 with flag 210438/81723
4.81/3.94	c cleaning 12998 clauses out of 26005 with flag 246934/95724
5.32/4.43	c cleaning 13995 clauses out of 28007 with flag 280960/110724
5.82/5.00	c cleaning 15004 clauses out of 30011 with flag 315888/126723
6.45/5.53	c cleaning 16004 clauses out of 32010 with flag 354013/143726
7.07/6.16	c cleaning 17002 clauses out of 34004 with flag 394128/161724
7.67/6.74	c cleaning 17999 clauses out of 36001 with flag 436716/180723
8.27/7.31	c cleaning 19002 clauses out of 38003 with flag 480575/200724
8.89/7.98	c cleaning 20000 clauses out of 40000 with flag 528079/221723
9.68/8.74	c cleaning 21000 clauses out of 42001 with flag 577016/243724
10.38/9.49	c cleaning 21992 clauses out of 44002 with flag 627090/266725
10.88/9.90	c Got one! Elapsed wall clock time (in seconds):9.708
10.88/9.90	o 17
10.88/9.96	c Got one! Elapsed wall clock time (in seconds):9.77
10.88/9.96	o 16
11.00/10.01	c Got one! Elapsed wall clock time (in seconds):9.826
11.00/10.01	o 15
11.00/10.03	c Got one! Elapsed wall clock time (in seconds):9.84
11.00/10.03	o 14
11.00/10.03	c Got one! Elapsed wall clock time (in seconds):9.842
11.00/10.03	o 13
11.00/10.05	c Got one! Elapsed wall clock time (in seconds):9.864
11.00/10.05	o 11
11.00/10.05	c Got one! Elapsed wall clock time (in seconds):9.867
11.00/10.06	o 10
11.00/10.08	c Got one! Elapsed wall clock time (in seconds):9.897
11.00/10.08	o 9
11.00/10.09	c Got one! Elapsed wall clock time (in seconds):9.901
11.00/10.09	o 7
11.15/10.13	c Got one! Elapsed wall clock time (in seconds):9.941
11.15/10.13	o 6
11.47/10.49	c cleaning 22837 clauses out of 45674 with flag 6911/290389
11.77/10.76	c cleaning 14409 clauses out of 28836 with flag 20813/296388
11.97/10.99	c cleaning 10714 clauses out of 21427 with flag 36661/303388
12.36/11.25	c cleaning 9354 clauses out of 18714 with flag 54693/311389
12.71/11.56	c cleaning 9179 clauses out of 18361 with flag 75373/320390
13.01/11.87	c cleaning 9589 clauses out of 19183 with flag 97320/330391
13.41/12.24	c cleaning 10297 clauses out of 20594 with flag 122474/341391
13.81/12.67	c cleaning 11148 clauses out of 22295 with flag 149915/353389
14.31/13.13	c cleaning 12074 clauses out of 24147 with flag 180337/366389
14.80/13.67	c cleaning 13034 clauses out of 26072 with flag 214454/380388
15.31/14.19	c cleaning 14016 clauses out of 28038 with flag 249861/395388
15.80/14.66	c cleaning 15003 clauses out of 30022 with flag 286158/411388
16.33/15.12	c cleaning 16003 clauses out of 32019 with flag 322213/428388
16.83/15.68	c cleaning 17002 clauses out of 34016 with flag 360758/446388
17.42/16.23	c cleaning 18007 clauses out of 36017 with flag 401676/465391
18.23/17.04	c cleaning 19003 clauses out of 38007 with flag 448535/485388
18.92/17.72	c cleaning 20003 clauses out of 40006 with flag 496539/506390
19.62/18.41	c cleaning 20998 clauses out of 42001 with flag 545733/528388
20.65/19.40	c cleaning 22000 clauses out of 44004 with flag 595956/551389
21.36/20.15	c cleaning 23002 clauses out of 46004 with flag 645059/575389
22.15/20.96	c cleaning 23999 clauses out of 48003 with flag 696132/600390
23.15/21.90	c cleaning 25001 clauses out of 50003 with flag 749798/626389
24.15/22.94	c cleaning 25999 clauses out of 52002 with flag 805790/653389
25.48/24.20	c cleaning 27002 clauses out of 54004 with flag 864054/681390
27.18/25.91	c cleaning 27995 clauses out of 56001 with flag 926301/710389
28.88/27.64	c cleaning 28997 clauses out of 58005 with flag 994051/740388
30.17/28.93	c cleaning 30000 clauses out of 60009 with flag 1061857/771389
31.29/30.07	c cleaning 31004 clauses out of 62010 with flag 1129234/803390
32.69/31.43	c cleaning 32000 clauses out of 64006 with flag 1200552/836390
34.08/32.82	c cleaning 33000 clauses out of 66005 with flag 1275303/870389
35.81/34.57	c cleaning 34001 clauses out of 68004 with flag 1351437/905388
37.71/36.40	c cleaning 35001 clauses out of 70004 with flag 1428552/941389
39.31/38.06	c cleaning 36001 clauses out of 72006 with flag 1509449/978392
41.20/39.94	c cleaning 36998 clauses out of 74001 with flag 1591585/1016388
43.01/41.73	c cleaning 37999 clauses out of 76005 with flag 1675998/1055390
45.21/43.90	c cleaning 38996 clauses out of 78004 with flag 1764629/1095388
47.00/45.77	c cleaning 39998 clauses out of 80008 with flag 1854703/1136388
49.33/48.02	c cleaning 41005 clauses out of 82010 with flag 1944461/1178388
51.33/50.10	c cleaning 41999 clauses out of 84006 with flag 2041627/1221389
53.62/52.37	c cleaning 43003 clauses out of 86007 with flag 2138716/1265389
56.24/54.96	c cleaning 43995 clauses out of 88003 with flag 2239176/1310388
58.93/57.68	c cleaning 45002 clauses out of 90008 with flag 2342869/1356388
61.43/60.17	c cleaning 46003 clauses out of 92007 with flag 2443290/1403389
64.04/62.71	c cleaning 46994 clauses out of 94004 with flag 2544159/1451389
66.92/65.68	c cleaning 48004 clauses out of 96010 with flag 2651785/1500389
70.51/69.27	c cleaning 48997 clauses out of 98005 with flag 2764611/1550388
73.94/72.66	c cleaning 50001 clauses out of 100008 with flag 2881398/1601388
77.63/76.38	c cleaning 50998 clauses out of 102007 with flag 2993541/1653388
81.42/80.12	c cleaning 52005 clauses out of 104012 with flag 3107298/1706391
86.25/84.91	c cleaning 52999 clauses out of 106005 with flag 3224991/1760389
90.64/89.31	c cleaning 53998 clauses out of 108007 with flag 3352949/1815390
94.34/93.02	c cleaning 55001 clauses out of 110007 with flag 3480360/1871388
97.47/96.11	c cleaning 55993 clauses out of 112006 with flag 3605696/1928388
101.36/100.08	c cleaning 57000 clauses out of 114013 with flag 3734877/1986388
106.35/105.09	c cleaning 58002 clauses out of 116014 with flag 3867301/2045389
110.83/109.57	c cleaning 59001 clauses out of 118011 with flag 4002583/2105388
115.33/114.10	c cleaning 60003 clauses out of 120010 with flag 4139681/2166388
120.14/118.86	c cleaning 60996 clauses out of 122008 with flag 4275065/2228389
124.63/123.38	c cleaning 62001 clauses out of 124012 with flag 4412327/2291389
129.43/128.13	c cleaning 63000 clauses out of 126010 with flag 4551365/2355388
134.61/133.36	c cleaning 64001 clauses out of 128011 with flag 4693539/2420389
140.44/139.11	c cleaning 65003 clauses out of 130011 with flag 4837059/2486390
145.93/144.66	c cleaning 65999 clauses out of 132006 with flag 4989983/2553388
152.51/151.20	c cleaning 66998 clauses out of 134007 with flag 5147801/2621388
158.30/157.10	c cleaning 68003 clauses out of 136009 with flag 5302089/2690388
164.56/163.28	c cleaning 69001 clauses out of 138006 with flag 5455448/2760388
171.84/170.58	c cleaning 70001 clauses out of 140006 with flag 5612048/2831389
177.13/175.81	c cleaning 71001 clauses out of 142004 with flag 5773439/2903388
183.31/182.09	c cleaning 71997 clauses out of 144004 with flag 5937320/2976389
188.49/187.20	c cleaning 73001 clauses out of 146007 with flag 6100039/3050389
193.89/192.68	c cleaning 73998 clauses out of 148005 with flag 6272091/3125388
201.84/200.56	c cleaning 74996 clauses out of 150009 with flag 6434166/3201390
208.93/207.62	c cleaning 75999 clauses out of 152012 with flag 6602080/3278389
214.61/213.37	c cleaning 77002 clauses out of 154012 with flag 6771281/3356388
220.70/219.48	c cleaning 78006 clauses out of 156011 with flag 6947925/3435389
229.75/228.49	c cleaning 79004 clauses out of 158008 with flag 7125536/3515392
239.03/237.76	c cleaning 79997 clauses out of 160000 with flag 7307754/3596388
245.92/244.62	c cleaning 80996 clauses out of 162004 with flag 7484792/3678389
254.89/253.67	c cleaning 82002 clauses out of 164009 with flag 7670628/3761390
262.08/260.82	c cleaning 83002 clauses out of 166006 with flag 7863961/3845389
268.94/267.69	c cleaning 84002 clauses out of 168004 with flag 8060918/3930389
276.93/275.62	c cleaning 84992 clauses out of 170002 with flag 8249559/4016389
286.50/285.25	c cleaning 85998 clauses out of 172009 with flag 8459444/4103388
295.17/293.97	c cleaning 86999 clauses out of 174011 with flag 8657652/4191388
303.94/302.71	c cleaning 88002 clauses out of 176013 with flag 8857478/4280389
310.83/309.68	c cleaning 89002 clauses out of 178012 with flag 9053027/4370390
324.13/322.59	c cleaning 90004 clauses out of 180009 with flag 9258517/4461389
331.81/330.28	c cleaning 90999 clauses out of 182004 with flag 9462250/4553388
342.59/341.00	c cleaning 91998 clauses out of 184005 with flag 9660945/4646388
353.58/352.03	c cleaning 92997 clauses out of 186007 with flag 9877889/4740388
365.35/363.85	c cleaning 94004 clauses out of 188011 with flag 10098448/4835389
376.60/375.02	c cleaning 95002 clauses out of 190006 with flag 10313596/4931388
387.97/386.41	c cleaning 95997 clauses out of 192008 with flag 10523266/5028392
397.25/395.77	c cleaning 97003 clauses out of 194008 with flag 10737129/5126389
409.32/407.89	c cleaning 97998 clauses out of 196004 with flag 10958233/5225388
423.60/422.13	c cleaning 98998 clauses out of 198006 with flag 11182830/5325388
431.78/430.37	c cleaning 100004 clauses out of 200009 with flag 11395746/5426389
447.43/445.96	c cleaning 100997 clauses out of 202004 with flag 11620970/5528388
459.11/457.68	c cleaning 101998 clauses out of 204007 with flag 11847069/5631388
470.08/468.63	c cleaning 103001 clauses out of 206010 with flag 12079378/5735389
489.72/488.39	c cleaning 103998 clauses out of 208009 with flag 12332067/5840389
505.79/504.46	c cleaning 105002 clauses out of 210010 with flag 12576887/5946388
522.03/520.64	c cleaning 105999 clauses out of 212008 with flag 12833985/6053388
539.98/538.68	c cleaning 107000 clauses out of 214010 with flag 13102316/6161389
557.24/555.91	c cleaning 107996 clauses out of 216009 with flag 13357720/6270388
573.10/571.89	c cleaning 109004 clauses out of 218013 with flag 13623154/6380388
589.17/587.94	c cleaning 110003 clauses out of 220009 with flag 13882235/6491388
608.78/607.55	c cleaning 111000 clauses out of 222007 with flag 14122152/6603389
631.42/630.22	c cleaning 111995 clauses out of 224006 with flag 14397248/6716388
644.70/643.55	c cleaning 113003 clauses out of 226011 with flag 14663809/6830388
658.57/657.48	c cleaning 114003 clauses out of 228009 with flag 14923906/6945389
678.42/677.37	c cleaning 114997 clauses out of 230007 with flag 15187024/7061390
700.56/699.57	c cleaning 116003 clauses out of 232008 with flag 15478747/7178388
717.72/716.78	c cleaning 117003 clauses out of 234007 with flag 15756434/7296390
733.37/732.40	c cleaning 117991 clauses out of 236002 with flag 16021740/7415388
752.72/751.81	c cleaning 119002 clauses out of 238011 with flag 16307426/7535388
767.99/767.14	c cleaning 120005 clauses out of 240009 with flag 16581185/7656388
781.44/780.70	c cleaning 121003 clauses out of 242007 with flag 16836041/7778391
792.31/791.50	c cleaning 121998 clauses out of 244002 with flag 17090475/7901389
806.89/806.09	c cleaning 122998 clauses out of 246003 with flag 17345473/8025388
830.04/829.28	c cleaning 124000 clauses out of 248007 with flag 17648869/8150390
855.68/854.95	c cleaning 124997 clauses out of 250006 with flag 17948525/8276389
876.44/875.71	c cleaning 125996 clauses out of 252008 with flag 18237176/8403388
897.89/897.20	c cleaning 127003 clauses out of 254013 with flag 18543962/8531389
922.22/921.61	c cleaning 128002 clauses out of 256009 with flag 18827149/8660388
947.85/947.38	c cleaning 129003 clauses out of 258009 with flag 19120491/8790390
973.08/972.62	c cleaning 129995 clauses out of 260004 with flag 19449450/8921388
996.19/995.63	c cleaning 131000 clauses out of 262009 with flag 19744080/9053388
1018.34/1017.81	c cleaning 132001 clauses out of 264011 with flag 20039739/9186390
1043.98/1043.55	c cleaning 133002 clauses out of 266009 with flag 20362995/9320389
1072.10/1071.77	c cleaning 134000 clauses out of 268008 with flag 20692186/9455390
1094.74/1094.37	c cleaning 134994 clauses out of 270007 with flag 20997037/9591389
1123.26/1122.99	c cleaning 136000 clauses out of 272013 with flag 21331123/9728389
1148.59/1148.38	c cleaning 136998 clauses out of 274012 with flag 21664461/9866388
1183.30/1183.10	c cleaning 138004 clauses out of 276015 with flag 22005934/10005389
1210.13/1210.05	c cleaning 139002 clauses out of 278010 with flag 22334577/10145388
1239.75/1239.75	c cleaning 140004 clauses out of 280009 with flag 22698119/10286389
1271.95/1271.52	c cleaning 140995 clauses out of 282004 with flag 23026705/10428388
1309.57/1309.29	c cleaning 141999 clauses out of 284010 with flag 23386495/10571389
1336.59/1336.31	c cleaning 143003 clauses out of 286012 with flag 23749985/10715390
1364.21/1364.10	c cleaning 144001 clauses out of 288008 with flag 24102471/10860389
1393.24/1393.12	c cleaning 144997 clauses out of 290007 with flag 24446118/11006389
1421.46/1421.44	c cleaning 146000 clauses out of 292009 with flag 24819812/11153388
1448.56/1448.59	c cleaning 147002 clauses out of 294009 with flag 25180673/11301388
1481.49/1481.57	c cleaning 147998 clauses out of 296008 with flag 25532715/11450389
1513.51/1513.69	c cleaning 149003 clauses out of 298010 with flag 25898790/11600389
1541.75/1541.93	c cleaning 150001 clauses out of 300006 with flag 26273481/11751388
1574.18/1574.45	c cleaning 150998 clauses out of 302005 with flag 26656460/11903388
1615.96/1616.34	c cleaning 152000 clauses out of 304008 with flag 27033620/12056389
1648.47/1648.99	c cleaning 152995 clauses out of 306008 with flag 27385950/12210389
1688.87/1689.31	c cleaning 154004 clauses out of 308013 with flag 27779694/12365389
1724.00/1724.59	c cleaning 155000 clauses out of 310008 with flag 28163692/12521388
1763.11/1763.73	c cleaning 155997 clauses out of 312009 with flag 28551634/12678389
1794.83/1795.54	c cleaning 157000 clauses out of 314011 with flag 28935788/12836388
1827.47/1828.26	c cleaning 157998 clauses out of 316011 with flag 29328077/12995388
1869.25/1870.16	c cleaning 159001 clauses out of 318014 with flag 29714493/13155389
1903.45/1904.46	c cleaning 160001 clauses out of 320014 with flag 30120601/13316390
1944.95/1946.00	c cleaning 160998 clauses out of 322011 with flag 30541520/13478388
1981.13/1982.23	c cleaning 162002 clauses out of 324013 with flag 30953555/13641388
2022.53/2023.77	c cleaning 162998 clauses out of 326011 with flag 31365028/13805388
2070.42/2071.71	c cleaning 164002 clauses out of 328013 with flag 31766518/13970388
2107.31/2108.71	c cleaning 165000 clauses out of 330011 with flag 32201908/14136388
2149.50/2151.07	c cleaning 165999 clauses out of 332011 with flag 32641840/14303388
2186.89/2188.56	c cleaning 167005 clauses out of 334013 with flag 33072782/14471389
2221.99/2223.72	c cleaning 168002 clauses out of 336007 with flag 33494356/14640388
2265.86/2267.78	c cleaning 168996 clauses out of 338005 with flag 33920549/14810388
2310.03/2311.84	c cleaning 170003 clauses out of 340009 with flag 34351949/14981388
2346.73/2348.64	c cleaning 171001 clauses out of 342010 with flag 34759408/15153392
2386.22/2388.20	c cleaning 172003 clauses out of 344008 with flag 35214925/15326391
2431.89/2434.05	c cleaning 172992 clauses out of 346003 with flag 35677197/15500389
2464.11/2466.30	c cleaning 174001 clauses out of 348010 with flag 36111631/15675388
2518.16/2520.52	c cleaning 175002 clauses out of 350010 with flag 36569288/15851389
2572.52/2574.93	c cleaning 176000 clauses out of 352008 with flag 36992373/16028389
2623.30/2625.86	c cleaning 176997 clauses out of 354008 with flag 37449069/16206389
2663.19/2665.80	c cleaning 178002 clauses out of 356011 with flag 37889639/16385389
2702.58/2705.34	c cleaning 178997 clauses out of 358009 with flag 38326461/16565389
2753.04/2755.98	c cleaning 180002 clauses out of 360011 with flag 38788674/16746388
2797.03/2800.04	c cleaning 181001 clauses out of 362009 with flag 39246682/16928388
2843.93/2846.96	c cleaning 181998 clauses out of 364009 with flag 39691659/17111389
2887.73/2890.84	c cleaning 182996 clauses out of 366010 with flag 40134850/17295388
2945.00/2948.29	c cleaning 184000 clauses out of 368014 with flag 40625883/17480388
2991.47/2994.82	c cleaning 185000 clauses out of 370015 with flag 41093408/17666389
3050.02/3053.57	c cleaning 186001 clauses out of 372014 with flag 41597627/17853388
3106.15/3109.88	c cleaning 187002 clauses out of 374014 with flag 42077246/18041389
3163.41/3167.14	c cleaning 188001 clauses out of 376011 with flag 42566744/18230388
3220.47/3224.32	c cleaning 188994 clauses out of 378010 with flag 43073566/18420388
3280.94/3284.90	c cleaning 190001 clauses out of 380016 with flag 43553488/18611388
3339.79/3343.96	c cleaning 191006 clauses out of 382018 with flag 44033049/18803391
3389.55/3393.82	c cleaning 192000 clauses out of 384009 with flag 44463012/18996388
3453.56/3457.53	c cleaning 193001 clauses out of 386009 with flag 44916607/19190388
3507.25/3511.31	c cleaning 194000 clauses out of 388011 with flag 45434190/19385391
3564.52/3568.76	c cleaning 194997 clauses out of 390009 with flag 45941422/19581389
3600.03/3604.31	c starts		: 27266
3600.03/3604.32	c conflicts		: 19729612
3600.03/3604.32	c decisions		: 20869375
3600.03/3604.32	c propagations		: 278396038
3600.03/3604.32	c inspects		: 34973162724
3600.03/3604.32	c shortcuts		: 0
3600.03/3604.32	c learnt literals	: 0
3600.03/3604.32	c learnt binary clauses	: 0
3600.03/3604.32	c learnt ternary clauses	: 457
3600.03/3604.32	c learnt constraints	: 19729612
3600.03/3604.32	c ignored constraints	: 0
3600.03/3604.32	c root simplifications	: 0
3600.03/3604.32	c removed literals (reason simplification)	: 551160577
3600.03/3604.32	c reason swapping (by a shorter reason)	: 0
3600.03/3604.32	c Calls to reduceDB	: 211
3600.03/3604.32	c Number of update (reduction) of LBD	: 254365
3600.03/3604.32	c Imported unit clauses	: 0
3600.03/3604.32	c No decision after first conflict	: false
3600.03/3604.32	c number of reductions to clauses (during analyze)	: 0
3600.03/3604.32	c number of learned constraints concerned by reduction	: 0
3600.03/3604.32	c number of learning phase by resolution	: 0
3600.03/3604.32	c number of learning phase by cutting planes	: 0
3600.03/3604.32	c number of rounding to 1 operations	: 0
3600.03/3604.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3604.32	c number of reductions of the coefficients by power 2 	: 0
3600.03/3604.32	c number of right shift for reduction by power 2 	: 0
3600.03/3604.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3604.32	c number of ending skipping 	: 0
3600.03/3604.32	c number of internal skipping 	: 0
3600.03/3604.32	c number of derivation steps 	: 0
3600.03/3604.32	c number of skipped derivation steps 	: 0
3600.03/3604.32	c number of remaining unassigned 	: 0
3600.03/3604.32	c number of remaining assigned 	: 0
3600.03/3604.32	c number of falsified literals weakened from reason	: 0
3600.03/3604.32	c number of falsified literals weakened from conflict	: 0
3600.03/3604.32	c time for arithmetic operations	: 0
3600.03/3604.33	c minimum degree of deleted constraints	: null
3600.03/3604.33	c maximum degree of deleted constraints	: null
3600.03/3604.33	c number of deleted constraints	: 0
3600.03/3604.33	c speed (assignments/second)	: 77244.98885425516
3600.03/3604.33	c non guided choices	: 688
3600.03/3604.40	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 343235
3600.03/3604.40	s SATISFIABLE
3600.03/3604.40	c Found 26 solution(s)
3600.23/3604.41	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 
3600.23/3604.41	c objective function=6
3600.23/3604.41	c Total wall clock time (in seconds): 3604.219

Verifier Data 

OK	6

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: 63708 MiB (34854 MiB free)
  memory of node 1: 64465 MiB (46480 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509064-1751515716/watcher-4509064-1751515716 -o /tmp/evaluation-result-4509064-1751515716/solver-4509064-1751515716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71614 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509064-1751515716.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=73147, runsolver pid=73144

[startup+0.100059 s]*
/proc/loadavg: 4.69 4.47 4.40 8/337 73165
/proc/meminfo: memFree=83267908/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=18930384 memory=52112 CPUtime=0.1 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 6148 0 0 0 8 2 0 0 20 0 18 0 67249431 19384713216 13028 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4732596 13028 5373 1 0 547270 0
[pid=73147/tid=73149] ppid=73144 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 4945 0 0 0 5 1 0 0 20 0 18 0 67249433 19384713216 13028 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67249435 19384713216 13028 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=18930384 memory=58485492679666 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67249435 19384713216 13028 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52112 KiB

[startup+0.205667 s]*
/proc/loadavg: 4.69 4.47 4.40 8/337 73165
/proc/meminfo: memFree=83251468/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=18930384 memory=59408 CPUtime=0.23 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 6900 0 0 0 21 2 0 0 20 0 18 0 67249431 19384713216 14852 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4732596 14852 5437 1 0 547831 0
[pid=73147/tid=73149] ppid=73144 vsize=18930384 memory=4026728732 CPUtime=0.12 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 5244 0 0 0 11 1 0 0 20 0 18 0 67249433 19384713216 14852 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=18930384 memory=16099 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67249435 19384713216 14852 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67249435 19384713216 14852 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59408 KiB

[startup+0.305389 s]*
/proc/loadavg: 4.87 4.51 4.41 7/338 73166
/proc/meminfo: memFree=83250712/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=18996948 memory=67300 CPUtime=0.42 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 7466 0 0 0 39 3 0 0 20 0 19 0 67249431 19452874752 16825 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4749237 16825 5501 1 0 548404 0
[pid=73147/tid=73149] ppid=73144 vsize=18996948 memory=-6000919489903421800 CPUtime=0.22 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) S 73144 73147 71602 0 -1 4194368 5392 0 0 0 20 2 0 0 20 0 19 0 67249433 19452874752 16825 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 16825 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 16825 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67249458 19452874752 16825 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67300 KiB

[startup+0.700239 s]
/proc/loadavg: 4.87 4.51 4.41 7/338 73166
/proc/meminfo: memFree=83236804/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=18996948 memory=86188 CPUtime=1.18 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 12241 0 0 0 115 3 0 0 20 0 19 0 67249431 19452874752 21547 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4749237 21547 5501 1 0 551410 0
[pid=73147/tid=73149] ppid=73144 vsize=18996948 memory=14336 CPUtime=0.57 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 5404 0 0 0 55 2 0 0 20 0 19 0 67249433 19452874752 21547 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 21547 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 21547 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67249458 19452874752 21547 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86188 KiB

[startup+1.50083 s]
/proc/loadavg: 4.87 4.51 4.41 7/338 73166
/proc/meminfo: memFree=83224628/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=18996948 memory=105848 CPUtime=2.29 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 13771 0 0 0 225 4 0 0 20 0 19 0 67249431 19452874752 26462 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4749237 26462 5501 1 0 551614 0
[pid=73147/tid=73149] ppid=73144 vsize=18996948 memory=10880 CPUtime=1.35 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 5778 0 0 0 133 2 0 0 20 0 19 0 67249433 19452874752 26462 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 26462 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 26462 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67249458 19452874752 26462 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105848 KiB

[startup+3.10543 s]
/proc/loadavg: 4.87 4.51 4.41 6/338 73166
/proc/meminfo: memFree=83179824/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=18996948 memory=140796 CPUtime=4.01 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 16592 0 0 0 396 5 0 0 20 0 19 0 67249431 19452874752 35199 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4749237 35199 5501 1 0 551618 0
[pid=73147/tid=73149] ppid=73144 vsize=18996948 memory=10880 CPUtime=2.96 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 6092 0 0 0 293 3 0 0 20 0 19 0 67249433 19452874752 35199 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=18996948 memory=-6000919489903421800 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 35199 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67249435 19452874752 35199 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67249458 19452874752 35199 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140796 KiB

[startup+6.30018 s]
/proc/loadavg: 4.88 4.52 4.42 6/339 73167
/proc/meminfo: memFree=83085932/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=176408 CPUtime=7.27 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 20697 0 0 0 721 6 0 0 20 0 20 0 67249431 19521036288 44102 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 44102 5533 1 0 551908 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=0 CPUtime=6.13 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 6495 0 0 0 610 3 0 0 20 0 20 0 67249433 19521036288 44102 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 44102 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 44102 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=107896 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 44102 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.81 4.51 4.42 5/339 73167
/proc/meminfo: memFree=83057796/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=208516 CPUtime=13.91 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 25507 0 0 0 1384 7 0 0 20 0 20 0 67249431 19521036288 52129 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 52129 5533 1 0 551909 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=107896 CPUtime=12.47 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 7627 0 0 0 1244 3 0 0 20 0 20 0 67249433 19521036288 52129 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 52129 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=208516 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 52129 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 52129 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 13.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208516 KiB

[startup+25.5002 s]
/proc/loadavg: 4.69 4.49 4.41 5/339 73167
/proc/meminfo: memFree=82896804/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=311688 CPUtime=26.78 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 26680 0 0 0 2668 10 0 0 20 0 20 0 67249431 19521036288 77922 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 77922 5565 1 0 551909 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=10880 CPUtime=25.15 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 7906 0 0 0 2512 3 0 0 20 0 20 0 67249433 19521036288 77922 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=208516 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 77922 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 77922 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 77922 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 311688 KiB

[startup+51.1055 s]
/proc/loadavg: 4.49 4.46 4.40 5/340 73235
/proc/meminfo: memFree=83008188/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=446896 CPUtime=52.43 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 26891 0 0 0 5230 13 0 0 20 0 20 0 67249431 19521036288 111724 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 111724 5565 1 0 551909 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=446896 CPUtime=50.56 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 7944 0 0 0 5053 3 0 0 20 0 20 0 67249433 19521036288 111724 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/341 73541
/proc/meminfo: memFree=91322816/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167192 CPUtime=3278.35 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 77597 0 0 0 327717 118 0 0 20 0 20 0 67249431 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541798 5597 1 0 554484 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=2167192 CPUtime=3270.07 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 34889 0 0 0 326989 18 0 0 20 0 20 0 67249433 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=-6000919489903421800 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=2167192 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 900 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=2167192 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3278.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/341 73543
/proc/meminfo: memFree=91044000/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167192 CPUtime=3338.19 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 77960 0 0 0 333699 120 0 0 20 0 20 0 67249431 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541798 5597 1 0 554484 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=4752 CPUtime=3329.9 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 35174 0 0 0 332971 19 0 0 20 0 20 0 67249433 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=2167192 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=2167192 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 930 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541798 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3338.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/341 73545
/proc/meminfo: memFree=91043868/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3398.49 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 80771 0 0 0 339728 121 0 0 20 0 20 0 67249431 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541862 5597 1 0 554550 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=2167192 CPUtime=3389.62 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 37307 0 0 0 338943 19 0 0 20 0 20 0 67249433 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=2167192 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 930 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=-6000919489903421800 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3398.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/340 73547
/proc/meminfo: memFree=90802236/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3458.35 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 81271 0 0 0 345713 122 0 0 20 0 20 0 67249431 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541862 5597 1 0 554550 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3449.46 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 37759 0 0 0 344927 19 0 0 20 0 20 0 67249433 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 930 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3458.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/339 73549
/proc/meminfo: memFree=90679500/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3518.22 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 81906 0 0 0 351698 124 0 0 20 0 20 0 67249431 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541862 5597 1 0 554550 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3509.31 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 38332 0 0 0 350912 19 0 0 20 0 20 0 67249433 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3518.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/340 73552
/proc/meminfo: memFree=90679644/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3578.08 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 82122 0 0 0 357683 125 0 0 20 0 20 0 67249431 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541862 5597 1 0 554550 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3569.15 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 38480 0 0 0 356896 19 0 0 20 0 20 0 67249433 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 981 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=2744 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3578.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/340 73552
/proc/meminfo: memFree=90679668/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3600.03 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 82158 0 0 0 359877 126 0 0 20 0 20 0 67249431 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4765878 541862 5597 1 0 554550 0
[pid=73147/tid=73149] ppid=73144 vsize=19063512 memory=2167448 CPUtime=3591.09 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 38506 0 0 0 359090 19 0 0 20 0 20 0 67249433 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 981 0 0 0 0 0 0 0 20 0 20 0 67249435 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73166] ppid=73144 vsize=19063512 memory=2167448 CPUtime=0 cores=1,3
/proc/73147/task/73166/stat : 73166 (Timer-0) S 73144 73147 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67249458 19521036288 541862 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167448 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.99 s, system=1.27349 s

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

[startup+3604.41 s]
/proc/loadavg: 4.15 4.14 4.16 5/340 73552
/proc/meminfo: memFree=90679668/131249996 swapFree=33004236/33010684
[pid=73147] ppid=73144 vsize=19263204 memory=2168088 CPUtime=3600.23 cores=1,3
/proc/73147/stat : 73147 (java) S 73144 73147 71602 0 -1 4194304 83709 0 0 0 359897 126 0 0 20 0 21 0 67249431 19725520896 542022 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
/proc/73147/statm: 4815801 542022 5597 1 0 555489 0
[pid=73147/tid=73149] ppid=73144 vsize=19263204 memory=5736 CPUtime=3591.18 cores=1,3
/proc/73147/task/73149/stat : 73149 (java) R 73144 73147 71602 0 -1 4194368 38575 0 0 0 359099 19 0 0 20 0 21 0 67249433 19725520896 542022 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73158] ppid=73144 vsize=19263204 memory=46464 CPUtime=0 cores=1,3
/proc/73147/task/73158/stat : 73158 (Finalizer) S 73144 73147 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67249435 19725520896 542022 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
[pid=73147/tid=73165] ppid=73144 vsize=19263204 memory=12544 CPUtime=0 cores=1,3
/proc/73147/task/73165/stat : 73165 (Common-Cleaner) S 73144 73147 71602 0 -1 4194368 981 0 0 0 0 0 0 0 20 0 21 0 67249435 19725520896 542022 18446744073709551615 94293137170432 94293137174128 140725154657840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94293137181944 94293137182736 94293163569152 140725154662785 140725154662886 140725154662886 140725154668488 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2168088 KiB

Child status: 143

Real time (s): 3604.42
CPU time (s): 3600.26
CPU user time (s): 3598.99
CPU system time (s): 1.27349
CPU usage (%): 99.8847
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.27349
maximum resident set size= 2168088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104703
involuntary context switches= 6247


# summary of solver processes directly reported to runsolver:
#   pid: 73147
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3598.99
#   total CPU system time (s): 1.27349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81047 second user time and 16.2923 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-03 06:08:36
IDJOB=4509064
IDBENCH=158583
IDSOLVER=3363
FILE ID=nodeC023/4509064-1751515716
RUNJOBID= nodeC023-1751508541-71614
SLURM_JOB_ID= 9598606
Free space on /tmp= 431864 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509064-1751515716/watcher-4509064-1751515716 -o /tmp/evaluation-result-4509064-1751515716/solver-4509064-1751515716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71614 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509064-1751515716.opb

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

MD5SUM BENCH= fd898dd3347352c45e90b01c742e4b19
RANDOM SEED=486414210

nodeC023 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	: 0xb00002a
cpu MHz		: 3599.889
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.012
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.821
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.872
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.885
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.890
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.047
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.898
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        83286564 kB
MemAvailable:   99002552 kB
Buffers:              16 kB
Cached:         16460568 kB
SwapCached:          596 kB
Active:         30935300 kB
Inactive:       16255596 kB
Active(anon):   30723252 kB
Inactive(anon):    20460 kB
Active(file):     212048 kB
Inactive(file): 16235136 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               768 kB
Writeback:            36 kB
AnonPages:      30726924 kB
Mapped:           119232 kB
Shmem:             13400 kB
KReclaimable:     216084 kB
Slab:             306836 kB
SReclaimable:     216084 kB
SUnreclaim:        90752 kB
KernelStack:        5200 kB
PageTables:        63612 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   35291840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  30332928 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-03 07:08:40