Trace number 4509065

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)6 3600.34 3661.96

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4509065-1751517555.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.13/0.19	c ... done. Wall clock time 0.065s.
0.13/0.19	c declared #vars     328
0.13/0.19	c #constraints  1748
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 145
0.13/0.19	c org.sat4j.specs.Constr$1 => 1
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1601
0.13/0.19	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.19	c 1748 constraints processed.
0.32/0.21	c objective function length is 231 literals
0.32/0.21	c SATISFIABLE
0.32/0.21	c OPTIMIZING...
0.32/0.21	c Got one! Elapsed wall clock time (in seconds):0.089
0.32/0.21	o 46
0.32/0.23	c Got one! Elapsed wall clock time (in seconds):0.108
0.32/0.23	o 44
0.32/0.23	c Got one! Elapsed wall clock time (in seconds):0.11
0.32/0.23	o 35
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.125
0.32/0.25	o 34
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.133
0.32/0.26	o 33
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.138
0.32/0.26	o 32
0.32/0.27	c Got one! Elapsed wall clock time (in seconds):0.142
0.32/0.27	o 27
0.32/0.27	c Got one! Elapsed wall clock time (in seconds):0.147
0.32/0.27	o 26
0.52/0.37	c Got one! Elapsed wall clock time (in seconds):0.241
0.52/0.37	o 25
0.52/0.37	c Got one! Elapsed wall clock time (in seconds):0.247
0.52/0.37	o 24
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.252
0.52/0.38	o 23
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.254
0.52/0.38	o 22
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.258
0.52/0.38	o 21
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.263
0.52/0.39	o 20
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.266
0.52/0.39	o 19
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.27
0.52/0.39	o 18
1.67/0.91	c cleaning 2862 clauses out of 5724 with flag 13383/5724
2.45/1.38	c cleaning 4429 clauses out of 8864 with flag 28587/11726
3.45/1.80	c cleaning 5716 clauses out of 11433 with flag 48007/18724
4.20/2.20	c cleaning 6859 clauses out of 13718 with flag 71581/26725
4.73/2.60	c cleaning 7924 clauses out of 15857 with flag 94027/35723
5.54/3.14	c cleaning 8967 clauses out of 17934 with flag 119256/45724
6.13/3.62	c cleaning 9981 clauses out of 19966 with flag 147492/56723
6.64/4.17	c cleaning 10988 clauses out of 21986 with flag 178060/68724
7.37/4.86	c cleaning 11993 clauses out of 23997 with flag 210438/81723
8.08/5.54	c cleaning 12998 clauses out of 26005 with flag 246934/95724
8.69/6.17	c cleaning 13995 clauses out of 28007 with flag 280960/110724
9.48/6.93	c cleaning 15004 clauses out of 30011 with flag 315888/126723
10.36/7.73	c cleaning 16004 clauses out of 32010 with flag 354013/143726
11.31/8.63	c cleaning 17002 clauses out of 34004 with flag 394128/161724
12.11/9.40	c cleaning 17999 clauses out of 36001 with flag 436716/180723
12.82/10.19	c cleaning 19002 clauses out of 38003 with flag 480575/200724
13.83/11.13	c cleaning 20000 clauses out of 40000 with flag 528079/221723
14.83/12.12	c cleaning 21000 clauses out of 42001 with flag 577016/243724
15.73/13.10	c cleaning 21992 clauses out of 44002 with flag 627090/266725
16.31/13.64	c Got one! Elapsed wall clock time (in seconds):13.52
16.31/13.64	o 17
16.43/13.73	c Got one! Elapsed wall clock time (in seconds):13.603
16.43/13.73	o 16
16.55/13.82	c Got one! Elapsed wall clock time (in seconds):13.697
16.55/13.82	o 15
16.55/13.84	c Got one! Elapsed wall clock time (in seconds):13.718
16.55/13.84	o 14
16.55/13.85	c Got one! Elapsed wall clock time (in seconds):13.721
16.55/13.85	o 13
16.55/13.88	c Got one! Elapsed wall clock time (in seconds):13.751
16.55/13.88	o 11
16.55/13.88	c Got one! Elapsed wall clock time (in seconds):13.755
16.55/13.88	o 10
16.68/13.92	c Got one! Elapsed wall clock time (in seconds):13.797
16.68/13.92	o 9
16.68/13.93	c Got one! Elapsed wall clock time (in seconds):13.802
16.68/13.93	o 7
16.68/13.98	c Got one! Elapsed wall clock time (in seconds):13.854
16.68/13.98	o 6
17.10/14.39	c cleaning 22837 clauses out of 45674 with flag 6911/290389
17.50/14.74	c cleaning 14409 clauses out of 28836 with flag 20813/296388
17.81/15.07	c cleaning 10714 clauses out of 21427 with flag 36661/303388
18.33/15.42	c cleaning 9354 clauses out of 18714 with flag 54693/311389
18.72/15.83	c cleaning 9179 clauses out of 18361 with flag 75373/320390
19.13/16.27	c cleaning 9589 clauses out of 19183 with flag 97320/330391
19.64/16.79	c cleaning 10297 clauses out of 20594 with flag 122474/341391
20.23/17.37	c cleaning 11148 clauses out of 22295 with flag 149915/353389
20.84/18.00	c cleaning 12074 clauses out of 24147 with flag 180337/366389
21.54/18.65	c cleaning 13034 clauses out of 26072 with flag 214454/380388
22.24/19.30	c cleaning 14016 clauses out of 28038 with flag 249861/395388
22.84/19.91	c cleaning 15003 clauses out of 30022 with flag 286158/411388
23.33/20.48	c cleaning 16003 clauses out of 32019 with flag 322213/428388
24.04/21.18	c cleaning 17002 clauses out of 34016 with flag 360758/446388
24.75/21.88	c cleaning 18007 clauses out of 36017 with flag 401676/465391
25.75/22.88	c cleaning 19003 clauses out of 38007 with flag 448535/485388
26.64/23.73	c cleaning 20003 clauses out of 40006 with flag 496539/506390
27.53/24.60	c cleaning 20998 clauses out of 42001 with flag 545733/528388
28.65/25.77	c cleaning 22000 clauses out of 44004 with flag 595956/551389
29.65/26.78	c cleaning 23002 clauses out of 46004 with flag 645059/575389
30.74/27.86	c cleaning 23999 clauses out of 48003 with flag 696132/600390
31.96/29.08	c cleaning 25001 clauses out of 50003 with flag 749798/626389
33.25/30.39	c cleaning 25999 clauses out of 52002 with flag 805790/653389
34.86/31.93	c cleaning 27002 clauses out of 54004 with flag 864054/681390
36.76/33.88	c cleaning 27995 clauses out of 56001 with flag 926301/710389
38.87/35.91	c cleaning 28997 clauses out of 58005 with flag 994051/740388
40.36/37.47	c cleaning 30000 clauses out of 60009 with flag 1061857/771389
41.75/38.88	c cleaning 31004 clauses out of 62010 with flag 1129234/803390
43.46/40.53	c cleaning 32000 clauses out of 64006 with flag 1200552/836390
45.16/42.22	c cleaning 33000 clauses out of 66005 with flag 1275303/870389
47.16/44.29	c cleaning 34001 clauses out of 68004 with flag 1351437/905388
49.46/46.54	c cleaning 35001 clauses out of 70004 with flag 1428552/941389
51.55/48.80	c cleaning 36001 clauses out of 72006 with flag 1509449/978392
53.65/51.00	c cleaning 36998 clauses out of 74001 with flag 1591585/1016388
55.86/53.15	c cleaning 37999 clauses out of 76005 with flag 1675998/1055390
58.44/55.72	c cleaning 38996 clauses out of 78004 with flag 1764629/1095388
60.66/57.99	c cleaning 39998 clauses out of 80008 with flag 1854703/1136388
63.31/60.85	c cleaning 41005 clauses out of 82010 with flag 1944461/1178388
65.93/63.43	c cleaning 41999 clauses out of 84006 with flag 2041627/1221389
68.73/66.21	c cleaning 43003 clauses out of 86007 with flag 2138716/1265389
71.74/69.22	c cleaning 43995 clauses out of 88003 with flag 2239176/1310388
75.05/72.70	c cleaning 45002 clauses out of 90008 with flag 2342869/1356388
77.95/75.67	c cleaning 46003 clauses out of 92007 with flag 2443290/1403389
81.07/78.74	c cleaning 46994 clauses out of 94004 with flag 2544159/1451389
84.57/82.23	c cleaning 48004 clauses out of 96010 with flag 2651785/1500389
88.87/86.73	c cleaning 48997 clauses out of 98005 with flag 2764611/1550388
92.89/90.74	c cleaning 50001 clauses out of 100008 with flag 2881398/1601388
97.43/95.20	c cleaning 50998 clauses out of 102007 with flag 2993541/1653388
101.84/99.87	c cleaning 52005 clauses out of 104012 with flag 3107298/1706391
107.42/105.48	c cleaning 52999 clauses out of 106005 with flag 3224991/1760389
112.55/110.56	c cleaning 53998 clauses out of 108007 with flag 3352949/1815390
117.16/115.33	c cleaning 55001 clauses out of 110007 with flag 3480360/1871388
120.86/119.02	c cleaning 55993 clauses out of 112006 with flag 3605696/1928388
125.68/123.82	c cleaning 57000 clauses out of 114013 with flag 3734877/1986388
131.62/129.76	c cleaning 58002 clauses out of 116014 with flag 3867301/2045389
136.97/135.09	c cleaning 59001 clauses out of 118011 with flag 4002583/2105388
142.63/140.77	c cleaning 60003 clauses out of 120010 with flag 4139681/2166388
148.22/146.69	c cleaning 60996 clauses out of 122008 with flag 4275065/2228389
153.81/152.21	c cleaning 62001 clauses out of 124012 with flag 4412327/2291389
159.73/158.16	c cleaning 63000 clauses out of 126010 with flag 4551365/2355388
166.04/164.44	c cleaning 64001 clauses out of 128011 with flag 4693539/2420389
172.83/171.51	c cleaning 65003 clauses out of 130011 with flag 4837059/2486390
179.45/178.18	c cleaning 65999 clauses out of 132006 with flag 4989983/2553388
187.19/185.89	c cleaning 66998 clauses out of 134007 with flag 5147801/2621388
194.54/193.12	c cleaning 68003 clauses out of 136009 with flag 5302089/2690388
201.96/200.50	c cleaning 69001 clauses out of 138006 with flag 5455448/2760388
210.49/209.14	c cleaning 70001 clauses out of 140006 with flag 5612048/2831389
216.92/215.55	c cleaning 71001 clauses out of 142004 with flag 5773439/2903388
224.46/223.01	c cleaning 71997 clauses out of 144004 with flag 5937320/2976389
230.60/229.14	c cleaning 73001 clauses out of 146007 with flag 6100039/3050389
237.07/235.78	c cleaning 73998 clauses out of 148005 with flag 6272091/3125388
246.24/245.33	c cleaning 74996 clauses out of 150009 with flag 6434166/3201390
254.77/253.82	c cleaning 75999 clauses out of 152012 with flag 6602080/3278389
261.79/260.83	c cleaning 77002 clauses out of 154012 with flag 6771281/3356388
269.14/268.42	c cleaning 78006 clauses out of 156011 with flag 6947925/3435389
279.46/278.79	c cleaning 79004 clauses out of 158008 with flag 7125536/3515392
289.83/289.02	c cleaning 79997 clauses out of 160000 with flag 7307754/3596388
297.94/297.39	c cleaning 80996 clauses out of 162004 with flag 7484792/3678389
308.56/307.91	c cleaning 82002 clauses out of 164009 with flag 7670628/3761390
317.03/316.47	c cleaning 83002 clauses out of 166006 with flag 7863961/3845389
324.98/324.44	c cleaning 84002 clauses out of 168004 with flag 8060918/3930389
334.65/334.11	c cleaning 84992 clauses out of 170002 with flag 8249559/4016389
345.96/345.43	c cleaning 85998 clauses out of 172009 with flag 8459444/4103388
356.15/355.67	c cleaning 86999 clauses out of 174011 with flag 8657652/4191388
366.49/365.90	c cleaning 88002 clauses out of 176013 with flag 8857478/4280389
374.68/374.16	c cleaning 89002 clauses out of 178012 with flag 9053027/4370390
388.94/388.40	c cleaning 90004 clauses out of 180009 with flag 9258517/4461389
398.11/397.58	c cleaning 90999 clauses out of 182004 with flag 9462250/4553388
410.37/409.86	c cleaning 91998 clauses out of 184005 with flag 9660945/4646388
422.87/422.38	c cleaning 92997 clauses out of 186007 with flag 9877889/4740388
436.48/435.94	c cleaning 94004 clauses out of 188011 with flag 10098448/4835389
449.33/449.03	c cleaning 95002 clauses out of 190006 with flag 10313596/4931388
462.53/462.22	c cleaning 95997 clauses out of 192008 with flag 10523266/5028392
473.29/473.06	c cleaning 97003 clauses out of 194008 with flag 10737129/5126389
487.23/486.94	c cleaning 97998 clauses out of 196004 with flag 10958233/5225388
503.24/503.03	c cleaning 98998 clauses out of 198006 with flag 11182830/5325388
513.19/512.91	c cleaning 100004 clauses out of 200009 with flag 11395746/5426389
530.83/535.64	c cleaning 100997 clauses out of 202004 with flag 11620970/5528388
544.01/549.04	c cleaning 101998 clauses out of 204007 with flag 11847069/5631388
556.80/561.75	c cleaning 103001 clauses out of 206010 with flag 12079378/5735389
577.81/588.20	c cleaning 103998 clauses out of 208009 with flag 12332067/5840389
594.70/610.02	c cleaning 105002 clauses out of 210010 with flag 12576887/5946388
611.29/626.68	c cleaning 105999 clauses out of 212008 with flag 12833985/6053388
629.58/645.06	c cleaning 107000 clauses out of 214010 with flag 13102316/6161389
647.42/663.01	c cleaning 107996 clauses out of 216009 with flag 13357720/6270388
663.95/680.00	c cleaning 109004 clauses out of 218013 with flag 13623154/6380388
680.80/697.12	c cleaning 110003 clauses out of 220009 with flag 13882235/6491388
700.91/717.45	c cleaning 111000 clauses out of 222007 with flag 14122152/6603389
723.84/740.60	c cleaning 111995 clauses out of 224006 with flag 14397248/6716388
738.10/754.82	c cleaning 113003 clauses out of 226011 with flag 14663809/6830388
752.97/769.84	c cleaning 114003 clauses out of 228009 with flag 14923906/6945389
773.70/790.51	c cleaning 114997 clauses out of 230007 with flag 15187024/7061390
796.57/813.63	c cleaning 116003 clauses out of 232008 with flag 15478747/7178388
815.24/832.67	c cleaning 117003 clauses out of 234007 with flag 15756434/7296390
832.12/849.53	c cleaning 117991 clauses out of 236002 with flag 16021740/7415388
852.85/870.86	c cleaning 119002 clauses out of 238011 with flag 16307426/7535388
869.45/887.76	c cleaning 120005 clauses out of 240009 with flag 16581185/7656388
883.72/902.07	c cleaning 121003 clauses out of 242007 with flag 16836041/7778391
895.94/914.40	c cleaning 121998 clauses out of 244002 with flag 17090475/7901389
911.82/932.90	c cleaning 122998 clauses out of 246003 with flag 17345473/8025388
935.91/957.05	c cleaning 124000 clauses out of 248007 with flag 17648869/8150390
962.38/983.52	c cleaning 124997 clauses out of 250006 with flag 17948525/8276389
983.84/1005.26	c cleaning 125996 clauses out of 252008 with flag 18237176/8403388
1006.72/1028.26	c cleaning 127003 clauses out of 254013 with flag 18543962/8531389
1031.73/1053.43	c cleaning 128002 clauses out of 256009 with flag 18827149/8660388
1059.98/1082.64	c cleaning 129003 clauses out of 258009 with flag 19120491/8790390
1087.37/1110.01	c cleaning 129995 clauses out of 260004 with flag 19449450/8921388
1111.41/1134.24	c cleaning 131000 clauses out of 262009 with flag 19744080/9053388
1134.68/1157.59	c cleaning 132001 clauses out of 264011 with flag 20039739/9186390
1161.45/1184.50	c cleaning 133002 clauses out of 266009 with flag 20362995/9320389
1190.72/1213.86	c cleaning 134000 clauses out of 268008 with flag 20692186/9455390
1216.09/1239.39	c cleaning 134994 clauses out of 270007 with flag 20997037/9591389
1247.20/1271.80	c cleaning 136000 clauses out of 272013 with flag 21331123/9728389
1274.50/1301.99	c cleaning 136998 clauses out of 274012 with flag 21664461/9866388
1311.00/1338.57	c cleaning 138004 clauses out of 276015 with flag 22005934/10005389
1338.74/1366.33	c cleaning 139002 clauses out of 278010 with flag 22334577/10145388
1369.94/1397.65	c cleaning 140004 clauses out of 280009 with flag 22698119/10286389
1403.33/1431.19	c cleaning 140995 clauses out of 282004 with flag 23026705/10428388
1442.24/1471.31	c cleaning 141999 clauses out of 284010 with flag 23386495/10571389
1470.40/1499.92	c cleaning 143003 clauses out of 286012 with flag 23749985/10715390
1498.82/1528.70	c cleaning 144001 clauses out of 288008 with flag 24102471/10860389
1528.59/1560.54	c cleaning 144997 clauses out of 290007 with flag 24446118/11006389
1558.15/1591.95	c cleaning 146000 clauses out of 292009 with flag 24819812/11153388
1586.99/1620.86	c cleaning 147002 clauses out of 294009 with flag 25180673/11301388
1621.15/1659.98	c cleaning 147998 clauses out of 296008 with flag 25532715/11450389
1654.71/1694.10	c cleaning 149003 clauses out of 298010 with flag 25898790/11600389
1684.16/1723.64	c cleaning 150001 clauses out of 300006 with flag 26273481/11751388
1718.20/1759.11	c cleaning 150998 clauses out of 302005 with flag 26656460/11903388
1760.44/1801.51	c cleaning 152000 clauses out of 304008 with flag 27033620/12056389
1794.85/1836.01	c cleaning 152995 clauses out of 306008 with flag 27385950/12210389
1836.42/1877.49	c cleaning 154004 clauses out of 308013 with flag 27779694/12365389
1872.47/1913.51	c cleaning 155000 clauses out of 310008 with flag 28163692/12521388
1912.53/1954.07	c cleaning 155997 clauses out of 312009 with flag 28551634/12678389
1945.75/1987.62	c cleaning 157000 clauses out of 314011 with flag 28935788/12836388
1979.66/2021.83	c cleaning 157998 clauses out of 316011 with flag 29328077/12995388
2022.51/2064.85	c cleaning 159001 clauses out of 318014 with flag 29714493/13155389
2057.96/2100.31	c cleaning 160001 clauses out of 320014 with flag 30120601/13316390
2100.14/2142.67	c cleaning 160998 clauses out of 322011 with flag 30541520/13478388
2136.90/2179.50	c cleaning 162002 clauses out of 324013 with flag 30953555/13641388
2178.04/2220.88	c cleaning 162998 clauses out of 326011 with flag 31365028/13805388
2226.40/2269.21	c cleaning 164002 clauses out of 328013 with flag 31766518/13970388
2265.06/2307.94	c cleaning 165000 clauses out of 330011 with flag 32201908/14136388
2307.80/2350.80	c cleaning 165999 clauses out of 332011 with flag 32641840/14303388
2346.55/2389.74	c cleaning 167005 clauses out of 334013 with flag 33072782/14471389
2382.88/2426.13	c cleaning 168002 clauses out of 336007 with flag 33494356/14640388
2428.70/2473.04	c cleaning 168996 clauses out of 338005 with flag 33920549/14810388
2473.93/2518.44	c cleaning 170003 clauses out of 340009 with flag 34351949/14981388
2514.18/2558.71	c cleaning 171001 clauses out of 342010 with flag 34759408/15153392
2556.42/2601.50	c cleaning 172003 clauses out of 344008 with flag 35214925/15326391
2604.14/2649.76	c cleaning 172992 clauses out of 346003 with flag 35677197/15500389
2638.81/2684.52	c cleaning 174001 clauses out of 348010 with flag 36111631/15675388
2694.74/2740.80	c cleaning 175002 clauses out of 350010 with flag 36569288/15851389
2751.05/2797.26	c cleaning 176000 clauses out of 352008 with flag 36992373/16028389
2803.01/2849.30	c cleaning 176997 clauses out of 354008 with flag 37449069/16206389
2844.41/2890.86	c cleaning 178002 clauses out of 356011 with flag 37889639/16385389
2885.39/2931.95	c cleaning 178997 clauses out of 358009 with flag 38326461/16565389
2936.31/2982.94	c cleaning 180002 clauses out of 360011 with flag 38788674/16746388
2980.76/3027.56	c cleaning 181001 clauses out of 362009 with flag 39246682/16928388
3028.50/3075.30	c cleaning 181998 clauses out of 364009 with flag 39691659/17111389
3072.59/3119.52	c cleaning 182996 clauses out of 366010 with flag 40134850/17295388
3129.72/3181.43	c cleaning 184000 clauses out of 368014 with flag 40625883/17480388
3175.47/3227.39	c cleaning 185000 clauses out of 370015 with flag 41093408/17666389
3233.43/3287.18	c cleaning 186001 clauses out of 372014 with flag 41597627/17853388
3289.81/3349.28	c cleaning 187002 clauses out of 374014 with flag 42077246/18041389
3346.42/3405.97	c cleaning 188001 clauses out of 376011 with flag 42566744/18230388
3403.80/3463.41	c cleaning 188994 clauses out of 378010 with flag 43073566/18420388
3465.00/3524.73	c cleaning 190001 clauses out of 380016 with flag 43553488/18611388
3523.58/3585.22	c cleaning 191006 clauses out of 382018 with flag 44033049/18803391
3573.22/3634.91	c cleaning 192000 clauses out of 384009 with flag 44463012/18996388
3600.07/3661.82	c starts		: 26603
3600.07/3661.83	c conflicts		: 19100090
3600.07/3661.83	c decisions		: 20210330
3600.07/3661.83	c propagations		: 269390651
3600.07/3661.83	c inspects		: 33305825370
3600.07/3661.83	c shortcuts		: 0
3600.07/3661.83	c learnt literals	: 0
3600.07/3661.83	c learnt binary clauses	: 0
3600.07/3661.83	c learnt ternary clauses	: 456
3600.07/3661.83	c learnt constraints	: 19100090
3600.07/3661.83	c ignored constraints	: 0
3600.07/3661.83	c root simplifications	: 0
3600.07/3661.83	c removed literals (reason simplification)	: 533941267
3600.07/3661.83	c reason swapping (by a shorter reason)	: 0
3600.07/3661.83	c Calls to reduceDB	: 208
3600.07/3661.83	c Number of update (reduction) of LBD	: 245317
3600.07/3661.83	c Imported unit clauses	: 0
3600.07/3661.83	c No decision after first conflict	: false
3600.07/3661.83	c number of reductions to clauses (during analyze)	: 0
3600.07/3661.83	c number of learned constraints concerned by reduction	: 0
3600.07/3661.83	c number of learning phase by resolution	: 0
3600.07/3661.83	c number of learning phase by cutting planes	: 0
3600.07/3661.83	c number of rounding to 1 operations	: 0
3600.07/3661.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3661.83	c number of reductions of the coefficients by power 2 	: 0
3600.07/3661.83	c number of right shift for reduction by power 2 	: 0
3600.07/3661.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3661.83	c number of ending skipping 	: 0
3600.07/3661.83	c number of internal skipping 	: 0
3600.07/3661.83	c number of derivation steps 	: 0
3600.07/3661.83	c number of skipped derivation steps 	: 0
3600.07/3661.84	c number of remaining unassigned 	: 0
3600.07/3661.84	c number of remaining assigned 	: 0
3600.07/3661.84	c number of falsified literals weakened from reason	: 0
3600.07/3661.84	c number of falsified literals weakened from conflict	: 0
3600.07/3661.84	c time for arithmetic operations	: 0
3600.07/3661.84	c minimum degree of deleted constraints	: null
3600.07/3661.84	c maximum degree of deleted constraints	: null
3600.07/3661.84	c number of deleted constraints	: 0
3600.07/3661.84	c speed (assignments/second)	: 73571.29795033738
3600.07/3661.84	c non guided choices	: 688
3600.27/3661.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 295711
3600.27/3661.91	s SATISFIABLE
3600.27/3661.91	c Found 26 solution(s)
3600.27/3661.91	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.27/3661.93	c objective function=6
3600.27/3661.93	c Total wall clock time (in seconds): 3661.809

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509065-1751517555/watcher-4509065-1751517555 -o /tmp/evaluation-result-4509065-1751517555/solver-4509065-1751517555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751513701-72223 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509065-1751517555 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509065-1751517555.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=72895, runsolver pid=72892
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.27 4.22 4.11 7/345 72913
/proc/meminfo: memFree=68565492/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=18930384 memory=57904 CPUtime=0.13 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 6607 0 0 0 11 2 0 0 20 0 18 0 67433218 19384713216 14476 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4732596 14476 5349 1 0 547642 0
[pid=72895/tid=72897] ppid=72892 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 5099 0 0 0 7 1 0 0 20 0 18 0 67433219 19384713216 14476 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67433221 19384713216 14476 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=18930384 memory=59585004307076 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 67433222 19384713216 14476 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57904 KiB

[startup+0.206005 s]*
/proc/loadavg: 4.27 4.22 4.11 7/345 72913
/proc/meminfo: memFree=68559380/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=18930384 memory=66728 CPUtime=0.32 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 7148 0 0 0 30 2 0 0 20 0 18 0 67433218 19384713216 16682 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4732596 16682 5477 1 0 548012 0
[pid=72895/tid=72897] ppid=72892 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 5392 0 0 0 16 2 0 0 20 0 18 0 67433219 19384713216 16682 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67433221 19384713216 16682 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 67433222 19384713216 16682 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66728 KiB

[startup+0.306064 s]*
/proc/loadavg: 4.27 4.22 4.11 7/346 72914
/proc/meminfo: memFree=68539028/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=18997252 memory=81040 CPUtime=0.52 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 7776 0 0 0 49 3 0 0 20 0 19 0 67433218 19453186048 20260 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4749313 20260 5509 1 0 548616 0
[pid=72895/tid=72897] ppid=72892 vsize=18997252 memory=-6000919498409011816 CPUtime=0.27 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 5441 0 0 0 25 2 0 0 20 0 19 0 67433219 19453186048 20260 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=18997252 memory=0 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67433221 19453186048 20260 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=18997252 memory=0 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 67433222 19453186048 20260 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=18997252 memory=0 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67433239 19453186048 20260 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18997252 KiB
Current children cumulated memory: 81040 KiB

[startup+0.700236 s]
/proc/loadavg: 4.27 4.22 4.11 6/346 72914
/proc/meminfo: memFree=68464548/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=162820 CPUtime=1.28 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 11114 0 0 0 122 6 0 0 20 0 20 0 67433218 19521036288 40705 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 40705 5541 1 0 550628 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=18816 CPUtime=0.66 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 5488 0 0 0 62 4 0 0 20 0 20 0 67433219 19521036288 40705 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 40705 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 40705 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 40705 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162820 KiB

[startup+1.50026 s]
/proc/loadavg: 4.27 4.22 4.11 6/347 72915
/proc/meminfo: memFree=68410024/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=176188 CPUtime=2.86 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 19734 0 0 0 278 8 0 0 20 0 20 0 67433218 19521036288 44047 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 44047 5541 1 0 553339 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=10752 CPUtime=1.41 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 5959 0 0 0 136 5 0 0 20 0 20 0 67433219 19521036288 44047 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 44047 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 44047 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 44047 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176188 KiB

[startup+3.10584 s]
/proc/loadavg: 4.25 4.22 4.11 6/347 72915
/proc/meminfo: memFree=68063744/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=470000 CPUtime=5.54 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 21842 0 0 0 539 15 0 0 20 0 20 0 67433218 19521036288 117500 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 117500 5541 1 0 553347 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=10752 CPUtime=2.97 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 6683 0 0 0 286 11 0 0 20 0 20 0 67433219 19521036288 117500 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=-6000919498409011816 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 117500 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 117500 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 117500 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 470000 KiB

[startup+6.30021 s]
/proc/loadavg: 4.25 4.22 4.11 5/347 72915
/proc/meminfo: memFree=67700384/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=620460 CPUtime=8.88 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 22117 0 0 0 867 21 0 0 20 0 20 0 67433218 19521036288 155115 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 155115 5541 1 0 553364 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=0 CPUtime=6.13 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 6836 0 0 0 596 17 0 0 20 0 20 0 67433219 19521036288 155115 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 155115 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 155115 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=176316 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 155115 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 620460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.23 4.12 5/348 72916
/proc/meminfo: memFree=66291380/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=1325060 CPUtime=15.42 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 25609 0 0 0 1499 43 0 0 20 0 20 0 67433218 19521036288 331265 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 331265 5541 1 0 553364 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=176316 CPUtime=12.47 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 8117 0 0 0 1210 37 0 0 20 0 20 0 67433219 19521036288 331265 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 331265 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=1325060 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 331265 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 331265 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 15.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325060 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.25 4.12 5/348 72916
/proc/meminfo: memFree=65000340/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=1328004 CPUtime=28.45 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 32814 0 0 0 2790 55 0 0 20 0 20 0 67433218 19521036288 332001 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 332001 5541 1 0 553364 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=10752 CPUtime=25.18 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 9776 0 0 0 2469 49 0 0 20 0 20 0 67433219 19521036288 332001 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=1325060 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 332001 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 332001 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 332001 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328004 KiB

[startup+51.1059 s]
/proc/loadavg: 4.40 4.27 4.13 5/348 72916
/proc/meminfo: memFree=62657892/131249996 swapFree=33010160/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=1334404 CPUtime=53.85 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 35286 0 0 0 5310 75 0 0 20 0 20 0 67433218 19521036288 333601 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 333601 5573 1 0 553364 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=14592 CPUtime=50.37 cores=0,2

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

[startup+3342.3 s]
/proc/loadavg: 4.38 4.44 4.45 4/349 73309
/proc/meminfo: memFree=91056712/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3285.68 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 100505 0 0 0 327559 1009 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554737 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=4480 CPUtime=3259.3 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) D 72892 72895 72213 0 -1 4194368 43063 0 0 0 325007 923 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1647 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3285.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.42 4.44 6/348 73311
/proc/meminfo: memFree=87109372/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3342.83 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 100705 0 0 0 333266 1017 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554737 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3316.17 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 43225 0 0 0 330687 930 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=7809631399290295147 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1647 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3342.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.38 4.43 5/346 73314
/proc/meminfo: memFree=82357888/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3402.71 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 102062 0 0 0 339241 1030 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554737 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3375.78 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 44053 0 0 0 336636 942 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1647 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3402.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.40 4.43 6/346 73318
/proc/meminfo: memFree=79637104/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3462.59 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 102208 0 0 0 345219 1040 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554737 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3435.41 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 44112 0 0 0 342589 952 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1686 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3462.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.34 4.41 5/346 73325
/proc/meminfo: memFree=77045248/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3520.69 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 102548 0 0 0 351012 1057 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554737 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3493.23 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 44410 0 0 0 348356 967 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1686 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3520.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB

[startup+3642.3 s]
/proc/loadavg: 4.30 4.34 4.40 5/346 73327
/proc/meminfo: memFree=74820744/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3580.62 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 104118 0 0 0 356994 1068 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554738 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=1792 CPUtime=3552.84 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 45327 0 0 0 354307 977 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1686 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3580.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3661.8 s]
/proc/loadavg: 4.29 4.33 4.40 5/346 73328
/proc/meminfo: memFree=73809472/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19063512 memory=2166920 CPUtime=3600.07 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 104371 0 0 0 358935 1072 0 0 20 0 20 0 67433218 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4765878 541730 5573 1 0 554738 0
[pid=72895/tid=72897] ppid=72892 vsize=19063512 memory=18048 CPUtime=3572.2 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 45495 0 0 0 356240 980 0 0 20 0 20 0 67433219 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67433221 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1724 0 0 0 0 0 0 0 20 0 20 0 67433222 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72914] ppid=72892 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/72895/task/72914/stat : 72914 (Timer-0) S 72892 72895 72213 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67433239 19521036288 541730 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166920 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.6 s, system=10.7363 s

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

[startup+3661.9 s]
/proc/loadavg: 4.29 4.33 4.40 5/346 73328
/proc/meminfo: memFree=73809472/131249996 swapFree=33009136/33010684
[pid=72895] ppid=72892 vsize=19263204 memory=2167944 CPUtime=3600.27 cores=0,2
/proc/72895/stat : 72895 (java) S 72892 72895 72213 0 -1 4194304 106720 0 0 0 358955 1072 0 0 20 0 21 0 67433218 19725520896 541986 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
/proc/72895/statm: 4815801 541986 5605 1 0 555693 0
[pid=72895/tid=72897] ppid=72892 vsize=19263204 memory=1792 CPUtime=3572.3 cores=0,2
/proc/72895/task/72897/stat : 72897 (java) R 72892 72895 72213 0 -1 4194368 45647 0 0 0 356250 980 0 0 20 0 21 0 67433219 19725520896 541986 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72906] ppid=72892 vsize=19263204 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72906/stat : 72906 (Finalizer) S 72892 72895 72213 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67433221 19725520896 541986 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
[pid=72895/tid=72913] ppid=72892 vsize=19263204 memory=2166920 CPUtime=0 cores=0,2
/proc/72895/task/72913/stat : 72913 (Common-Cleaner) S 72892 72895 72213 0 -1 4194368 1724 0 0 0 0 0 0 0 20 0 21 0 67433222 19725520896 541986 18446744073709551615 94021448548352 94021448552048 140737237110592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94021448559864 94021448560656 94021453611008 140737237113136 140737237113318 140737237113318 140737237118920 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2167944 KiB

Child status: 143

Real time (s): 3661.96
CPU time (s): 3600.34
CPU user time (s): 3589.6
CPU system time (s): 10.7363
CPU usage (%): 98.3173
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2167944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.6
system time used= 10.7363
maximum resident set size= 2168072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107138
page faults= 0
swaps= 0
block input operations= 40
block output operations= 15283680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122681
involuntary context switches= 16999


# summary of solver processes directly reported to runsolver:
#   pid: 72895
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3589.6
#   total CPU system time (s): 10.7363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16073 second user time and 18.1687 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 06:39:15
IDJOB=4509065
IDBENCH=158583
IDSOLVER=3364
FILE ID=nodeC021/4509065-1751517555
RUNJOBID= nodeC021-1751513701-72223
SLURM_JOB_ID= 9598619
Free space on /tmp= 430952 MiB

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

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

MD5SUM BENCH= fd898dd3347352c45e90b01c742e4b19
RANDOM SEED=1917985500

nodeC021 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.864
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.56
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		: 3599.766
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.56
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		: 3599.951
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.56
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.915
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.56
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.814
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.56
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.773
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.56
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		: 3559.166
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.56
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		: 3610.216
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        68599760 kB
MemAvailable:   84653076 kB
Buffers:            2128 kB
Cached:         16791452 kB
SwapCached:           20 kB
Active:         45037580 kB
Inactive:       16312432 kB
Active(anon):   44563672 kB
Inactive(anon):    10924 kB
Active(file):     473908 kB
Inactive(file): 16301508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7024992 kB
Writeback:             0 kB
AnonPages:      44559180 kB
Mapped:           124300 kB
Shmem:             18040 kB
KReclaimable:     233876 kB
Slab:             545804 kB
SReclaimable:     233876 kB
SUnreclaim:       311928 kB
KernelStack:        5312 kB
PageTables:        90804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   45260100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:  43988992 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430944 MiB
End job on nodeC021 at 2025-07-03 07:40:17