Trace number 4523709

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.25 3700.49

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
MD5SUM125f46ef4151ea54a587951799140dfb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.906185
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1456
Total number of constraints2032
Number of constraints which are clauses951
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1080
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 167
Biggest coefficient in the objective function 15
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 252
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 490
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1759
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version PB25.v20250606
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.16	c Free memory 		2104792832
0.12/0.16	c Max memory 		16282288128
0.12/0.16	c Total memory 		2113929216
0.12/0.17	c Number of processors 	2
0.31/0.24	c Pseudo Boolean Optimization by upper bound
0.31/0.24	c --- Begin Solver configuration ---
0.31/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.24	c Learn all clauses as in MiniSAT
0.31/0.24	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	c Expensive reason simplification
0.31/0.24	c Glucose 2.1 dynamic restart strategy
0.31/0.24	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.31/0.24	c timeout=2147483s
0.31/0.24	c DB Simplification allowed=false
0.31/0.24	c Listener: none
0.31/0.24	c --- End Solver configuration ---
0.31/0.24	c solving HOME/instance-4523709-1751606262.opb
0.31/0.24	c reading problem ... 
0.31/0.24	c using VERIPB proof format
0.31/0.24	c  objective function found
1.78/1.02	c ... done. Wall clock time 0.779s.
1.78/1.03	c declared #vars     1456
1.78/1.03	c #constraints  2033
1.78/1.03	c constraints type 
1.78/1.03	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 938
1.78/1.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.78/1.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
1.78/1.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.78/1.03	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
1.78/1.03	c 2033 constraints processed.
1.78/1.04	c objective function length is 167 literals
4.95/2.60	c cleaning 2495 clauses out of 5000 with flag 13971/5000
6.74/3.50	c cleaning 4248 clauses out of 8505 with flag 32070/11000
7.91/4.45	c cleaning 5625 clauses out of 11257 with flag 53953/18000
9.37/5.85	c cleaning 6816 clauses out of 13634 with flag 77068/26002
11.02/7.33	c cleaning 7905 clauses out of 15816 with flag 106384/35000
12.76/8.95	c cleaning 8951 clauses out of 17912 with flag 139500/45001
14.35/10.58	c cleaning 9976 clauses out of 19962 with flag 180066/56002
16.37/12.51	c cleaning 10982 clauses out of 21984 with flag 222033/68000
18.46/14.69	c cleaning 11997 clauses out of 24003 with flag 271192/81001
20.88/17.06	c cleaning 12992 clauses out of 26005 with flag 322041/95000
23.37/19.55	c cleaning 13999 clauses out of 28014 with flag 377458/110001
26.36/22.42	c cleaning 14998 clauses out of 30014 with flag 439528/126000
29.46/25.44	c cleaning 16000 clauses out of 32016 with flag 503968/143000
32.81/28.73	c cleaning 17002 clauses out of 34019 with flag 571005/161003
36.40/32.37	c cleaning 17998 clauses out of 36016 with flag 640768/180002
40.48/36.54	c cleaning 18999 clauses out of 38016 with flag 720066/200000
44.66/40.77	c cleaning 19999 clauses out of 40017 with flag 801835/221000
49.15/45.24	c cleaning 21000 clauses out of 42018 with flag 888935/243000
53.85/49.95	c cleaning 22002 clauses out of 44019 with flag 981691/266001
59.36/55.41	c cleaning 22999 clauses out of 46016 with flag 1076678/290000
64.65/60.70	c cleaning 24000 clauses out of 48017 with flag 1176387/315000
70.30/70.10	c cleaning 25004 clauses out of 50019 with flag 1281245/341002
76.66/76.48	c cleaning 25999 clauses out of 52014 with flag 1388501/368001
83.52/83.21	c cleaning 26996 clauses out of 54014 with flag 1498628/396000
90.51/90.24	c cleaning 28004 clauses out of 56018 with flag 1613709/425000
97.79/97.55	c cleaning 28999 clauses out of 58014 with flag 1737207/455000
105.52/105.43	c cleaning 29999 clauses out of 60016 with flag 1865287/486001
113.62/113.56	c cleaning 30998 clauses out of 62016 with flag 1997125/518000
121.41/121.38	c cleaning 32000 clauses out of 64018 with flag 2131829/551000
129.97/129.96	c cleaning 32997 clauses out of 66019 with flag 2272930/585001
139.07/139.27	c cleaning 34001 clauses out of 68021 with flag 2419575/620000
148.86/149.06	c cleaning 35002 clauses out of 70020 with flag 2567574/656000
159.84/160.09	c cleaning 35999 clauses out of 72021 with flag 2711918/693003
169.92/170.39	c cleaning 37001 clauses out of 74020 with flag 2865709/731001
179.93/180.37	c cleaning 38001 clauses out of 76018 with flag 3025213/770000
190.72/191.17	c cleaning 39001 clauses out of 78019 with flag 3190824/810002
202.40/203.03	c cleaning 40001 clauses out of 80018 with flag 3365471/851002
214.06/214.77	c cleaning 40997 clauses out of 82017 with flag 3538394/893002
226.44/227.37	c cleaning 42001 clauses out of 84020 with flag 3716304/936002
238.23/239.11	c cleaning 42998 clauses out of 86017 with flag 3901870/980000
251.20/252.12	c cleaning 44000 clauses out of 88019 with flag 4099729/1025000
264.17/265.36	c cleaning 45003 clauses out of 90021 with flag 4298106/1071002
278.23/279.44	c cleaning 45998 clauses out of 92018 with flag 4498305/1118002
293.17/294.53	c cleaning 47002 clauses out of 94019 with flag 4709938/1166001
309.23/310.65	c cleaning 47998 clauses out of 96016 with flag 4931543/1215000
326.91/328.59	c cleaning 48997 clauses out of 98018 with flag 5155684/1265000
344.73/346.32	c cleaning 49999 clauses out of 100021 with flag 5377650/1316000
362.44/364.23	c cleaning 51000 clauses out of 102023 with flag 5602681/1368001
380.67/382.77	c cleaning 52004 clauses out of 104022 with flag 5836135/1421000
397.81/399.85	c cleaning 52996 clauses out of 106018 with flag 6078529/1475000
417.46/422.95	c cleaning 54001 clauses out of 108025 with flag 6324428/1530003
436.10/441.59	c cleaning 54999 clauses out of 110021 with flag 6571943/1586000
454.86/464.99	c cleaning 55996 clauses out of 112022 with flag 6812056/1643000
477.49/487.43	c cleaning 56999 clauses out of 114027 with flag 7055318/1701001
500.05/510.00	c cleaning 58004 clauses out of 116029 with flag 7294607/1760002
522.74/532.60	c cleaning 58997 clauses out of 118023 with flag 7557244/1820000
547.42/557.37	c cleaning 60002 clauses out of 120026 with flag 7820050/1881000
571.69/581.66	c cleaning 61006 clauses out of 122024 with flag 8082800/1943000
597.27/614.21	c cleaning 61996 clauses out of 124018 with flag 8351070/2006000
622.20/639.12	c cleaning 63002 clauses out of 126023 with flag 8653275/2070001
647.82/664.70	c cleaning 63999 clauses out of 128020 with flag 8954009/2135000
677.15/694.38	c cleaning 64999 clauses out of 130021 with flag 9249539/2201000
711.60/728.87	c cleaning 66000 clauses out of 132022 with flag 9549265/2268000
740.17/757.43	c cleaning 66996 clauses out of 134022 with flag 9866385/2336000
768.93/786.17	c cleaning 68002 clauses out of 136026 with flag 10186466/2405000
803.65/828.15	c cleaning 69000 clauses out of 138025 with flag 10493827/2475001
838.48/863.06	c cleaning 70004 clauses out of 140025 with flag 10811963/2546001
873.99/898.62	c cleaning 71000 clauses out of 142022 with flag 11126244/2618002
911.45/941.67	c cleaning 71999 clauses out of 144020 with flag 11438841/2691000
946.22/976.41	c cleaning 73001 clauses out of 146021 with flag 11776919/2765000
979.90/1010.11	c cleaning 73995 clauses out of 148022 with flag 12116854/2840002
1015.02/1049.79	c cleaning 75005 clauses out of 150026 with flag 12460650/2916001
1055.59/1096.89	c cleaning 76001 clauses out of 152020 with flag 12795227/2993000
1102.46/1148.63	c cleaning 76999 clauses out of 154019 with flag 13131317/3071000
1149.35/1195.54	c cleaning 77997 clauses out of 156020 with flag 13477774/3150000
1194.42/1240.70	c cleaning 79002 clauses out of 158023 with flag 13822374/3230000
1244.54/1298.73	c cleaning 80000 clauses out of 160021 with flag 14176996/3311000
1299.48/1353.69	c cleaning 80999 clauses out of 162022 with flag 14517909/3393001
1348.61/1403.01	c cleaning 82000 clauses out of 164022 with flag 14870574/3476000
1395.69/1450.02	c cleaning 83000 clauses out of 166022 with flag 15234807/3560000
1448.58/1503.03	c cleaning 84002 clauses out of 168024 with flag 15597385/3645002
1499.23/1553.30	c cleaning 84998 clauses out of 170021 with flag 15974997/3731001
1555.08/1613.93	c cleaning 86000 clauses out of 172025 with flag 16349484/3818003
1611.56/1670.49	c cleaning 87002 clauses out of 174023 with flag 16748867/3906001
1677.39/1736.40	c cleaning 87999 clauses out of 176022 with flag 17129209/3995002
1735.93/1795.05	c cleaning 89005 clauses out of 178021 with flag 17546013/4085000
1787.72/1846.80	c cleaning 89998 clauses out of 180016 with flag 17969654/4176000
1839.70/1902.45	c cleaning 91000 clauses out of 182022 with flag 18411020/4268004
1893.48/1956.36	c cleaning 92001 clauses out of 184020 with flag 18849595/4361002
1954.15/2017.00	c cleaning 92994 clauses out of 186018 with flag 19289609/4455001
2016.04/2079.00	c cleaning 94006 clauses out of 188025 with flag 19712994/4550002
2081.77/2144.80	c cleaning 94998 clauses out of 190018 with flag 20124208/4646001
2149.11/2212.30	c cleaning 96001 clauses out of 192022 with flag 20555702/4743003
2209.22/2275.68	c cleaning 97001 clauses out of 194018 with flag 20993851/4841000
2279.77/2346.26	c cleaning 97996 clauses out of 196019 with flag 21412164/4940002
2349.36/2420.05	c cleaning 98998 clauses out of 198021 with flag 21844398/5040000
2414.01/2484.71	c cleaning 100004 clauses out of 200025 with flag 22281109/5141002
2483.34/2566.04	c cleaning 100994 clauses out of 202019 with flag 22734732/5243000
2508.44/2590.45	c cleaning 101991 clauses out of 204025 with flag 23012022/5346000
2520.58/2602.40	c cleaning 102992 clauses out of 206035 with flag 23228351/5450001
2532.48/2614.07	c cleaning 103997 clauses out of 208044 with flag 23450747/5555002
2544.94/2626.60	c cleaning 104997 clauses out of 210050 with flag 23675984/5661005
2557.36/2638.86	c cleaning 105996 clauses out of 212048 with flag 23901845/5768000
2569.30/2650.70	c cleaning 106999 clauses out of 214052 with flag 24128870/5876000
2580.89/2662.28	c cleaning 108002 clauses out of 216056 with flag 24359247/5985003
2592.90/2674.13	c cleaning 109005 clauses out of 218051 with flag 24590096/6095000
2606.07/2687.32	c cleaning 109993 clauses out of 220046 with flag 24821296/6206000
2618.56/2699.74	c cleaning 110998 clauses out of 222055 with flag 25054506/6318002
2631.63/2712.73	c cleaning 111997 clauses out of 224055 with flag 25291246/6431000
2645.90/2727.03	c cleaning 113000 clauses out of 226059 with flag 25531389/6545001
2658.51/2739.58	c cleaning 114003 clauses out of 228060 with flag 25772063/6660002
2672.07/2753.09	c cleaning 115001 clauses out of 230056 with flag 26017739/6776001
2686.01/2766.84	c cleaning 115994 clauses out of 232054 with flag 26262184/6893000
2698.77/2779.52	c cleaning 117002 clauses out of 234063 with flag 26506968/7011003
2713.15/2792.89	c cleaning 117999 clauses out of 236058 with flag 26754829/7130000
2726.70/2806.41	c cleaning 119001 clauses out of 238061 with flag 27005585/7250002
2740.81/2820.41	c cleaning 120004 clauses out of 240064 with flag 27258618/7371006
2754.46/2834.10	c cleaning 121000 clauses out of 242055 with flag 27514150/7493001
2768.11/2847.71	c cleaning 121998 clauses out of 244058 with flag 27770427/7616004
2782.10/2861.55	c cleaning 122998 clauses out of 246056 with flag 28027775/7740000
2796.44/2875.92	c cleaning 124007 clauses out of 248060 with flag 28286892/7865002
2811.96/2891.33	c cleaning 124999 clauses out of 250051 with flag 28548995/7991000
2828.02/2909.10	c cleaning 126003 clauses out of 252053 with flag 28815530/8118001
2842.59/2923.44	c cleaning 126997 clauses out of 254051 with flag 29081293/8246002
2858.95/2945.10	c cleaning 127997 clauses out of 256052 with flag 29351071/8375000
2875.01/2960.95	c cleaning 129002 clauses out of 258055 with flag 29622302/8505000
2889.25/2975.17	c cleaning 130002 clauses out of 260053 with flag 29894394/8636000
2904.90/2990.61	c cleaning 131001 clauses out of 262054 with flag 30168608/8768003
2921.77/3007.46	c cleaning 131997 clauses out of 264052 with flag 30446218/8901002
2936.53/3022.02	c cleaning 133000 clauses out of 266054 with flag 30724652/9035001
2952.70/3038.18	c cleaning 134005 clauses out of 268055 with flag 31008068/9170002
2968.51/3053.76	c cleaning 134993 clauses out of 270048 with flag 31295713/9306000
2984.50/3069.67	c cleaning 136001 clauses out of 272056 with flag 31581745/9443001
3000.46/3085.51	c cleaning 136996 clauses out of 274054 with flag 31869067/9581000
3017.12/3102.03	c cleaning 137999 clauses out of 276058 with flag 32161143/9720000
3033.62/3119.14	c cleaning 139000 clauses out of 278060 with flag 32456529/9860001
3051.75/3137.15	c cleaning 140004 clauses out of 280059 with flag 32750880/10001000
3070.74/3156.16	c cleaning 141003 clauses out of 282057 with flag 33053721/10143002
3088.85/3174.19	c cleaning 142000 clauses out of 284053 with flag 33357779/10286001
3106.34/3191.58	c cleaning 143001 clauses out of 286054 with flag 33663623/10430002
3125.01/3210.17	c cleaning 143998 clauses out of 288052 with flag 33967940/10575001
3143.36/3228.31	c cleaning 145000 clauses out of 290054 with flag 34276270/10721001
3161.61/3246.68	c cleaning 146002 clauses out of 292053 with flag 34588746/10868000
3179.24/3264.01	c cleaning 147001 clauses out of 294052 with flag 34902281/11016001
3197.67/3282.57	c cleaning 147997 clauses out of 296051 with flag 35216237/11165001
3218.50/3303.43	c cleaning 148999 clauses out of 298055 with flag 35536395/11315002
3238.33/3323.18	c cleaning 149999 clauses out of 300054 with flag 35861941/11466000
3259.93/3344.78	c cleaning 150999 clauses out of 302055 with flag 36185141/11618000
3279.06/3363.72	c cleaning 152003 clauses out of 304056 with flag 36505961/11771000
3297.61/3382.35	c cleaning 152994 clauses out of 306055 with flag 36830887/11925002
3319.46/3410.24	c cleaning 154007 clauses out of 308059 with flag 37156911/12080000
3341.04/3431.79	c cleaning 155002 clauses out of 310053 with flag 37482321/12236001
3359.90/3454.31	c cleaning 155997 clauses out of 312050 with flag 37808414/12393000
3378.82/3473.26	c cleaning 157002 clauses out of 314053 with flag 38137376/12551000
3398.35/3492.57	c cleaning 158001 clauses out of 316054 with flag 38471788/12710003
3417.99/3512.11	c cleaning 158994 clauses out of 318052 with flag 38805478/12870002
3437.58/3539.04	c cleaning 160000 clauses out of 320058 with flag 39138686/13031002
3459.61/3561.05	c cleaning 160996 clauses out of 322056 with flag 39475045/13193000
3477.76/3579.03	c cleaning 162005 clauses out of 324061 with flag 39816583/13356001
3498.47/3599.60	c cleaning 163000 clauses out of 326059 with flag 40159638/13520004
3517.40/3618.49	c cleaning 164002 clauses out of 328055 with flag 40502710/13685000
3538.43/3639.32	c cleaning 165001 clauses out of 330053 with flag 40847817/13851000
3558.64/3659.43	c cleaning 166003 clauses out of 332052 with flag 41196640/14018000
3579.95/3680.62	c cleaning 167000 clauses out of 334050 with flag 41546991/14186001
3599.65/3700.04	c starts		: 367
3599.65/3700.06	c conflicts		: 14355000
3599.65/3700.07	c decisions		: 15745512
3599.65/3700.07	c propagations		: 123077338
3599.65/3700.07	c inspects		: 28846854152
3599.65/3700.07	c shortcuts		: 0
3599.65/3700.07	c learnt literals	: 0
3599.65/3700.07	c learnt binary clauses	: 0
3599.65/3700.07	c learnt ternary clauses	: 0
3599.65/3700.08	c learnt constraints	: 14355000
3599.65/3700.08	c ignored constraints	: 0
3599.65/3700.08	c root simplifications	: 0
3599.65/3700.08	c removed literals (reason simplification)	: 7643664
3599.65/3700.08	c reason swapping (by a shorter reason)	: 0
3599.65/3700.08	c Calls to reduceDB	: 165
3599.65/3700.08	c Number of update (reduction) of LBD	: 1357898
3599.65/3700.08	c Imported unit clauses	: 0
3599.65/3700.08	c No decision after first conflict	: false
3599.65/3700.08	c number of reductions to clauses (during analyze)	: 0
3599.65/3700.08	c number of learned constraints concerned by reduction	: 0
3599.65/3700.08	c number of learning phase by resolution	: 0
3599.65/3700.08	c number of learning phase by cutting planes	: 0
3599.65/3700.08	c number of rounding to 1 operations	: 0
3599.65/3700.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3599.65/3700.09	c number of reductions of the coefficients by power 2 	: 0
3599.65/3700.09	c number of right shift for reduction by power 2 	: 0
3599.65/3700.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
3599.65/3700.09	c number of ending skipping 	: 0
3599.65/3700.09	c number of internal skipping 	: 0
3599.65/3700.10	c number of derivation steps 	: 0
3599.65/3700.10	c number of skipped derivation steps 	: 0
3599.65/3700.10	c number of remaining unassigned 	: 0
3599.65/3700.10	c number of remaining assigned 	: 0
3599.65/3700.10	c number of falsified literals weakened from reason	: 0
3599.65/3700.10	c number of falsified literals weakened from conflict	: 0
3599.65/3700.10	c time for arithmetic operations	: 0
3599.65/3700.10	c minimum degree of deleted constraints	: null
3599.65/3700.10	c maximum degree of deleted constraints	: null
3599.65/3700.11	c number of deleted constraints	: 0
3599.65/3700.11	c speed (assignments/second)	: 33272.69738789619
3599.65/3700.11	c non guided choices	: 347
3600.02/3700.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 336049
3600.02/3700.27	s UNKNOWN
3600.02/3700.27	c Total wall clock time (in seconds): 3700.034

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523709-1751606262/watcher-4523709-1751606262 -o /tmp/evaluation-result-4523709-1751606262/solver-4523709-1751606262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751603369-95030 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523709-1751606262 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523709-1751606262.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=95720, runsolver pid=95717

[startup+0.100066 s]*
/proc/loadavg: 4.91 5.11 5.16 7/330 95738
/proc/meminfo: memFree=98321376/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=18930384 memory=48740 CPUtime=0.12 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 5877 0 0 0 10 2 0 0 20 0 18 0 76305366 19384713216 12185 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4732596 12185 5340 1 0 547068 0
[pid=95720/tid=95722] ppid=95717 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 4721 0 0 0 6 1 0 0 20 0 18 0 76305368 19384713216 12185 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76305372 19384713216 12185 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=18930384 memory=58494082638250 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76305373 19384713216 12185 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48740 KiB

[startup+0.209312 s]*
/proc/loadavg: 4.91 5.11 5.16 7/330 95738
/proc/meminfo: memFree=98310476/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=18930384 memory=58084 CPUtime=0.31 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 6645 0 0 0 28 3 0 0 20 0 18 0 76305366 19384713216 14521 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4732596 14521 5340 1 0 547697 0
[pid=95720/tid=95722] ppid=95717 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 5137 0 0 0 15 2 0 0 20 0 18 0 76305368 19384713216 14521 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=18930384 memory=17127 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76305372 19384713216 14521 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76305373 19384713216 14521 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58084 KiB

[startup+0.309083 s]*
/proc/loadavg: 4.91 5.11 5.16 8/330 95738
/proc/meminfo: memFree=98310476/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=18930384 memory=61292 CPUtime=0.5 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 6877 0 0 0 47 3 0 0 20 0 18 0 76305366 19384713216 15323 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4732596 15323 5436 1 0 547837 0
[pid=95720/tid=95722] ppid=95717 vsize=18930384 memory=-6000919477068457830 CPUtime=0.26 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 5282 0 0 0 24 2 0 0 20 0 18 0 76305368 19384713216 15323 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76305372 19384713216 15323 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76305373 19384713216 15323 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61292 KiB

[startup+0.700227 s]
/proc/loadavg: 4.91 5.11 5.16 7/330 95738
/proc/meminfo: memFree=98273172/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=18996948 memory=165352 CPUtime=1.24 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 8749 0 0 0 117 7 0 0 20 0 19 0 76305366 19452874752 41338 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4749237 41338 5468 1 0 549348 0
[pid=95720/tid=95722] ppid=95717 vsize=18996948 memory=14208 CPUtime=0.6 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 5327 0 0 0 56 4 0 0 20 0 19 0 76305368 19452874752 41338 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76305372 19452874752 41338 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76305373 19452874752 41338 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 165352 KiB

[startup+1.50024 s]
/proc/loadavg: 4.91 5.11 5.16 6/331 95739
/proc/meminfo: memFree=98178084/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19064616 memory=200400 CPUtime=2.77 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 13326 0 0 0 268 9 0 0 20 0 20 0 76305366 19522166784 50100 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4766154 50100 5500 1 0 552162 0
[pid=95720/tid=95722] ppid=95717 vsize=19064616 memory=3328 CPUtime=1.24 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 5489 0 0 0 119 5 0 0 20 0 20 0 76305368 19522166784 50100 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19064616 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19522166784 50100 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19064616 memory=11264 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76305373 19522166784 50100 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19064616 KiB
Current children cumulated memory: 200400 KiB

[startup+3.10535 s]
/proc/loadavg: 4.91 5.11 5.16 6/332 95740
/proc/meminfo: memFree=97908376/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=428148 CPUtime=5.96 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 17099 0 0 0 581 15 0 0 20 0 20 0 76305366 19521036288 107037 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 107037 5500 1 0 1079588 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=11264 CPUtime=2.76 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 5630 0 0 0 267 9 0 0 20 0 20 0 76305368 19521036288 107037 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 107037 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 107037 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 107037 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 428148 KiB

[startup+6.30039 s]
/proc/loadavg: 4.84 5.09 5.16 5/332 95740
/proc/meminfo: memFree=97062884/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=1219800 CPUtime=9.87 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 21613 0 0 0 953 34 0 0 20 0 20 0 76305366 19521036288 304950 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 304950 5500 1 0 1079593 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=0 CPUtime=5.92 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 6848 0 0 0 565 27 0 0 20 0 20 0 76305368 19521036288 304950 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 304950 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=-6000919477068457830 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 304950 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 304950 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 9.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1219800 KiB

[startup+12.7004 s]
/proc/loadavg: 4.77 5.07 5.15 5/333 95741
/proc/meminfo: memFree=96721748/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=1531096 CPUtime=16.57 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 23996 0 0 0 1612 45 0 0 20 0 20 0 76305366 19521036288 382774 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 382774 5500 1 0 1079594 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=0 CPUtime=12.25 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 7178 0 0 0 1187 38 0 0 20 0 20 0 76305368 19521036288 382774 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=1219800 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 382774 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 382774 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 382774 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 16.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1531096 KiB

[startup+25.5004 s]
/proc/loadavg: 4.60 5.02 5.13 5/333 95741
/proc/meminfo: memFree=95166008/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=2604592 CPUtime=29.62 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 29886 0 0 0 2885 77 0 0 20 0 20 0 76305366 19521036288 651148 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 651148 5532 1 0 1079634 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=-6000919477068457830 CPUtime=24.93 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 9514 0 0 0 2426 67 0 0 20 0 20 0 76305368 19521036288 651148 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=3196 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 651148 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=1905964 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 651148 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=1905964 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 651148 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 29.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2604592 KiB

[startup+51.1133 s]
/proc/loadavg: 4.54 4.97 5.11 5/332 95741
/proc/meminfo: memFree=94412368/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=2618948 CPUtime=55.05 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 33619 0 0 0 5414 91 0 0 20 0 20 0 76305366 19521036288 654737 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 654737 5532 1 0 1079634 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=2618948 CPUtime=50.2 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 11090 0 0 0 4940 80 0 0 20 0 20 0 76305368 19521036288 654737 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=-6000919477068457830 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 654737 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=2604592 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 654737 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=2415916 CPUtime=0 cores=0,2

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

/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2204 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3197.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4274012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.30 4.28 5/333 96055
/proc/meminfo: memFree=57284112/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4274012 CPUtime=3257.54 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 150707 0 0 0 324510 1244 0 0 20 0 20 0 76305366 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1068503 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=5632 CPUtime=3212.38 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 76075 0 0 0 320228 1010 0 0 20 0 20 0 76305368 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=4274012 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=4274012 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2204 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=4274012 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1068503 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3257.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4274012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.30 4.28 5/332 96057
/proc/meminfo: memFree=56451156/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4278116 CPUtime=3311.5 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 153862 0 0 0 329882 1268 0 0 20 0 20 0 76305366 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1069529 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=4224 CPUtime=3265.39 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 77887 0 0 0 325507 1032 0 0 20 0 20 0 76305368 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=4278116 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2263 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=4278116 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3311.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4278116 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.34 4.29 5/333 96060
/proc/meminfo: memFree=56391540/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4278116 CPUtime=3367.94 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 154412 0 0 0 335498 1296 0 0 20 0 20 0 76305366 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1069529 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=14468 CPUtime=3320.83 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 78271 0 0 0 331026 1057 0 0 20 0 20 0 76305368 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=4278116 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=4278116 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2323 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=4278116 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1069529 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3367.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4278116 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.31 4.28 5/331 96062
/proc/meminfo: memFree=55040496/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4280164 CPUtime=3428.24 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 157822 0 0 0 341497 1327 0 0 20 0 20 0 76305366 19521036288 1070041 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1070041 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=4280164 CPUtime=3379.7 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 80445 0 0 0 336886 1084 0 0 20 0 20 0 76305368 19521036288 1070041 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1070041 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=4280164 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2323 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1070041 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=-6000919477068457830 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1070041 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3428.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4280164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.52 4.37 4.30 5/330 96131
/proc/meminfo: memFree=69908360/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4282212 CPUtime=3481.13 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 160972 0 0 0 346760 1353 0 0 20 0 20 0 76305366 19521036288 1070553 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1070553 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=14468 CPUtime=3431.4 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 82640 0 0 0 342033 1107 0 0 20 0 20 0 76305368 19521036288 1070553 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=4280164 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1070553 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2382 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1070553 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1070553 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3481.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4282212 KiB

[startup+3642.3 s]
/proc/loadavg: 4.57 4.41 4.32 5/333 96136
/proc/meminfo: memFree=65930528/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4284260 CPUtime=3541.43 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 161543 0 0 0 352757 1386 0 0 20 0 20 0 76305366 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1071065 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=4280164 CPUtime=3490.41 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 83035 0 0 0 347904 1137 0 0 20 0 20 0 76305368 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=4284260 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=4284260 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2432 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3541.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4284260 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.46 4.41 4.32 5/334 96139
/proc/meminfo: memFree=62515308/131382112 swapFree=33005784/33010684
[pid=95720] ppid=95717 vsize=19063512 memory=4284260 CPUtime=3599.65 cores=0,2
/proc/95720/stat : 95720 (java) S 95717 95720 95020 0 -1 4194304 164801 0 0 0 358552 1413 0 0 20 0 20 0 76305366 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
/proc/95720/statm: 4765878 1071065 5564 1 0 1085986 0
[pid=95720/tid=95722] ppid=95717 vsize=19063512 memory=-6000919477085628006 CPUtime=3547.24 cores=0,2
/proc/95720/task/95722/stat : 95722 (java) R 95717 95720 95020 0 -1 4194368 85127 0 0 0 353563 1161 0 0 20 0 20 0 76305368 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95731] ppid=95717 vsize=19063512 memory=-4050210904893473685 CPUtime=0 cores=0,2
/proc/95720/task/95731/stat : 95731 (Finalizer) S 95717 95720 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76305372 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95738] ppid=95717 vsize=19063512 memory=4224 CPUtime=0 cores=0,2
/proc/95720/task/95738/stat : 95738 (Common-Cleaner) S 95717 95720 95020 0 -1 4194368 2432 0 0 0 0 0 0 0 20 0 20 0 76305373 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
[pid=95720/tid=95740] ppid=95717 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/95720/task/95740/stat : 95740 (Timer-0) S 95717 95720 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76305472 19521036288 1071065 18446744073709551615 94209665306624 94209665310320 140735265733600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94209665318136 94209665318928 94209689239552 140735265741104 140735265741286 140735265741286 140735265746888 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4284260 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.04 s, system=14.2063 s

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

[startup+3700.41 s]
/proc/loadavg: 4.46 4.41 4.32 5/316 96142
/proc/meminfo: memFree=66710568/131382112 swapFree=33005784/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3700.49
CPU time (s): 3600.25
CPU user time (s): 3586.04
CPU system time (s): 14.2063
CPU usage (%): 97.291
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4285028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.04
system time used= 14.2063
maximum resident set size= 4285156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21116480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129583
involuntary context switches= 12556


# summary of solver processes directly reported to runsolver:
#   pid: 95720
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3586.04
#   total CPU system time (s): 14.2063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6415 second user time and 38.513 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-04 07:17:42
IDJOB=4523709
IDBENCH=180370
IDSOLVER=3364
FILE ID=nodeC007/4523709-1751606262
RUNJOBID= nodeC007-1751603369-95030
SLURM_JOB_ID= 9598885
Free space on /tmp= 431020 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523709-1751606262/watcher-4523709-1751606262 -o /tmp/evaluation-result-4523709-1751606262/solver-4523709-1751606262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751603369-95030 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523709-1751606262 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523709-1751606262.opb

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

MD5SUM BENCH= 125f46ef4151ea54a587951799140dfb
RANDOM SEED=2125008607

nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.201
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.818
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3493.313
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.970
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3664.784
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.613
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.384
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.907
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        98329580 kB
MemAvailable:   113091740 kB
Buffers:              16 kB
Cached:         15436072 kB
SwapCached:          252 kB
Active:         17072420 kB
Inactive:       15032124 kB
Active(anon):   16646668 kB
Inactive(anon):    35372 kB
Active(file):     425752 kB
Inactive(file): 14996752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            221264 kB
Writeback:            60 kB
AnonPages:      16671408 kB
Mapped:           118740 kB
Shmem:             13504 kB
KReclaimable:     370852 kB
Slab:             469796 kB
SReclaimable:     370852 kB
SUnreclaim:        98944 kB
KernelStack:        5072 kB
PageTables:        36400 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   21427572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15712256 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430976 MiB
End job on nodeC007 at 2025-07-04 08:19:23