Trace number 4489376

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)221 3600.28 3565.25

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4489376-1751341099.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
0.11/0.19	c ... done. Wall clock time 0.048s.
0.11/0.19	c declared #vars     470
0.11/0.19	c #constraints  469
0.11/0.19	c constraints type 
0.11/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 469
0.11/0.19	c 469 constraints processed.
0.31/0.21	c objective function length is 470 literals
0.31/0.22	c SATISFIABLE
0.31/0.22	c OPTIMIZING...
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.084
0.31/0.22	o 226
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.118
0.31/0.26	o 225
0.31/0.30	c Got one! Elapsed wall clock time (in seconds):0.16
0.31/0.30	o 224
1.45/0.82	c cleaning 2626 clauses out of 5269 with flag 10703/5269
1.65/0.96	c Got one! Elapsed wall clock time (in seconds):0.823
1.65/0.96	o 223
2.00/1.11	c cleaning 4024 clauses out of 8064 with flag 6548/10690
2.28/1.38	c cleaning 5013 clauses out of 10040 with flag 19257/16690
2.76/1.76	c cleaning 6006 clauses out of 12027 with flag 33792/23690
3.28/2.13	c cleaning 7003 clauses out of 14021 with flag 50404/31690
3.67/2.54	c cleaning 8001 clauses out of 16019 with flag 69292/40691
4.17/2.96	c Got one! Elapsed wall clock time (in seconds):2.822
4.17/2.96	o 222
4.58/3.30	c cleaning 10700 clauses out of 21421 with flag 11020/54094
4.88/3.63	c cleaning 8350 clauses out of 16720 with flag 24166/60093
5.18/3.98	c cleaning 7678 clauses out of 15370 with flag 39593/67093
5.84/4.45	c cleaning 7839 clauses out of 15692 with flag 56502/75093
6.24/4.83	c cleaning 8419 clauses out of 16853 with flag 75163/84093
6.74/5.32	c cleaning 9210 clauses out of 18434 with flag 96420/94093
7.27/5.82	c cleaning 10106 clauses out of 20226 with flag 119269/105095
7.77/6.37	c cleaning 11050 clauses out of 22118 with flag 144202/117093
8.54/7.07	c cleaning 12025 clauses out of 24070 with flag 171188/130095
9.36/7.85	c cleaning 13015 clauses out of 26045 with flag 201197/144095
10.23/8.66	c cleaning 14007 clauses out of 28028 with flag 232455/159093
11.02/9.44	c cleaning 15003 clauses out of 30021 with flag 265608/175093
11.96/10.31	c cleaning 15997 clauses out of 32018 with flag 301003/192093
12.77/11.19	c cleaning 17003 clauses out of 34021 with flag 338529/210093
13.80/12.15	c cleaning 18000 clauses out of 36018 with flag 378236/229093
14.95/13.28	c cleaning 19001 clauses out of 38019 with flag 420751/249094
16.04/14.38	c cleaning 19998 clauses out of 40018 with flag 464545/270094
17.17/15.48	c cleaning 21000 clauses out of 42019 with flag 510533/292093
18.52/16.75	c cleaning 22001 clauses out of 44021 with flag 558440/315095
19.92/18.19	c cleaning 22994 clauses out of 46018 with flag 608466/339093
21.64/19.81	c cleaning 24001 clauses out of 48024 with flag 660649/364093
23.30/21.40	c cleaning 25003 clauses out of 50023 with flag 714914/390093
25.10/23.29	c cleaning 26001 clauses out of 52020 with flag 770988/417093
27.58/25.67	c cleaning 27002 clauses out of 54019 with flag 830469/445093
29.85/27.88	c cleaning 28001 clauses out of 56017 with flag 890857/474093
32.22/30.17	c cleaning 29001 clauses out of 58016 with flag 953568/504093
34.68/32.53	c cleaning 30001 clauses out of 60016 with flag 1018181/535094
37.36/35.12	c cleaning 30999 clauses out of 62014 with flag 1084788/567093
39.55/37.32	c cleaning 32002 clauses out of 64015 with flag 1153451/600093
41.74/39.40	c cleaning 32998 clauses out of 66013 with flag 1224513/634093
43.93/41.66	c cleaning 33995 clauses out of 68015 with flag 1298202/669093
46.68/44.38	c cleaning 35000 clauses out of 70020 with flag 1375509/705093
49.18/46.83	c cleaning 36003 clauses out of 72020 with flag 1452827/742093
52.18/49.83	c cleaning 36998 clauses out of 74019 with flag 1531776/780095
55.90/53.45	c cleaning 38004 clauses out of 76020 with flag 1612937/819094
59.49/57.09	c cleaning 38997 clauses out of 78015 with flag 1696164/859093
63.89/60.99	c cleaning 40002 clauses out of 80018 with flag 1784125/900093
67.39/64.43	c cleaning 41000 clauses out of 82016 with flag 1871519/942093
70.69/67.66	c cleaning 41998 clauses out of 84016 with flag 1961480/985093
73.98/70.91	c cleaning 43001 clauses out of 86018 with flag 2054067/1029093
77.75/74.69	c cleaning 43998 clauses out of 88019 with flag 2148710/1074095
81.64/78.56	c cleaning 44998 clauses out of 90019 with flag 2245195/1120093
85.92/82.78	c cleaning 45998 clauses out of 92021 with flag 2343934/1167093
89.71/86.59	c cleaning 47005 clauses out of 94024 with flag 2444566/1215094
93.49/90.24	c cleaning 48006 clauses out of 96018 with flag 2546759/1264093
97.40/94.18	c cleaning 48995 clauses out of 98013 with flag 2650816/1314094
101.60/98.22	c cleaning 49998 clauses out of 100018 with flag 2756619/1365094
105.98/102.65	c cleaning 51000 clauses out of 102019 with flag 2864499/1417093
111.13/107.63	c cleaning 52005 clauses out of 104021 with flag 2978336/1470095
115.33/111.86	c cleaning 52998 clauses out of 106014 with flag 3090947/1524093
120.26/116.60	c cleaning 53997 clauses out of 108017 with flag 3205363/1579094
124.35/120.78	c cleaning 55000 clauses out of 110020 with flag 3321731/1635094
129.62/125.97	c cleaning 55997 clauses out of 112020 with flag 3440752/1692094
135.18/130.80	c cleaning 57001 clauses out of 114022 with flag 3562779/1750093
139.66/135.36	c cleaning 58002 clauses out of 116021 with flag 3686794/1809093
144.53/140.19	c cleaning 59000 clauses out of 118021 with flag 3812894/1869095
149.12/144.76	c cleaning 59998 clauses out of 120019 with flag 3941784/1930093
154.10/149.73	c cleaning 60999 clauses out of 122021 with flag 4071827/1992093
159.98/155.45	c cleaning 61996 clauses out of 124023 with flag 4203372/2055094
164.97/160.41	c cleaning 63001 clauses out of 126026 with flag 4337170/2119093
170.46/165.74	c cleaning 64002 clauses out of 128026 with flag 4473023/2184094
176.05/171.30	c cleaning 65001 clauses out of 130024 with flag 4611363/2250094
181.61/176.71	c cleaning 65999 clauses out of 132023 with flag 4752300/2317094
186.49/181.68	c cleaning 66997 clauses out of 134023 with flag 4895244/2385093
192.20/187.30	c cleaning 68004 clauses out of 136027 with flag 5039780/2454094
197.78/192.86	c cleaning 68998 clauses out of 138022 with flag 5186284/2524093
203.87/198.78	c cleaning 70000 clauses out of 140024 with flag 5334868/2595093
210.16/205.03	c cleaning 71001 clauses out of 142024 with flag 5485468/2667093
216.10/210.98	c cleaning 72003 clauses out of 144023 with flag 5637598/2740093
223.31/217.46	c cleaning 72997 clauses out of 146020 with flag 5792045/2814093
229.39/223.52	c cleaning 74005 clauses out of 148023 with flag 5949932/2889093
236.13/230.15	c cleaning 75001 clauses out of 150018 with flag 6109336/2965093
243.75/237.66	c cleaning 76000 clauses out of 152017 with flag 6270252/3042093
251.20/244.97	c cleaning 76999 clauses out of 154018 with flag 6433612/3120094
259.10/252.71	c cleaning 77996 clauses out of 156019 with flag 6598446/3199094
266.68/260.11	c cleaning 79001 clauses out of 158024 with flag 6766275/3279095
275.24/268.51	c cleaning 79997 clauses out of 160021 with flag 6935643/3360093
283.72/276.86	c cleaning 81001 clauses out of 162024 with flag 7107067/3442093
291.45/284.38	c cleaning 82002 clauses out of 164024 with flag 7279127/3525094
300.13/292.16	c cleaning 82998 clauses out of 166022 with flag 7453165/3609094
308.34/300.22	c cleaning 84003 clauses out of 168023 with flag 7629813/3694093
315.82/307.77	c cleaning 85001 clauses out of 170021 with flag 7810137/3780094
323.51/315.30	c cleaning 85999 clauses out of 172019 with flag 7991721/3867093
331.49/323.30	c cleaning 87000 clauses out of 174021 with flag 8175459/3955094
340.83/332.57	c cleaning 87999 clauses out of 176021 with flag 8360703/4044094
349.91/341.64	c cleaning 89000 clauses out of 178022 with flag 8548445/4134094
359.01/350.53	c cleaning 89998 clauses out of 180022 with flag 8737912/4225094
368.78/360.13	c cleaning 91003 clauses out of 182023 with flag 8929476/4317093
378.25/369.48	c cleaning 91996 clauses out of 184021 with flag 9123315/4410094
388.13/379.11	c cleaning 93001 clauses out of 186024 with flag 9319180/4504093
397.19/388.04	c cleaning 94002 clauses out of 188024 with flag 9516540/4599094
407.61/397.62	c cleaning 95002 clauses out of 190023 with flag 9715286/4695095
417.15/407.15	c cleaning 95999 clauses out of 192019 with flag 9916948/4792093
426.82/416.58	c cleaning 96996 clauses out of 194021 with flag 10120991/4890094
436.96/426.53	c cleaning 97999 clauses out of 196024 with flag 10326504/4989093
446.93/436.37	c cleaning 99002 clauses out of 198026 with flag 10534457/5089094
455.85/445.03	c cleaning 99996 clauses out of 200023 with flag 10745040/5190093
466.37/455.40	c cleaning 101000 clauses out of 202028 with flag 10958337/5292094
476.81/465.74	c cleaning 102006 clauses out of 204029 with flag 11173397/5395095
487.21/476.01	c cleaning 102997 clauses out of 206022 with flag 11390430/5499094
499.04/487.81	c cleaning 104002 clauses out of 208024 with flag 11610021/5604093
511.49/500.27	c cleaning 105002 clauses out of 210022 with flag 11830379/5710093
522.97/511.52	c cleaning 106003 clauses out of 212021 with flag 12052692/5817094
535.22/522.62	c cleaning 106994 clauses out of 214018 with flag 12276823/5925094
545.49/532.84	c cleaning 108003 clauses out of 216023 with flag 12503231/6034093
558.98/546.18	c cleaning 109002 clauses out of 218021 with flag 12731984/6144094
570.15/557.17	c cleaning 110000 clauses out of 220019 with flag 12963558/6255094
581.11/567.98	c cleaning 110999 clauses out of 222018 with flag 13197757/6367093
591.99/578.79	c cleaning 112000 clauses out of 224019 with flag 13433802/6480093
604.00/590.49	c cleaning 113000 clauses out of 226019 with flag 13670816/6594093
615.01/601.39	c cleaning 113999 clauses out of 228019 with flag 13910197/6709093
626.31/612.50	c cleaning 114999 clauses out of 230020 with flag 14152323/6825093
637.41/623.60	c cleaning 115999 clauses out of 232022 with flag 14395684/6942094
648.46/634.58	c cleaning 117001 clauses out of 234022 with flag 14641803/7060093
659.04/645.00	c cleaning 117998 clauses out of 236021 with flag 14889500/7179093
670.27/656.23	c cleaning 118999 clauses out of 238024 with flag 15139806/7299094
681.08/666.99	c cleaning 120000 clauses out of 240024 with flag 15391673/7420093
692.96/678.60	c cleaning 121000 clauses out of 242024 with flag 15645907/7542093
706.02/691.56	c cleaning 122006 clauses out of 244025 with flag 15902355/7665094
719.93/704.21	c cleaning 122994 clauses out of 246018 with flag 16161861/7789093
733.58/717.73	c cleaning 123998 clauses out of 248024 with flag 16422894/7914093
746.98/731.06	c cleaning 125002 clauses out of 250027 with flag 16686028/8040094
763.99/747.74	c cleaning 126001 clauses out of 252024 with flag 16950782/8167093
776.96/760.58	c cleaning 126996 clauses out of 254023 with flag 17217770/8295093
790.43/773.72	c cleaning 128000 clauses out of 256028 with flag 17487193/8424094
804.54/787.78	c cleaning 129005 clauses out of 258027 with flag 17758341/8554093
820.71/803.62	c cleaning 129999 clauses out of 260022 with flag 18030525/8685093
834.97/817.79	c cleaning 131001 clauses out of 262025 with flag 18305494/8817095
850.43/833.14	c cleaning 132001 clauses out of 264022 with flag 18582600/8950093
864.96/847.32	c cleaning 133001 clauses out of 266021 with flag 18862831/9084093
878.89/861.11	c cleaning 133995 clauses out of 268020 with flag 19144135/9219093
895.78/877.77	c cleaning 135001 clauses out of 270026 with flag 19426772/9355094
911.97/892.54	c cleaning 136003 clauses out of 272025 with flag 19711791/9492094
930.74/910.93	c cleaning 137002 clauses out of 274023 with flag 19998592/9630095
948.82/928.88	c cleaning 138000 clauses out of 276020 with flag 20287546/9769094
964.31/944.24	c cleaning 138997 clauses out of 278020 with flag 20579533/9909094
982.57/962.29	c cleaning 139999 clauses out of 280023 with flag 20872383/10050094
1000.52/980.07	c cleaning 141004 clauses out of 282025 with flag 21167488/10192095
1021.62/1000.89	c cleaning 141999 clauses out of 284020 with flag 21465790/10335094
1039.96/1019.02	c cleaning 142993 clauses out of 286020 with flag 21765970/10479093
1059.10/1038.16	c cleaning 144002 clauses out of 288027 with flag 22068083/10624093
1076.77/1055.86	c cleaning 145001 clauses out of 290026 with flag 22371770/10770094
1095.69/1074.75	c cleaning 145999 clauses out of 292024 with flag 22678199/10917093
1112.55/1091.54	c cleaning 147001 clauses out of 294027 with flag 22987463/11065095
1129.86/1108.76	c cleaning 148001 clauses out of 296025 with flag 23299750/11214094
1146.22/1124.94	c cleaning 149000 clauses out of 298023 with flag 23613957/11364093
1164.31/1142.92	c cleaning 150001 clauses out of 300023 with flag 23929460/11515093
1181.78/1160.12	c cleaning 151001 clauses out of 302022 with flag 24245548/11667093
1200.82/1179.13	c cleaning 151997 clauses out of 304021 with flag 24564486/11820093
1220.54/1198.84	c cleaning 153004 clauses out of 306026 with flag 24885402/11974095
1239.32/1217.55	c cleaning 153999 clauses out of 308021 with flag 25208289/12129094
1259.17/1237.23	c cleaning 155000 clauses out of 310022 with flag 25534888/12285094
1278.07/1255.96	c cleaning 155996 clauses out of 312022 with flag 25865591/12442094
1299.05/1276.42	c cleaning 157004 clauses out of 314025 with flag 26194791/12600093
1317.51/1294.72	c cleaning 157995 clauses out of 316022 with flag 26527608/12759094
1340.79/1317.76	c cleaning 158994 clauses out of 318026 with flag 26861319/12919093
1362.40/1337.83	c cleaning 160007 clauses out of 320032 with flag 27198674/13080093
1384.18/1359.50	c cleaning 160997 clauses out of 322025 with flag 27537802/13242093
1408.04/1383.09	c cleaning 162002 clauses out of 324028 with flag 27877939/13405093
1431.18/1405.90	c cleaning 162999 clauses out of 326028 with flag 28220989/13569095
1452.78/1427.33	c cleaning 163998 clauses out of 328027 with flag 28566933/13734093
1477.21/1451.60	c cleaning 165007 clauses out of 330029 with flag 28918952/13900093
1505.32/1479.62	c cleaning 166003 clauses out of 332022 with flag 29268127/14067093
1529.89/1503.82	c cleaning 166999 clauses out of 334019 with flag 29619283/14235093
1557.98/1531.74	c cleaning 168004 clauses out of 336021 with flag 29970748/14404094
1581.53/1555.14	c cleaning 168998 clauses out of 338016 with flag 30324111/14574093
1607.63/1581.13	c cleaning 169998 clauses out of 340018 with flag 30680721/14745093
1633.56/1606.70	c cleaning 171000 clauses out of 342020 with flag 31040033/14917093
1660.67/1633.61	c cleaning 172000 clauses out of 344020 with flag 31401134/15090093
1684.73/1657.51	c cleaning 173001 clauses out of 346021 with flag 31763786/15264094
1708.10/1680.81	c cleaning 173999 clauses out of 348019 with flag 32128759/15439093
1733.71/1706.16	c cleaning 175000 clauses out of 350021 with flag 32496872/15615094
1760.01/1732.21	c cleaning 176004 clauses out of 352023 with flag 32866405/15792096
1782.42/1754.59	c cleaning 176993 clauses out of 354017 with flag 33237451/15970094
1809.77/1781.55	c cleaning 178001 clauses out of 356024 with flag 33609822/16149094
1834.29/1805.80	c cleaning 179001 clauses out of 358024 with flag 33985255/16329095
1857.65/1829.10	c cleaning 180003 clauses out of 360023 with flag 34363555/16510095
1883.99/1855.33	c cleaning 180998 clauses out of 362018 with flag 34742949/16692093
1909.12/1880.18	c cleaning 182005 clauses out of 364022 with flag 35123569/16875095
1937.00/1907.87	c cleaning 182999 clauses out of 366015 with flag 35507446/17059093
1962.36/1933.09	c cleaning 183995 clauses out of 368016 with flag 35892925/17244093
1986.40/1956.74	c cleaning 184999 clauses out of 370023 with flag 36281447/17430095
2013.13/1981.60	c cleaning 185995 clauses out of 372023 with flag 36670700/17617094
2038.43/2006.71	c cleaning 187001 clauses out of 374027 with flag 37062043/17805093
2062.39/2030.52	c cleaning 187999 clauses out of 376026 with flag 37455363/17994093
2086.93/2054.98	c cleaning 188996 clauses out of 378027 with flag 37849229/18184093
2112.90/2080.75	c cleaning 190004 clauses out of 380032 with flag 38245938/18375094
2139.01/2106.73	c cleaning 191002 clauses out of 382027 with flag 38644755/18567093
2165.79/2133.31	c cleaning 191999 clauses out of 384025 with flag 39045615/18760093
2189.82/2157.21	c cleaning 193001 clauses out of 386027 with flag 39449773/18954094
2215.73/2183.02	c cleaning 193999 clauses out of 388025 with flag 39856186/19149093
2241.20/2208.47	c cleaning 195001 clauses out of 390027 with flag 40264308/19345094
2264.30/2231.55	c cleaning 196001 clauses out of 392026 with flag 40674271/19542094
2292.49/2259.71	c cleaning 197000 clauses out of 394025 with flag 41087404/19740094
2320.77/2287.58	c cleaning 198003 clauses out of 396025 with flag 41501495/19939094
2349.10/2315.84	c cleaning 198998 clauses out of 398021 with flag 41918028/20139093
2377.60/2344.32	c cleaning 199997 clauses out of 400023 with flag 42336874/20340093
2402.46/2369.23	c cleaning 201003 clauses out of 402027 with flag 42757086/20542094
2427.77/2394.57	c cleaning 202002 clauses out of 404024 with flag 43179842/20745094
2456.72/2423.41	c cleaning 203002 clauses out of 406021 with flag 43603270/20949093
2482.27/2448.76	c cleaning 204001 clauses out of 408019 with flag 44029249/21154093
2508.80/2475.25	c cleaning 204998 clauses out of 410019 with flag 44457422/21360094
2539.52/2505.99	c cleaning 206002 clauses out of 412021 with flag 44887403/21567094
2566.28/2532.61	c cleaning 206998 clauses out of 414018 with flag 45319493/21775093
2595.49/2561.78	c cleaning 207998 clauses out of 416020 with flag 45752931/21984093
2625.98/2592.13	c cleaning 209001 clauses out of 418022 with flag 46188483/22194093
2653.52/2619.59	c cleaning 209996 clauses out of 420021 with flag 46628009/22405093
2685.00/2651.00	c cleaning 211000 clauses out of 422026 with flag 47068240/22617094
2717.34/2683.33	c cleaning 212003 clauses out of 424027 with flag 47512008/22830095
2750.48/2716.50	c cleaning 212999 clauses out of 426023 with flag 47957245/23044094
2790.39/2756.42	c cleaning 213999 clauses out of 428024 with flag 48404700/23259094
2824.30/2790.43	c cleaning 214999 clauses out of 430024 with flag 48853602/23475093
2861.00/2827.20	c cleaning 216003 clauses out of 432028 with flag 49304008/23692096
2891.42/2857.72	c cleaning 217004 clauses out of 434022 with flag 49757197/23910093
2924.13/2890.50	c cleaning 217995 clauses out of 436019 with flag 50212556/24129094
2955.24/2921.75	c cleaning 218999 clauses out of 438024 with flag 50671173/24349094
2987.56/2954.17	c cleaning 220001 clauses out of 440025 with flag 51130848/24570094
3009.00/2975.65	c Got one! Elapsed wall clock time (in seconds):2975.514
3009.00/2975.65	o 221
3020.97/2987.66	c cleaning 210474 clauses out of 420961 with flag 10549/24771031
3026.56/2993.20	c cleaning 108236 clauses out of 216487 with flag 23042/24777031
3028.05/2994.74	c cleaning 57618 clauses out of 115250 with flag 37493/24784030
3028.75/2995.41	c cleaning 32807 clauses out of 65632 with flag 54132/24792030
3029.15/2995.81	c cleaning 20903 clauses out of 41825 with flag 72826/24801030
3029.55/2996.20	c cleaning 15452 clauses out of 30922 with flag 93471/24811030
3029.85/2996.58	c cleaning 13227 clauses out of 26470 with flag 116375/24822030
3030.35/2997.02	c cleaning 12611 clauses out of 25243 with flag 141388/24834030
3030.84/2997.50	c cleaning 12803 clauses out of 25633 with flag 168378/24847031
3031.24/2997.98	c cleaning 13407 clauses out of 26829 with flag 197445/24861030
3031.84/2998.52	c cleaning 14203 clauses out of 28422 with flag 228578/24876030
3032.54/2999.25	c cleaning 15099 clauses out of 30219 with flag 262819/24892030
3033.24/2999.98	c cleaning 16052 clauses out of 32121 with flag 298179/24909031
3034.03/3000.78	c cleaning 17028 clauses out of 34068 with flag 335412/24927030
3034.93/3001.62	c cleaning 18011 clauses out of 36041 with flag 374917/24946031
3035.83/3002.53	c cleaning 19003 clauses out of 38030 with flag 416451/24966031
3036.73/3003.46	c cleaning 20000 clauses out of 40026 with flag 460077/24987030
3037.72/3004.46	c cleaning 21005 clauses out of 42027 with flag 505817/25009031
3038.73/3005.49	c cleaning 22000 clauses out of 44021 with flag 553473/25032030
3039.93/3006.68	c cleaning 22996 clauses out of 46021 with flag 603395/25056030
3041.43/3008.10	c cleaning 24001 clauses out of 48026 with flag 655532/25081031
3042.52/3009.29	c cleaning 25000 clauses out of 50025 with flag 709695/25107031
3044.02/3010.73	c cleaning 26004 clauses out of 52025 with flag 767286/25134031
3045.51/3012.23	c cleaning 27000 clauses out of 54021 with flag 825574/25162031
3047.01/3013.79	c cleaning 28001 clauses out of 56020 with flag 886177/25191030
3048.90/3015.61	c cleaning 28997 clauses out of 58019 with flag 949496/25221030
3050.70/3017.43	c cleaning 29998 clauses out of 60023 with flag 1014976/25252031
3053.02/3019.69	c cleaning 31001 clauses out of 62024 with flag 1081887/25284030
3055.02/3021.65	c cleaning 31997 clauses out of 64023 with flag 1150420/25317030
3057.11/3023.73	c cleaning 32998 clauses out of 66027 with flag 1221123/25351031
3059.31/3025.93	c cleaning 34004 clauses out of 68029 with flag 1294207/25386031
3061.30/3027.95	c cleaning 35001 clauses out of 70024 with flag 1369066/25422030
3063.50/3030.12	c cleaning 36005 clauses out of 72024 with flag 1446219/25459031
3065.79/3032.41	c cleaning 36999 clauses out of 74018 with flag 1525629/25497030
3068.19/3034.87	c cleaning 37996 clauses out of 76019 with flag 1606901/25536030
3070.88/3037.52	c cleaning 39001 clauses out of 78023 with flag 1690458/25576030
3074.10/3040.31	c cleaning 40000 clauses out of 80022 with flag 1775889/25617030
3076.70/3043.00	c cleaning 40996 clauses out of 82023 with flag 1863079/25659031
3079.49/3045.76	c cleaning 42006 clauses out of 84027 with flag 1952445/25702031
3081.98/3048.22	c cleaning 42998 clauses out of 86020 with flag 2044201/25746030
3084.38/3050.63	c cleaning 43998 clauses out of 88022 with flag 2137914/25791030
3087.07/3053.35	c cleaning 44999 clauses out of 90024 with flag 2233955/25837030
3089.87/3056.14	c cleaning 46000 clauses out of 92025 with flag 2331961/25884030
3092.86/3059.14	c cleaning 47003 clauses out of 94026 with flag 2431807/25932031
3096.45/3062.60	c cleaning 47996 clauses out of 96022 with flag 2533193/25981030
3099.84/3066.05	c cleaning 49004 clauses out of 98026 with flag 2636834/26031030
3103.13/3069.31	c cleaning 49999 clauses out of 100023 with flag 2742750/26082031
3106.42/3072.68	c cleaning 50997 clauses out of 102024 with flag 2850806/26134031
3109.92/3076.17	c cleaning 52001 clauses out of 104026 with flag 2961228/26187030
3113.40/3079.65	c cleaning 53000 clauses out of 106025 with flag 3074060/26241030
3117.19/3083.42	c cleaning 54001 clauses out of 108025 with flag 3188324/26296030
3120.89/3087.14	c cleaning 54998 clauses out of 110024 with flag 3304539/26352030
3124.78/3091.01	c cleaning 56001 clauses out of 112026 with flag 3422933/26409030
3128.68/3094.89	c cleaning 57000 clauses out of 114025 with flag 3543148/26467030
3132.87/3099.04	c cleaning 58002 clauses out of 116026 with flag 3665934/26526031
3137.65/3103.84	c cleaning 58999 clauses out of 118024 with flag 3791001/26586031
3142.14/3108.35	c cleaning 60003 clauses out of 120026 with flag 3917749/26647032
3146.94/3113.13	c cleaning 60993 clauses out of 122022 with flag 4046311/26709031
3151.23/3117.41	c cleaning 62001 clauses out of 124028 with flag 4176827/26772030
3155.32/3121.51	c cleaning 62998 clauses out of 126027 with flag 4309923/26836030
3159.91/3126.04	c cleaning 64002 clauses out of 128030 with flag 4444694/26901031
3164.49/3130.69	c cleaning 64999 clauses out of 130027 with flag 4581761/26967030
3169.18/3135.32	c cleaning 65997 clauses out of 132028 with flag 4720913/27034030
3174.27/3140.42	c cleaning 67006 clauses out of 134033 with flag 4861702/27102032
3179.96/3146.17	c cleaning 68001 clauses out of 136026 with flag 5004797/27171031
3185.04/3151.26	c cleaning 69003 clauses out of 138024 with flag 5150176/27241030
3189.63/3155.84	c cleaning 70000 clauses out of 140021 with flag 5297482/27312030
3194.72/3160.90	c cleaning 71001 clauses out of 142022 with flag 5447481/27384031
3199.81/3166.07	c cleaning 71996 clauses out of 144021 with flag 5599615/27457031
3205.59/3171.88	c cleaning 73002 clauses out of 146024 with flag 5753387/27531030
3211.68/3177.96	c cleaning 74000 clauses out of 148023 with flag 5909667/27606031
3217.74/3183.94	c cleaning 74999 clauses out of 150022 with flag 6067897/27682030
3224.22/3190.43	c cleaning 76000 clauses out of 152023 with flag 6228572/27759030
3230.91/3197.12	c cleaning 76999 clauses out of 154023 with flag 6391100/27837030
3236.90/3203.14	c cleaning 78001 clauses out of 156024 with flag 6555875/27916030
3242.79/3209.08	c cleaning 79000 clauses out of 158023 with flag 6722649/27996030
3249.27/3215.58	c cleaning 80004 clauses out of 160024 with flag 6891292/28077031
3255.95/3222.20	c cleaning 80998 clauses out of 162019 with flag 7062204/28159030
3263.13/3229.48	c cleaning 82001 clauses out of 164022 with flag 7235218/28242031
3270.12/3236.43	c cleaning 82999 clauses out of 166021 with flag 7410305/28326031
3277.30/3243.65	c cleaning 83999 clauses out of 168021 with flag 7587152/28411030
3285.17/3251.33	c cleaning 84996 clauses out of 170022 with flag 7765915/28497030
3292.75/3258.93	c cleaning 86003 clauses out of 172027 with flag 7946017/28584031
3300.24/3266.49	c cleaning 86998 clauses out of 174025 with flag 8129624/28672032
3308.62/3274.85	c cleaning 88009 clauses out of 176027 with flag 8313909/28761032
3317.21/3283.20	c cleaning 88993 clauses out of 178016 with flag 8501621/28851030
3326.39/3292.42	c cleaning 90000 clauses out of 180024 with flag 8690448/28942031
3334.97/3301.02	c cleaning 90998 clauses out of 182023 with flag 8881740/29034030
3343.15/3309.00	c cleaning 91999 clauses out of 184025 with flag 9075572/29127030
3352.12/3318.06	c cleaning 93001 clauses out of 186027 with flag 9270907/29221031
3361.42/3327.18	c cleaning 94001 clauses out of 188025 with flag 9468802/29316030
3371.09/3336.82	c cleaning 94999 clauses out of 190024 with flag 9668194/29412030
3380.17/3345.80	c cleaning 96000 clauses out of 192025 with flag 9870185/29509030
3389.25/3355.00	c cleaning 97000 clauses out of 194026 with flag 10073731/29607031
3397.44/3363.10	c cleaning 98001 clauses out of 196027 with flag 10279926/29706032
3406.49/3372.18	c cleaning 98997 clauses out of 198025 with flag 10487542/29806031
3414.26/3379.93	c cleaning 100002 clauses out of 200028 with flag 10697170/29907031
3423.54/3389.28	c cleaning 101002 clauses out of 202025 with flag 10909602/30009030
3433.61/3399.33	c cleaning 102003 clauses out of 204023 with flag 11123873/30112030
3443.25/3408.89	c cleaning 102999 clauses out of 206020 with flag 11340454/30216030
3453.23/3418.89	c cleaning 103995 clauses out of 208021 with flag 11559543/30321030
3463.20/3428.83	c cleaning 105003 clauses out of 210028 with flag 11779844/30427032
3474.10/3439.64	c cleaning 105998 clauses out of 212024 with flag 12002497/30534031
3486.07/3451.67	c cleaning 107002 clauses out of 214026 with flag 12229516/30642031
3496.74/3462.35	c cleaning 108000 clauses out of 216024 with flag 12456822/30751031
3508.02/3473.67	c cleaning 109001 clauses out of 218024 with flag 12686457/30861031
3520.02/3485.54	c cleaning 109999 clauses out of 220022 with flag 12917955/30972030
3531.50/3497.06	c cleaning 111003 clauses out of 222024 with flag 13151355/31084031
3544.58/3510.10	c cleaning 112004 clauses out of 224021 with flag 13385970/31197031
3555.78/3521.16	c cleaning 113000 clauses out of 226017 with flag 13623102/31311031
3569.00/3534.24	c cleaning 113998 clauses out of 228018 with flag 13863481/31426032
3582.17/3547.45	c cleaning 114999 clauses out of 230018 with flag 14104615/31542030
3594.42/3559.51	c cleaning 115998 clauses out of 232020 with flag 14347623/31659031
3600.01/3565.12	c starts		: 7
3600.01/3565.12	c conflicts		: 31735339
3600.01/3565.12	c decisions		: 41838614
3600.01/3565.13	c propagations		: 462822181
3600.01/3565.13	c inspects		: 26546365416
3600.01/3565.13	c shortcuts		: 0
3600.01/3565.13	c learnt literals	: 0
3600.01/3565.13	c learnt binary clauses	: 0
3600.01/3565.13	c learnt ternary clauses	: 0
3600.01/3565.13	c learnt constraints	: 31735339
3600.01/3565.13	c ignored constraints	: 0
3600.01/3565.13	c root simplifications	: 0
3600.01/3565.13	c removed literals (reason simplification)	: 321277
3600.01/3565.13	c reason swapping (by a shorter reason)	: 0
3600.01/3565.13	c Calls to reduceDB	: 336
3600.01/3565.13	c Number of update (reduction) of LBD	: 782622
3600.01/3565.13	c Imported unit clauses	: 0
3600.01/3565.13	c No decision after first conflict	: false
3600.01/3565.13	c number of reductions to clauses (during analyze)	: 0
3600.01/3565.13	c number of learned constraints concerned by reduction	: 0
3600.01/3565.13	c number of learning phase by resolution	: 0
3600.01/3565.13	c number of learning phase by cutting planes	: 0
3600.01/3565.13	c number of rounding to 1 operations	: 0
3600.01/3565.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3565.13	c number of reductions of the coefficients by power 2 	: 0
3600.01/3565.13	c number of right shift for reduction by power 2 	: 0
3600.01/3565.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3565.14	c number of ending skipping 	: 0
3600.01/3565.14	c number of internal skipping 	: 0
3600.01/3565.14	c number of derivation steps 	: 0
3600.01/3565.14	c number of skipped derivation steps 	: 0
3600.01/3565.14	c number of remaining unassigned 	: 0
3600.01/3565.14	c number of remaining assigned 	: 0
3600.01/3565.14	c number of falsified literals weakened from reason	: 0
3600.01/3565.14	c number of falsified literals weakened from conflict	: 0
3600.01/3565.14	c time for arithmetic operations	: 0
3600.01/3565.15	c minimum degree of deleted constraints	: null
3600.01/3565.15	c maximum degree of deleted constraints	: null
3600.01/3565.15	c number of deleted constraints	: 0
3600.01/3565.15	c speed (assignments/second)	: 129826.33362253933
3600.01/3565.15	c non guided choices	: 0
3600.20/3565.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 192330
3600.20/3565.22	s SATISFIABLE
3600.20/3565.22	c Found 6 solution(s)
3600.20/3565.22	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.20/3565.22	c objective function=221
3600.20/3565.22	c Total wall clock time (in seconds): 3565.085

Verifier Data 

OK	221

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489376-1751341099/watcher-4489376-1751341099 -o /tmp/evaluation-result-4489376-1751341099/solver-4489376-1751341099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49171 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489376-1751341099.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 4.67 4.32 4.22 6/338 49614
/proc/meminfo: memFree=99525404/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=18930384 memory=53256 CPUtime=0.11 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 6483 0 0 0 10 1 0 0 20 0 18 0 49787658 19384713216 13314 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4732596 13314 5354 1 0 547567 0
[pid=49596/tid=49598] ppid=49593 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 5005 0 0 0 6 1 0 0 20 0 18 0 49787660 19384713216 13314 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49787662 19384713216 13314 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=18930384 memory=60684515966010 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49787662 19384713216 13314 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53256 KiB

[startup+0.205871 s]*
/proc/loadavg: 4.67 4.32 4.22 7/338 49614
/proc/meminfo: memFree=99524404/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=18930384 memory=64100 CPUtime=0.31 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 7061 0 0 0 29 2 0 0 20 0 18 0 49787658 19384713216 16025 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4732596 16025 5450 1 0 547943 0
[pid=49596/tid=49598] ppid=49593 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 5338 0 0 0 15 1 0 0 20 0 18 0 49787660 19384713216 16025 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49787662 19384713216 16025 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49787662 19384713216 16025 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64100 KiB

[startup+0.305769 s]*
/proc/loadavg: 4.67 4.32 4.22 6/339 49615
/proc/meminfo: memFree=99521380/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=18996948 memory=68548 CPUtime=0.5 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 8247 0 0 0 47 3 0 0 20 0 19 0 49787658 19452874752 17137 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4749237 17137 5450 1 0 548719 0
[pid=49596/tid=49598] ppid=49593 vsize=18996948 memory=-6000919494114239339 CPUtime=0.23 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 5399 0 0 0 22 1 0 0 20 0 19 0 49787660 19452874752 17137 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49787662 19452874752 17137 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49787662 19452874752 17137 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49787680 19452874752 17137 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68548 KiB

[startup+0.700234 s]
/proc/loadavg: 4.67 4.32 4.22 6/339 49615
/proc/meminfo: memFree=99417848/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=18996948 memory=93268 CPUtime=1.26 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 13532 0 0 0 122 4 0 0 20 0 19 0 49787658 19452874752 23317 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4749237 23317 5482 1 0 551683 0
[pid=49596/tid=49598] ppid=49593 vsize=18996948 memory=17792 CPUtime=0.62 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 5521 0 0 0 60 2 0 0 20 0 19 0 49787660 19452874752 23317 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49787662 19452874752 23317 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49787662 19452874752 23317 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49787680 19452874752 23317 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93268 KiB

[startup+1.50025 s]
/proc/loadavg: 4.67 4.32 4.22 6/339 49615
/proc/meminfo: memFree=99389492/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=18996948 memory=150028 CPUtime=2.56 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 16961 0 0 0 251 5 0 0 20 0 19 0 49787658 19452874752 37507 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4749237 37507 5482 1 0 551926 0
[pid=49596/tid=49598] ppid=49593 vsize=18996948 memory=10752 CPUtime=1.41 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 5943 0 0 0 138 3 0 0 20 0 19 0 49787660 19452874752 37507 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49787662 19452874752 37507 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49787662 19452874752 37507 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49787680 19452874752 37507 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150028 KiB

[startup+3.10569 s]
/proc/loadavg: 4.67 4.32 4.22 4/317 49627
/proc/meminfo: memFree=114550776/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=261624 CPUtime=4.39 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 19945 0 0 0 431 8 0 0 20 0 20 0 49787658 19521036288 65406 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 65406 5514 1 0 552218 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=10752 CPUtime=2.88 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 6503 0 0 0 285 3 0 0 20 0 20 0 49787660 19521036288 65406 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=-6000919494114239339 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 65406 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 65406 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 65406 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 261624 KiB

[startup+6.30019 s]
/proc/loadavg: 4.61 4.31 4.22 4/316 49717
/proc/meminfo: memFree=128588560/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=328568 CPUtime=7.77 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 20342 0 0 0 767 10 0 0 20 0 20 0 49787658 19521036288 82142 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 82142 5514 1 0 552240 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 6647 0 0 0 597 3 0 0 20 0 20 0 49787660 19521036288 82142 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 82142 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 82142 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=158220 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 82142 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 328568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.64 4.33 4.23 6/340 49750
/proc/meminfo: memFree=127151188/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=686032 CPUtime=14.39 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 24060 0 0 0 1421 18 0 0 20 0 20 0 49787658 19521036288 171508 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 171508 5514 1 0 658759 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=158220 CPUtime=12.19 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 7194 0 0 0 1213 6 0 0 20 0 20 0 49787660 19521036288 171508 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 171508 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 171508 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=-6000919494114239339 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 171508 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 686032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.58 4.33 4.23 5/340 49750
/proc/meminfo: memFree=125218704/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=1224048 CPUtime=27.48 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 26278 0 0 0 2718 30 0 0 20 0 20 0 49787658 19521036288 306012 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 306012 5546 1 0 786183 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=0 CPUtime=24.6 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 7855 0 0 0 2452 8 0 0 20 0 20 0 49787660 19521036288 306012 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=1055980 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 306012 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 306012 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=1008860 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 306012 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 27.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1224048 KiB

[startup+51.1056 s]
/proc/loadavg: 4.38 4.30 4.22 5/340 49750
/proc/meminfo: memFree=122720784/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=2002352 CPUtime=53.48 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 28218 0 0 0 5302 46 0 0 20 0 20 0 49787658 19521036288 500588 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 500588 5546 1 0 786183 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=1008860 CPUtime=49.67 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 8596 0 0 0 4955 12 0 0 20 0 20 0 49787660 19521036288 500588 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=1609132 CPUtime=0 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/340 49915
/proc/meminfo: memFree=87711876/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3256.05 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 236503 0 0 0 325241 364 0 0 20 0 20 0 49787658 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1793796 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7348 CPUtime=3182.2 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 128470 0 0 0 318068 152 0 0 20 0 20 0 49787660 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=7175184 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=7175184 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1050 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=7175184 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3256.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7175184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/340 49917
/proc/meminfo: memFree=87084824/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3316.32 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 239720 0 0 0 331266 366 0 0 20 0 20 0 49787658 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1793796 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3241.63 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 130041 0 0 0 324011 152 0 0 20 0 20 0 49787660 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=7175184 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=7175184 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3316.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7175184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/340 49923
/proc/meminfo: memFree=87084272/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3376.68 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 242256 0 0 0 337301 367 0 0 20 0 20 0 49787658 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1793796 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3300.94 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 131300 0 0 0 329942 152 0 0 20 0 20 0 49787660 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=5300 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=5300 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1793796 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3376.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7175184 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/340 49925
/proc/meminfo: memFree=87080320/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7177244 CPUtime=3436.6 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 243996 0 0 0 343292 368 0 0 20 0 20 0 49787658 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1794311 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3360.71 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 132846 0 0 0 335919 152 0 0 20 0 20 0 49787660 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=-6000919494114239339 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1162 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=7177244 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3436.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7177244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/340 49927
/proc/meminfo: memFree=86760704/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7177244 CPUtime=3496.74 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 246697 0 0 0 349305 369 0 0 20 0 20 0 49787658 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1794311 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7175184 CPUtime=3420.27 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 134344 0 0 0 341874 153 0 0 20 0 20 0 49787660 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=7177244 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=7177244 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1205 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3496.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7177244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/339 49929
/proc/meminfo: memFree=86637952/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7177244 CPUtime=3556.97 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 251079 0 0 0 355326 371 0 0 20 0 20 0 49787658 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1794311 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7177244 CPUtime=3479.71 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 136529 0 0 0 347818 153 0 0 20 0 20 0 49787660 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=7177244 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1248 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=7177244 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3556.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7177244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3565.11 s]
/proc/loadavg: 4.22 4.16 4.16 5/340 50065
/proc/meminfo: memFree=114322880/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19063512 memory=7177244 CPUtime=3600.01 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 252240 0 0 0 359629 372 0 0 20 0 20 0 49787658 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4765878 1794311 5546 1 0 1806860 0
[pid=49596/tid=49598] ppid=49593 vsize=19063512 memory=7177244 CPUtime=3522.03 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 137408 0 0 0 352050 153 0 0 20 0 20 0 49787660 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19063512 memory=7177244 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1286 0 0 0 0 0 0 0 20 0 20 0 49787662 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49615] ppid=49593 vsize=19063512 memory=545304 CPUtime=0 cores=0,2
/proc/49596/task/49615/stat : 49615 (Timer-0) S 49593 49596 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49787680 19521036288 1794311 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7177244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.53 s, system=3.75193 s

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

[startup+3565.21 s]
/proc/loadavg: 4.22 4.16 4.16 5/340 50065
/proc/meminfo: memFree=114322880/131249996 swapFree=33010416/33010684
[pid=49596] ppid=49593 vsize=19263204 memory=7178140 CPUtime=3600.2 cores=0,2
/proc/49596/stat : 49596 (java) S 49593 49596 49161 0 -1 4194304 254507 0 0 0 359648 372 0 0 20 0 21 0 49787658 19725520896 1794535 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
/proc/49596/statm: 4815801 1794535 5578 1 0 1807821 0
[pid=49596/tid=49598] ppid=49593 vsize=19263204 memory=5632 CPUtime=3522.13 cores=0,2
/proc/49596/task/49598/stat : 49598 (java) R 49593 49596 49161 0 -1 4194368 137534 0 0 0 352060 153 0 0 20 0 21 0 49787660 19725520896 1794535 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49607] ppid=49593 vsize=19263204 memory=4380 CPUtime=0 cores=0,2
/proc/49596/task/49607/stat : 49607 (Finalizer) S 49593 49596 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49787662 19725520896 1794535 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
[pid=49596/tid=49614] ppid=49593 vsize=19263204 memory=-6000919494114239339 CPUtime=0 cores=0,2
/proc/49596/task/49614/stat : 49614 (Common-Cleaner) S 49593 49596 49161 0 -1 4194368 1286 0 0 0 0 0 0 0 20 0 21 0 49787662 19725520896 1794535 18446744073709551615 93839323648000 93839323651696 140725166002240 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839323659512 93839323660304 93839351169024 140725166004609 140725166004710 140725166004710 140725166010312 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7178140 KiB

Child status: 143

Real time (s): 3565.25
CPU time (s): 3600.28
CPU user time (s): 3596.53
CPU system time (s): 3.75193
CPU usage (%): 100.983
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14722392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.53
system time used= 3.75193
maximum resident set size= 14722392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115305
involuntary context switches= 12739


# summary of solver processes directly reported to runsolver:
#   pid: 49596
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3596.53
#   total CPU system time (s): 3.75193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26561 second user time and 16.8923 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-01 05:38:19
IDJOB=4489376
IDBENCH=147546
IDSOLVER=3363
FILE ID=nodeC022/4489376-1751341099
RUNJOBID= nodeC022-1751337595-49171
SLURM_JOB_ID= 9594391
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489376-1751341099/watcher-4489376-1751341099 -o /tmp/evaluation-result-4489376-1751341099/solver-4489376-1751341099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49171 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489376-1751341099.opb

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

MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=737561394

nodeC022 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.789
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.44
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.733
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.44
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		: 3588.884
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.44
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.732
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.44
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.931
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.44
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.689
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.44
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		: 3710.636
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.44
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		: 3549.379
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        99546572 kB
MemAvailable:   99275084 kB
Buffers:            2128 kB
Cached:           531904 kB
SwapCached:           32 kB
Active:         30858420 kB
Inactive:         206092 kB
Active(anon):   30544312 kB
Inactive(anon):     4196 kB
Active(file):     314108 kB
Inactive(file):   201896 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1820 kB
Writeback:             0 kB
AnonPages:      30533852 kB
Mapped:           122700 kB
Shmem:             18028 kB
KReclaimable:     103092 kB
Slab:             190888 kB
SReclaimable:     103092 kB
SUnreclaim:        87796 kB
KernelStack:        5216 kB
PageTables:        63444 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   35761900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  30175232 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= 432984 MiB
End job on nodeC022 at 2025-07-01 06:37:44