Trace number 4489377

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)222 3600.36 3412.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUMd9affe619068a6673989e4355ed78893
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark182
Best CPU time to get the best result obtained on this benchmark3586.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints469
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.08	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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4489377-1751344795.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
0.29/0.21	c ... done. Wall clock time 0.064s.
0.29/0.21	c declared #vars     470
0.29/0.21	c #constraints  469
0.29/0.21	c constraints type 
0.29/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 469
0.29/0.21	c 469 constraints processed.
0.29/0.22	c objective function length is 470 literals
0.29/0.23	c SATISFIABLE
0.29/0.23	c OPTIMIZING...
0.29/0.23	c Got one! Elapsed wall clock time (in seconds):0.098
0.29/0.23	o 226
0.29/0.28	c Got one! Elapsed wall clock time (in seconds):0.145
0.29/0.28	o 225
0.48/0.40	c Got one! Elapsed wall clock time (in seconds):0.268
0.48/0.40	o 224
2.63/1.49	c cleaning 2626 clauses out of 5269 with flag 10703/5269
3.23/1.78	c Got one! Elapsed wall clock time (in seconds):1.651
3.23/1.78	o 223
4.22/2.21	c cleaning 4024 clauses out of 8064 with flag 6548/10690
4.99/2.87	c cleaning 5013 clauses out of 10040 with flag 19257/16690
5.82/3.56	c cleaning 6006 clauses out of 12027 with flag 33792/23690
6.89/4.43	c cleaning 7003 clauses out of 14021 with flag 50404/31690
7.94/5.40	c cleaning 8001 clauses out of 16019 with flag 69292/40691
8.84/6.24	c Got one! Elapsed wall clock time (in seconds):6.113
8.84/6.24	o 222
9.45/6.82	c cleaning 10700 clauses out of 21421 with flag 11020/54094
10.08/7.48	c cleaning 8350 clauses out of 16720 with flag 24166/60093
10.92/8.21	c cleaning 7678 clauses out of 15370 with flag 39593/67093
11.85/9.02	c cleaning 7839 clauses out of 15692 with flag 56502/75093
12.65/9.88	c cleaning 8419 clauses out of 16853 with flag 75163/84093
13.77/10.94	c cleaning 9210 clauses out of 18434 with flag 96420/94093
14.88/12.00	c cleaning 10106 clauses out of 20226 with flag 119269/105095
16.06/13.23	c cleaning 11050 clauses out of 22118 with flag 144202/117093
17.58/14.60	c cleaning 12025 clauses out of 24070 with flag 171188/130095
19.01/16.06	c cleaning 13015 clauses out of 26045 with flag 201197/144095
20.69/17.63	c cleaning 14007 clauses out of 28028 with flag 232455/159093
22.49/19.36	c cleaning 15003 clauses out of 30021 with flag 265608/175093
24.58/21.32	c cleaning 15997 clauses out of 32018 with flag 301003/192093
26.38/23.16	c cleaning 17003 clauses out of 34021 with flag 338529/210093
28.42/25.13	c cleaning 18000 clauses out of 36018 with flag 378236/229093
30.51/27.28	c cleaning 19001 clauses out of 38019 with flag 420751/249094
32.85/29.59	c cleaning 19998 clauses out of 40018 with flag 464545/270094
35.25/31.90	c cleaning 21000 clauses out of 42019 with flag 510533/292093
37.75/34.30	c cleaning 22001 clauses out of 44021 with flag 558440/315095
40.65/37.19	c cleaning 22994 clauses out of 46018 with flag 608466/339093
43.72/40.18	c cleaning 24001 clauses out of 48024 with flag 660649/364093
46.72/43.13	c cleaning 25003 clauses out of 50023 with flag 714914/390093
50.32/46.65	c cleaning 26001 clauses out of 52020 with flag 770988/417093
54.57/50.77	c cleaning 27002 clauses out of 54019 with flag 830469/445093
58.83/54.80	c cleaning 28001 clauses out of 56017 with flag 890857/474093
63.36/59.08	c cleaning 29001 clauses out of 58016 with flag 953568/504093
67.45/63.18	c cleaning 30001 clauses out of 60016 with flag 1018181/535094
72.09/67.70	c cleaning 30999 clauses out of 62014 with flag 1084788/567093
76.40/71.95	c cleaning 32002 clauses out of 64015 with flag 1153451/600093
80.53/75.97	c cleaning 32998 clauses out of 66013 with flag 1224513/634093
85.15/80.40	c cleaning 33995 clauses out of 68015 with flag 1298202/669093
90.08/85.28	c cleaning 35000 clauses out of 70020 with flag 1375509/705093
94.89/89.97	c cleaning 36003 clauses out of 72020 with flag 1452827/742093
100.42/95.32	c cleaning 36998 clauses out of 74019 with flag 1531776/780095
106.55/101.31	c cleaning 38004 clauses out of 76020 with flag 1612937/819094
112.97/107.62	c cleaning 38997 clauses out of 78015 with flag 1696164/859093
119.26/113.88	c cleaning 40002 clauses out of 80018 with flag 1784125/900093
125.49/119.98	c cleaning 41000 clauses out of 82016 with flag 1871519/942093
131.45/125.76	c cleaning 41998 clauses out of 84016 with flag 1961480/985093
137.43/131.65	c cleaning 43001 clauses out of 86018 with flag 2054067/1029093
144.01/138.11	c cleaning 43998 clauses out of 88019 with flag 2148710/1074095
150.80/144.88	c cleaning 44998 clauses out of 90019 with flag 2245195/1120093
157.97/151.91	c cleaning 45998 clauses out of 92021 with flag 2343934/1167093
165.15/158.81	c cleaning 47005 clauses out of 94024 with flag 2444566/1215094
171.89/165.40	c cleaning 48006 clauses out of 96018 with flag 2546759/1264093
178.82/172.36	c cleaning 48995 clauses out of 98013 with flag 2650816/1314094
186.14/179.49	c cleaning 49998 clauses out of 100018 with flag 2756619/1365094
194.31/187.42	c cleaning 51000 clauses out of 102019 with flag 2864499/1417093
202.60/195.61	c cleaning 52005 clauses out of 104021 with flag 2978336/1470095
210.07/203.08	c cleaning 52998 clauses out of 106014 with flag 3090947/1524093
218.30/211.17	c cleaning 53997 clauses out of 108017 with flag 3205363/1579094
226.05/218.80	c cleaning 55000 clauses out of 110020 with flag 3321731/1635094
234.75/227.39	c cleaning 55997 clauses out of 112020 with flag 3440752/1692094
242.98/235.45	c cleaning 57001 clauses out of 114022 with flag 3562779/1750093
251.53/243.75	c cleaning 58002 clauses out of 116021 with flag 3686794/1809093
260.61/252.25	c cleaning 59000 clauses out of 118021 with flag 3812894/1869095
268.77/260.38	c cleaning 59998 clauses out of 120019 with flag 3941784/1930093
278.12/269.37	c cleaning 60999 clauses out of 122021 with flag 4071827/1992093
287.66/278.80	c cleaning 61996 clauses out of 124023 with flag 4203372/2055094
296.97/287.82	c cleaning 63001 clauses out of 126026 with flag 4337170/2119093
306.25/296.92	c cleaning 64002 clauses out of 128026 with flag 4473023/2184094
315.75/306.35	c cleaning 65001 clauses out of 130024 with flag 4611363/2250094
325.08/315.53	c cleaning 65999 clauses out of 132023 with flag 4752300/2317094
334.37/324.65	c cleaning 66997 clauses out of 134023 with flag 4895244/2385093
344.01/334.21	c cleaning 68004 clauses out of 136027 with flag 5039780/2454094
354.50/344.27	c cleaning 68998 clauses out of 138022 with flag 5186284/2524093
364.45/354.19	c cleaning 70000 clauses out of 140024 with flag 5334868/2595093
375.39/364.94	c cleaning 71001 clauses out of 142024 with flag 5485468/2667093
385.87/375.27	c cleaning 72003 clauses out of 144023 with flag 5637598/2740093
396.86/386.01	c cleaning 72997 clauses out of 146020 with flag 5792045/2814093
407.66/396.63	c cleaning 74005 clauses out of 148023 with flag 5949932/2889093
419.35/408.02	c cleaning 75001 clauses out of 150018 with flag 6109336/2965093
431.93/420.42	c cleaning 76000 clauses out of 152017 with flag 6270252/3042093
444.79/432.82	c cleaning 76999 clauses out of 154018 with flag 6433612/3120094
457.51/445.48	c cleaning 77996 clauses out of 156019 with flag 6598446/3199094
471.11/458.01	c cleaning 79001 clauses out of 158024 with flag 6766275/3279095
484.76/471.40	c cleaning 79997 clauses out of 160021 with flag 6935643/3360093
498.10/484.88	c cleaning 81001 clauses out of 162024 with flag 7107067/3442093
511.46/497.70	c cleaning 82002 clauses out of 164024 with flag 7279127/3525094
524.30/510.47	c cleaning 82998 clauses out of 166022 with flag 7453165/3609094
537.69/523.76	c cleaning 84003 clauses out of 168023 with flag 7629813/3694093
551.11/536.73	c cleaning 85001 clauses out of 170021 with flag 7810137/3780094
564.05/549.50	c cleaning 85999 clauses out of 172019 with flag 7991721/3867093
577.67/563.01	c cleaning 87000 clauses out of 174021 with flag 8175459/3955094
592.95/578.18	c cleaning 87999 clauses out of 176021 with flag 8360703/4044094
608.42/593.33	c cleaning 89000 clauses out of 178022 with flag 8548445/4134094
623.44/608.32	c cleaning 89998 clauses out of 180022 with flag 8737912/4225094
638.95/623.71	c cleaning 91003 clauses out of 182023 with flag 8929476/4317093
654.30/639.09	c cleaning 91996 clauses out of 184021 with flag 9123315/4410094
670.42/654.86	c cleaning 93001 clauses out of 186024 with flag 9319180/4504093
685.73/669.86	c cleaning 94002 clauses out of 188024 with flag 9516540/4599094
701.50/685.32	c cleaning 95002 clauses out of 190023 with flag 9715286/4695095
717.49/701.02	c cleaning 95999 clauses out of 192019 with flag 9916948/4792093
733.40/716.59	c cleaning 96996 clauses out of 194021 with flag 10120991/4890094
750.88/733.28	c cleaning 97999 clauses out of 196024 with flag 10326504/4989093
767.54/749.53	c cleaning 99002 clauses out of 198026 with flag 10534457/5089094
782.94/764.49	c cleaning 99996 clauses out of 200023 with flag 10745040/5190093
801.20/781.58	c cleaning 101000 clauses out of 202028 with flag 10958337/5292094
818.62/798.73	c cleaning 102006 clauses out of 204029 with flag 11173397/5395095
836.78/815.73	c cleaning 102997 clauses out of 206022 with flag 11390430/5499094
855.99/834.59	c cleaning 104002 clauses out of 208024 with flag 11610021/5604093
875.59/853.89	c cleaning 105002 clauses out of 210022 with flag 11830379/5710093
894.96/872.24	c cleaning 106003 clauses out of 212021 with flag 12052692/5817094
913.08/889.91	c cleaning 106994 clauses out of 214018 with flag 12276823/5925094
931.31/907.17	c cleaning 108003 clauses out of 216023 with flag 12503231/6034093
952.09/927.48	c cleaning 109002 clauses out of 218021 with flag 12731984/6144094
970.46/945.67	c cleaning 110000 clauses out of 220019 with flag 12963558/6255094
989.76/963.63	c cleaning 110999 clauses out of 222018 with flag 13197757/6367093
1008.08/981.64	c cleaning 112000 clauses out of 224019 with flag 13433802/6480093
1028.35/1000.64	c cleaning 113000 clauses out of 226019 with flag 13670816/6594093
1046.74/1018.71	c cleaning 113999 clauses out of 228019 with flag 13910197/6709093
1066.72/1037.33	c cleaning 114999 clauses out of 230020 with flag 14152323/6825093
1085.62/1055.89	c cleaning 115999 clauses out of 232022 with flag 14395684/6942094
1104.55/1074.23	c cleaning 117001 clauses out of 234022 with flag 14641803/7060093
1123.85/1092.23	c cleaning 117998 clauses out of 236021 with flag 14889500/7179093
1142.81/1110.89	c cleaning 118999 clauses out of 238024 with flag 15139806/7299094
1162.35/1129.13	c cleaning 120000 clauses out of 240024 with flag 15391673/7420093
1183.28/1148.57	c cleaning 121000 clauses out of 242024 with flag 15645907/7542093
1205.59/1169.42	c cleaning 122006 clauses out of 244025 with flag 15902355/7665094
1227.60/1190.01	c cleaning 122994 clauses out of 246018 with flag 16161861/7789093
1250.95/1211.81	c cleaning 123998 clauses out of 248024 with flag 16422894/7914093
1274.19/1233.56	c cleaning 125002 clauses out of 250027 with flag 16686028/8040094
1301.10/1258.87	c cleaning 126001 clauses out of 252024 with flag 16950782/8167093
1323.67/1279.99	c cleaning 126996 clauses out of 254023 with flag 17217770/8295093
1346.42/1301.26	c cleaning 128000 clauses out of 256028 with flag 17487193/8424094
1370.64/1323.87	c cleaning 129005 clauses out of 258027 with flag 17758341/8554093
1396.58/1348.34	c cleaning 129999 clauses out of 260022 with flag 18030525/8685093
1421.03/1371.04	c cleaning 131001 clauses out of 262025 with flag 18305494/8817095
1446.74/1395.22	c cleaning 132001 clauses out of 264022 with flag 18582600/8950093
1470.56/1417.66	c cleaning 133001 clauses out of 266021 with flag 18862831/9084093
1494.62/1439.99	c cleaning 133995 clauses out of 268020 with flag 19144135/9219093
1520.32/1465.16	c cleaning 135001 clauses out of 270026 with flag 19426772/9355094
1545.28/1488.59	c cleaning 136003 clauses out of 272025 with flag 19711791/9492094
1573.12/1515.81	c cleaning 137002 clauses out of 274023 with flag 19998592/9630095
1601.83/1543.02	c cleaning 138000 clauses out of 276020 with flag 20287546/9769094
1628.22/1567.82	c cleaning 138997 clauses out of 278020 with flag 20579533/9909094
1657.41/1595.36	c cleaning 139999 clauses out of 280023 with flag 20872383/10050094
1687.15/1623.15	c cleaning 141004 clauses out of 282025 with flag 21167488/10192095
1719.56/1654.00	c cleaning 141999 clauses out of 284020 with flag 21465790/10335094
1749.04/1681.94	c cleaning 142993 clauses out of 286020 with flag 21765970/10479093
1781.68/1711.66	c cleaning 144002 clauses out of 288027 with flag 22068083/10624093
1811.17/1739.54	c cleaning 145001 clauses out of 290026 with flag 22371770/10770094
1841.72/1768.59	c cleaning 145999 clauses out of 292024 with flag 22678199/10917093
1870.66/1795.79	c cleaning 147001 clauses out of 294027 with flag 22987463/11065095
1899.83/1823.14	c cleaning 148001 clauses out of 296025 with flag 23299750/11214094
1927.70/1849.23	c cleaning 149000 clauses out of 298023 with flag 23613957/11364093
1956.04/1877.07	c cleaning 150001 clauses out of 300023 with flag 23929460/11515093
1985.16/1904.30	c cleaning 151001 clauses out of 302022 with flag 24245548/11667093
2014.78/1933.30	c cleaning 151997 clauses out of 304021 with flag 24564486/11820093
2046.65/1963.47	c cleaning 153004 clauses out of 306026 with flag 24885402/11974095
2076.06/1992.20	c cleaning 153999 clauses out of 308021 with flag 25208289/12129094
2108.28/2022.90	c cleaning 155000 clauses out of 310022 with flag 25534888/12285094
2137.58/2051.95	c cleaning 155996 clauses out of 312022 with flag 25865591/12442094
2169.22/2082.90	c cleaning 157004 clauses out of 314025 with flag 26194791/12600093
2200.04/2111.86	c cleaning 157995 clauses out of 316022 with flag 26527608/12759094
2234.06/2145.36	c cleaning 158994 clauses out of 318026 with flag 26861319/12919093
2266.56/2176.01	c cleaning 160007 clauses out of 320032 with flag 27198674/13080093
2299.27/2208.24	c cleaning 160997 clauses out of 322025 with flag 27537802/13242093
2335.59/2242.82	c cleaning 162002 clauses out of 324028 with flag 27877939/13405093
2369.99/2276.78	c cleaning 162999 clauses out of 326028 with flag 28220989/13569095
2404.51/2309.51	c cleaning 163998 clauses out of 328027 with flag 28566933/13734093
2443.69/2346.19	c cleaning 165007 clauses out of 330029 with flag 28918952/13900093
2484.32/2386.23	c cleaning 166003 clauses out of 332022 with flag 29268127/14067093
2522.12/2422.07	c cleaning 166999 clauses out of 334019 with flag 29619283/14235093
2562.53/2461.90	c cleaning 168004 clauses out of 336021 with flag 29970748/14404094
2599.51/2496.90	c cleaning 168998 clauses out of 338016 with flag 30324111/14574093
2640.23/2535.36	c cleaning 169998 clauses out of 340018 with flag 30680721/14745093
2679.99/2573.37	c cleaning 171000 clauses out of 342020 with flag 31040033/14917093
2722.71/2612.61	c cleaning 172000 clauses out of 344020 with flag 31401134/15090093
2763.27/2649.46	c cleaning 173001 clauses out of 346021 with flag 31763786/15264094
2803.53/2685.89	c cleaning 173999 clauses out of 348019 with flag 32128759/15439093
2842.56/2722.91	c cleaning 175000 clauses out of 350021 with flag 32496872/15615094
2885.56/2762.51	c cleaning 176004 clauses out of 352023 with flag 32866405/15792096
2921.76/2796.88	c cleaning 176993 clauses out of 354017 with flag 33237451/15970094
2965.51/2837.31	c cleaning 178001 clauses out of 356024 with flag 33609822/16149094
3006.28/2874.22	c cleaning 179001 clauses out of 358024 with flag 33985255/16329095
3044.22/2910.03	c cleaning 180003 clauses out of 360023 with flag 34363555/16510095
3087.02/2949.32	c cleaning 180998 clauses out of 362018 with flag 34742949/16692093
3128.75/2987.00	c cleaning 182005 clauses out of 364022 with flag 35123569/16875095
3174.79/3028.75	c cleaning 182999 clauses out of 366015 with flag 35507446/17059093
3218.36/3068.01	c cleaning 183995 clauses out of 368016 with flag 35892925/17244093
3259.38/3104.73	c cleaning 184999 clauses out of 370023 with flag 36281447/17430095
3300.86/3141.95	c cleaning 185995 clauses out of 372023 with flag 36670700/17617094
3343.13/3179.98	c cleaning 187001 clauses out of 374027 with flag 37062043/17805093
3384.31/3216.83	c cleaning 187999 clauses out of 376026 with flag 37455363/17994093
3425.26/3253.57	c cleaning 188996 clauses out of 378027 with flag 37849229/18184093
3466.37/3290.40	c cleaning 190004 clauses out of 380032 with flag 38245938/18375094
3507.56/3327.43	c cleaning 191002 clauses out of 382027 with flag 38644755/18567093
3549.31/3365.06	c cleaning 191999 clauses out of 384025 with flag 39045615/18760093
3588.92/3400.87	c cleaning 193001 clauses out of 386027 with flag 39449773/18954094
3600.06/3411.82	c starts		: 6
3600.06/3411.83	c conflicts		: 19034971
3600.06/3411.83	c decisions		: 25435914
3600.06/3411.83	c propagations		: 285476498
3600.06/3411.83	c inspects		: 16234815409
3600.06/3411.83	c shortcuts		: 0
3600.06/3411.83	c learnt literals	: 0
3600.06/3411.83	c learnt binary clauses	: 0
3600.06/3411.83	c learnt ternary clauses	: 0
3600.06/3411.83	c learnt constraints	: 19034971
3600.06/3411.83	c ignored constraints	: 0
3600.06/3411.83	c root simplifications	: 0
3600.06/3411.83	c removed literals (reason simplification)	: 196438
3600.06/3411.83	c reason swapping (by a shorter reason)	: 0
3600.06/3411.83	c Calls to reduceDB	: 196
3600.06/3411.83	c Number of update (reduction) of LBD	: 499717
3600.06/3411.83	c Imported unit clauses	: 0
3600.06/3411.83	c No decision after first conflict	: false
3600.06/3411.83	c number of reductions to clauses (during analyze)	: 0
3600.06/3411.83	c number of learned constraints concerned by reduction	: 0
3600.06/3411.83	c number of learning phase by resolution	: 0
3600.06/3411.83	c number of learning phase by cutting planes	: 0
3600.06/3411.83	c number of rounding to 1 operations	: 0
3600.06/3411.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3411.84	c number of reductions of the coefficients by power 2 	: 0
3600.06/3411.84	c number of right shift for reduction by power 2 	: 0
3600.06/3411.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3411.84	c number of ending skipping 	: 0
3600.06/3411.84	c number of internal skipping 	: 0
3600.06/3411.84	c number of derivation steps 	: 0
3600.06/3411.84	c number of skipped derivation steps 	: 0
3600.06/3411.84	c number of remaining unassigned 	: 0
3600.06/3411.84	c number of remaining assigned 	: 0
3600.06/3411.84	c number of falsified literals weakened from reason	: 0
3600.06/3411.84	c number of falsified literals weakened from conflict	: 0
3600.06/3411.84	c time for arithmetic operations	: 0
3600.06/3411.84	c minimum degree of deleted constraints	: null
3600.06/3411.84	c maximum degree of deleted constraints	: null
3600.06/3411.84	c number of deleted constraints	: 0
3600.06/3411.84	c speed (assignments/second)	: 83677.86674514372
3600.06/3411.84	c non guided choices	: 0
3600.26/3411.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 273903
3600.26/3411.91	s SATISFIABLE
3600.26/3411.91	c Found 5 solution(s)
3600.26/3411.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 -x329 -x330 -x331 -x332 -x333 x334 x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 -x391 -x392 x393 x394 x395 -x396 -x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 
3600.26/3411.91	c objective function=222
3600.26/3411.91	c Total wall clock time (in seconds): 3411.783

Verifier Data 

OK	222

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489377-1751344795/watcher-4489377-1751344795 -o /tmp/evaluation-result-4489377-1751344795/solver-4489377-1751344795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48347 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489377-1751344795 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489377-1751344795.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50216, runsolver pid=50213

[startup+0.10006 s]*
/proc/loadavg: 4.46 4.44 4.35 7/346 50234
/proc/meminfo: memFree=111281492/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=18930384 memory=55520 CPUtime=0.12 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 6533 0 0 0 10 2 0 0 20 0 18 0 50156971 19384713216 13880 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4732596 13880 5337 1 0 547603 0
[pid=50216/tid=50218] ppid=50213 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 5044 0 0 0 6 1 0 0 20 0 18 0 50156972 19384713216 13880 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50156974 19384713216 13880 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=18930384 memory=58485492697507 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50156975 19384713216 13880 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55520 KiB

[startup+0.205896 s]*
/proc/loadavg: 4.46 4.44 4.35 7/346 50234
/proc/meminfo: memFree=111210968/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=18930384 memory=64056 CPUtime=0.29 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 7026 0 0 0 27 2 0 0 20 0 18 0 50156971 19384713216 16014 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4732596 16014 5433 1 0 547927 0
[pid=50216/tid=50218] ppid=50213 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) S 50213 50216 48335 0 -1 4194368 5301 0 0 0 14 1 0 0 20 0 18 0 50156972 19384713216 16014 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=18930384 memory=2630 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50156974 19384713216 16014 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50156975 19384713216 16014 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64056 KiB

[startup+0.30583 s]*
/proc/loadavg: 4.46 4.44 4.35 7/347 50235
/proc/meminfo: memFree=111200760/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=18996948 memory=75740 CPUtime=0.48 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 8425 0 0 0 45 3 0 0 20 0 19 0 50156971 19452874752 18935 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4749237 18935 5465 1 0 548923 0
[pid=50216/tid=50218] ppid=50213 vsize=18996948 memory=-6000919494248655978 CPUtime=0.23 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 5438 0 0 0 22 1 0 0 20 0 19 0 50156972 19452874752 18935 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50156974 19452874752 18935 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50156975 19452874752 18935 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50156994 19452874752 18935 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75740 KiB

[startup+0.700237 s]
/proc/loadavg: 4.46 4.44 4.35 6/347 50235
/proc/meminfo: memFree=111146128/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=167408 CPUtime=1.25 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 12047 0 0 0 119 6 0 0 20 0 20 0 50156971 19521036288 41852 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 41852 5529 1 0 551391 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=14080 CPUtime=0.57 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 5497 0 0 0 53 4 0 0 20 0 20 0 50156972 19521036288 41852 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 41852 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 41852 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 41852 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167408 KiB

[startup+1.50024 s]
/proc/loadavg: 4.50 4.45 4.35 6/348 50236
/proc/meminfo: memFree=111086840/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=188048 CPUtime=2.83 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 15318 0 0 0 275 8 0 0 20 0 20 0 50156971 19521036288 47012 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 47012 5529 1 0 553247 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=10752 CPUtime=1.31 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 5540 0 0 0 126 5 0 0 20 0 20 0 50156972 19521036288 47012 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 47012 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 47012 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 47012 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188048 KiB

[startup+3.10578 s]
/proc/loadavg: 4.50 4.45 4.35 5/348 50236
/proc/meminfo: memFree=110192304/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=712044 CPUtime=5.41 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 16026 0 0 0 518 23 0 0 20 0 20 0 50156971 19521036288 178011 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 178011 5529 1 0 659787 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=10752 CPUtime=2.83 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 5779 0 0 0 265 18 0 0 20 0 20 0 50156972 19521036288 178011 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=-6000919494248655978 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 178011 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 178011 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 178011 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 712044 KiB

[startup+6.30022 s]
/proc/loadavg: 4.46 4.44 4.35 5/348 50236
/proc/meminfo: memFree=108967700/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=1720852 CPUtime=8.94 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 17165 0 0 0 846 48 0 0 20 0 20 0 50156971 19521036288 430213 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 430213 5529 1 0 881215 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=0 CPUtime=5.88 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 6261 0 0 0 548 40 0 0 20 0 20 0 50156972 19521036288 430213 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 430213 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 430213 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=190292 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 430213 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1720852 KiB

[startup+12.7002 s]
/proc/loadavg: 4.42 4.44 4.35 5/348 50236
/proc/meminfo: memFree=107829616/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=1848064 CPUtime=15.57 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 23332 0 0 0 1497 60 0 0 20 0 20 0 50156971 19521036288 462016 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 462016 5529 1 0 881234 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=190292 CPUtime=12.15 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 7827 0 0 0 1166 49 0 0 20 0 20 0 50156972 19521036288 462016 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 462016 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=1848064 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 462016 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 462016 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 15.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1848064 KiB

[startup+25.5002 s]
/proc/loadavg: 4.43 4.44 4.35 5/348 50237
/proc/meminfo: memFree=105441836/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3205672 CPUtime=28.81 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 26155 0 0 0 2775 106 0 0 20 0 20 0 50156971 19521036288 801418 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 801418 5529 1 0 1069240 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=10752 CPUtime=24.5 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 9506 0 0 0 2360 90 0 0 20 0 20 0 50156972 19521036288 801418 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=1848064 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 801418 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 801418 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 801418 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 28.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3205672 KiB

[startup+51.1058 s]
/proc/loadavg: 4.31 4.41 4.34 5/347 50238
/proc/meminfo: memFree=103383092/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3328904 CPUtime=54.97 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 31046 0 0 0 5353 144 0 0 20 0 20 0 50156971 19521036288 832226 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 832226 5561 1 0 1069241 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=14848 CPUtime=49.35 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 12149 0 0 0 4812 123 0 0 20 0 20 0 50156972 19521036288 832226 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0

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

Current children cumulated memory: 3975148 KiB

[startup+3102.3 s]
/proc/loadavg: 4.36 4.42 4.39 5/348 50413
/proc/meminfo: memFree=1001876/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3975148 CPUtime=3256.98 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 248423 0 0 0 322763 2935 0 0 20 0 20 0 50156971 19521036288 993787 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 993787 5561 1 0 1006484 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=3973356 CPUtime=3014.77 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 128037 0 0 0 298726 2751 0 0 20 0 20 0 50156972 19521036288 993787 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=3975148 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 993787 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3975148 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1562 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 993787 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=14208 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 993787 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3256.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3975148 KiB

[startup+3162.3 s]
/proc/loadavg: 4.62 4.49 4.41 6/348 50415
/proc/meminfo: memFree=1141172/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3323.2 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 250660 0 0 0 329330 2990 0 0 20 0 20 0 50156971 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 994075 5561 1 0 1006793 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=3975148 CPUtime=3073.02 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 130086 0 0 0 304500 2802 0 0 20 0 20 0 50156972 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=3975148 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1562 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3323.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3976300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.42 4.46 4.40 5/348 50418
/proc/meminfo: memFree=1193508/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3389.85 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 256930 0 0 0 335941 3044 0 0 20 0 20 0 50156971 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 994075 5561 1 0 1006793 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3131.42 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 134245 0 0 0 310292 2850 0 0 20 0 20 0 50156972 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=14208 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1645 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3389.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3976300 KiB

[startup+3282.3 s]
/proc/loadavg: 3.84 4.32 4.36 4/297 50487
/proc/meminfo: memFree=67083548/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3457.21 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 262346 0 0 0 342619 3102 0 0 20 0 20 0 50156971 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 994075 5561 1 0 1006793 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3189.33 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 137710 0 0 0 316029 2904 0 0 20 0 20 0 50156972 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1725 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3457.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3976300 KiB

[startup+3342.3 s]
/proc/loadavg: 2.91 3.95 4.23 3/297 50490
/proc/meminfo: memFree=66382016/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3524.18 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 263182 0 0 0 349265 3153 0 0 20 0 20 0 50156971 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 994075 5561 1 0 1006793 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3247.8 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 138372 0 0 0 321829 2951 0 0 20 0 20 0 50156972 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1725 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 994075 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3524.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3976300 KiB

[startup+3402.3 s]
/proc/loadavg: 2.13 3.55 4.07 2/271 50526
/proc/meminfo: memFree=96190928/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=4468276 CPUtime=3590.4 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 270551 0 0 0 355826 3214 0 0 20 0 20 0 50156971 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 1117069 5561 1 0 1129985 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=3976300 CPUtime=3305.42 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 142847 0 0 0 327536 3006 0 0 20 0 20 0 50156972 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=3976300 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=14208 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1725 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4468276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3411.8 s]
/proc/loadavg: 2.04 3.50 4.05 2/271 50527
/proc/meminfo: memFree=96069968/131249996 swapFree=33006296/33010684
[pid=50216] ppid=50213 vsize=19063512 memory=4468276 CPUtime=3600.06 cores=1,3
/proc/50216/stat : 50216 (java) S 50213 50216 48335 0 -1 4194304 270797 0 0 0 356783 3223 0 0 20 0 20 0 50156971 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
/proc/50216/statm: 4765878 1117069 5561 1 0 1129985 0
[pid=50216/tid=50218] ppid=50213 vsize=19063512 memory=4764 CPUtime=3314.66 cores=1,3
/proc/50216/task/50218/stat : 50218 (java) R 50213 50216 48335 0 -1 4194368 142972 0 0 0 328451 3015 0 0 20 0 20 0 50156972 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50227] ppid=50213 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/50216/task/50227/stat : 50227 (Finalizer) S 50213 50216 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50156974 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50234] ppid=50213 vsize=19063512 memory=-6000919494248655978 CPUtime=0 cores=1,3
/proc/50216/task/50234/stat : 50234 (Common-Cleaner) S 50213 50216 48335 0 -1 4194368 1725 0 0 0 0 0 0 0 20 0 20 0 50156975 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
[pid=50216/tid=50235] ppid=50213 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/50216/task/50235/stat : 50235 (Timer-0) S 50213 50216 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50156994 19521036288 1117069 18446744073709551615 94244849336320 94244849340016 140721938276320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94244849347832 94244849348624 94244859908096 140721938282800 140721938282982 140721938282982 140721938288584 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4468276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3568.07 s, system=32.2958 s

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

[startup+3412 s]*
/proc/loadavg: 1.95 3.46 4.04 2/253 50530
/proc/meminfo: memFree=100509696/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3412.11 s]
/proc/loadavg: 1.95 3.46 4.04 2/253 50530
/proc/meminfo: memFree=100509696/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3412.14
CPU time (s): 3600.36
CPU user time (s): 3568.07
CPU system time (s): 32.2958
CPU usage (%): 105.516
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5406916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.07
system time used= 32.2958
maximum resident set size= 5406916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272654
page faults= 0
swaps= 0
block input operations= 40
block output operations= 65865552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136268
involuntary context switches= 23374


# summary of solver processes directly reported to runsolver:
#   pid: 50216
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3568.07
#   total CPU system time (s): 32.2958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1901 second user time and 16.3439 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 06:39:55
IDJOB=4489377
IDBENCH=147546
IDSOLVER=3364
FILE ID=nodeC015/4489377-1751344795
RUNJOBID= nodeC015-1751337414-48347
SLURM_JOB_ID= 9594390
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489377-1751344795/watcher-4489377-1751344795 -o /tmp/evaluation-result-4489377-1751344795/solver-4489377-1751344795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48347 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489377-1751344795 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489377-1751344795.opb

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

MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=775875248

nodeC015 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		: 3600.082
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.399
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	: 7000.14
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		: 3626.640
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.084
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	: 7000.14
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		: 3600.079
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.073
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	: 7000.14
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		: 3601.733
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.960
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111304452 kB
MemAvailable:   117319288 kB
Buffers:            1508 kB
Cached:          6800488 kB
SwapCached:         3876 kB
Active:         12589332 kB
Inactive:        6603608 kB
Active(anon):   12356080 kB
Inactive(anon):    49096 kB
Active(file):     233252 kB
Inactive(file):  6554512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           2736068 kB
Writeback:             0 kB
AnonPages:      12390216 kB
Mapped:           119388 kB
Shmem:             14144 kB
KReclaimable:     132620 kB
Slab:             308520 kB
SReclaimable:     132620 kB
SUnreclaim:       175900 kB
KernelStack:        5344 kB
PageTables:        27888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14494440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12134400 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:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC015 at 2025-07-01 07:36:47