Trace number 4523708

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-06? (TO) 3600.21 3579.21

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4523708-1751604801.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
1.08/0.69	c ... done. Wall clock time 0.549s.
1.08/0.69	c declared #vars     1456
1.08/0.69	c #constraints  2033
1.08/0.69	c constraints type 
1.08/0.69	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 938
1.08/0.69	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.08/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
1.08/0.69	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.08/0.69	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
1.08/0.69	c 2033 constraints processed.
1.26/0.71	c objective function length is 167 literals
3.29/1.84	c cleaning 2495 clauses out of 5000 with flag 13971/5000
4.00/2.49	c cleaning 4248 clauses out of 8505 with flag 32070/11000
4.90/3.26	c cleaning 5625 clauses out of 11257 with flag 53953/18000
6.21/4.48	c cleaning 6816 clauses out of 13634 with flag 77068/26002
7.67/5.83	c cleaning 7905 clauses out of 15816 with flag 106384/35000
9.23/7.31	c cleaning 8951 clauses out of 17912 with flag 139500/45001
10.73/8.84	c cleaning 9976 clauses out of 19962 with flag 180066/56002
12.42/10.59	c cleaning 10982 clauses out of 21984 with flag 222033/68000
14.42/12.53	c cleaning 11997 clauses out of 24003 with flag 271192/81001
16.72/14.82	c cleaning 12992 clauses out of 26005 with flag 322041/95000
19.12/17.25	c cleaning 13999 clauses out of 28014 with flag 377458/110001
21.82/19.99	c cleaning 14998 clauses out of 30014 with flag 439528/126000
24.75/22.88	c cleaning 16000 clauses out of 32016 with flag 503968/143000
28.08/26.16	c cleaning 17002 clauses out of 34019 with flag 571005/161003
31.88/29.91	c cleaning 17998 clauses out of 36016 with flag 640768/180002
35.67/33.79	c cleaning 18999 clauses out of 38016 with flag 720066/200000
39.97/38.04	c cleaning 19999 clauses out of 40017 with flag 801835/221000
44.48/42.59	c cleaning 21000 clauses out of 42018 with flag 888935/243000
49.47/47.52	c cleaning 22002 clauses out of 44019 with flag 981691/266001
54.96/53.05	c cleaning 22999 clauses out of 46016 with flag 1076678/290000
60.66/58.72	c cleaning 24000 clauses out of 48017 with flag 1176387/315000
66.45/64.53	c cleaning 25004 clauses out of 50019 with flag 1281245/341002
72.67/70.70	c cleaning 25999 clauses out of 52014 with flag 1388501/368001
80.09/78.18	c cleaning 26996 clauses out of 54014 with flag 1498628/396000
87.97/86.05	c cleaning 28004 clauses out of 56018 with flag 1613709/425000
95.97/94.05	c cleaning 28999 clauses out of 58014 with flag 1737207/455000
104.65/102.78	c cleaning 29999 clauses out of 60016 with flag 1865287/486001
113.96/112.04	c cleaning 30998 clauses out of 62016 with flag 1997125/518000
122.74/120.80	c cleaning 32000 clauses out of 64018 with flag 2131829/551000
132.03/130.15	c cleaning 32997 clauses out of 66019 with flag 2272930/585001
142.11/140.24	c cleaning 34001 clauses out of 68021 with flag 2419575/620000
153.41/151.55	c cleaning 35002 clauses out of 70020 with flag 2567574/656000
164.89/163.01	c cleaning 35999 clauses out of 72021 with flag 2711918/693003
176.49/174.61	c cleaning 37001 clauses out of 74020 with flag 2865709/731001
187.98/186.12	c cleaning 38001 clauses out of 76018 with flag 3025213/770000
200.97/199.19	c cleaning 39001 clauses out of 78019 with flag 3190824/810002
215.17/213.30	c cleaning 40001 clauses out of 80018 with flag 3365471/851002
228.85/227.01	c cleaning 40997 clauses out of 82017 with flag 3538394/893002
243.44/241.66	c cleaning 42001 clauses out of 84020 with flag 3716304/936002
257.35/255.55	c cleaning 42998 clauses out of 86017 with flag 3901870/980000
273.61/271.84	c cleaning 44000 clauses out of 88019 with flag 4099729/1025000
289.31/287.51	c cleaning 45003 clauses out of 90021 with flag 4298106/1071002
306.00/304.22	c cleaning 45998 clauses out of 92018 with flag 4498305/1118002
323.56/321.80	c cleaning 47002 clauses out of 94019 with flag 4709938/1166001
342.95/341.22	c cleaning 47998 clauses out of 96016 with flag 4931543/1215000
364.32/362.67	c cleaning 48997 clauses out of 98018 with flag 5155684/1265000
384.11/382.43	c cleaning 49999 clauses out of 100021 with flag 5377650/1316000
404.07/402.41	c cleaning 51000 clauses out of 102023 with flag 5602681/1368001
423.66/422.09	c cleaning 52004 clauses out of 104022 with flag 5836135/1421000
438.86/437.29	c cleaning 52996 clauses out of 106018 with flag 6078529/1475000
454.78/453.13	c cleaning 54001 clauses out of 108025 with flag 6324428/1530003
471.04/469.44	c cleaning 54999 clauses out of 110021 with flag 6571943/1586000
487.55/485.90	c cleaning 55996 clauses out of 112022 with flag 6812056/1643000
506.67/505.09	c cleaning 56999 clauses out of 114027 with flag 7055318/1701001
526.40/524.79	c cleaning 58004 clauses out of 116029 with flag 7294607/1760002
547.00/545.38	c cleaning 58997 clauses out of 118023 with flag 7557244/1820000
569.88/568.27	c cleaning 60002 clauses out of 120026 with flag 7820050/1881000
592.59/590.99	c cleaning 61006 clauses out of 122024 with flag 8082800/1943000
615.20/613.53	c cleaning 61996 clauses out of 124018 with flag 8351070/2006000
637.12/635.47	c cleaning 63002 clauses out of 126023 with flag 8653275/2070001
661.14/659.49	c cleaning 63999 clauses out of 128020 with flag 8954009/2135000
687.24/685.52	c cleaning 64999 clauses out of 130021 with flag 9249539/2201000
715.38/713.72	c cleaning 66000 clauses out of 132022 with flag 9549265/2268000
739.78/738.16	c cleaning 66996 clauses out of 134022 with flag 9866385/2336000
765.65/764.04	c cleaning 68002 clauses out of 136026 with flag 10186466/2405000
793.75/792.13	c cleaning 69000 clauses out of 138025 with flag 10493827/2475001
823.63/822.05	c cleaning 70004 clauses out of 140025 with flag 10811963/2546001
854.32/852.70	c cleaning 71000 clauses out of 142022 with flag 11126244/2618002
886.09/884.50	c cleaning 71999 clauses out of 144020 with flag 11438841/2691000
916.65/915.05	c cleaning 73001 clauses out of 146021 with flag 11776919/2765000
945.96/944.38	c cleaning 73995 clauses out of 148022 with flag 12116854/2840002
975.05/973.45	c cleaning 75005 clauses out of 150026 with flag 12460650/2916001
1009.92/1008.31	c cleaning 76001 clauses out of 152020 with flag 12795227/2993000
1050.17/1048.62	c cleaning 76999 clauses out of 154019 with flag 13131317/3071000
1090.81/1089.34	c cleaning 77997 clauses out of 156020 with flag 13477774/3150000
1129.70/1128.21	c cleaning 79002 clauses out of 158023 with flag 13822374/3230000
1170.97/1169.51	c cleaning 80000 clauses out of 160021 with flag 14176996/3311000
1218.49/1217.01	c cleaning 80999 clauses out of 162022 with flag 14517909/3393001
1261.33/1259.93	c cleaning 82000 clauses out of 164022 with flag 14870574/3476000
1302.10/1300.77	c cleaning 83000 clauses out of 166022 with flag 15234807/3560000
1347.77/1346.43	c cleaning 84002 clauses out of 168024 with flag 15597385/3645002
1390.52/1388.85	c cleaning 84998 clauses out of 170021 with flag 15974997/3731001
1436.76/1435.13	c cleaning 86000 clauses out of 172025 with flag 16349484/3818003
1484.34/1482.79	c cleaning 87002 clauses out of 174023 with flag 16748867/3906001
1541.98/1540.41	c cleaning 87999 clauses out of 176022 with flag 17129209/3995002
1593.81/1592.31	c cleaning 89005 clauses out of 178021 with flag 17546013/4085000
1640.25/1638.89	c cleaning 89998 clauses out of 180016 with flag 17969654/4176000
1685.82/1684.41	c cleaning 91000 clauses out of 182022 with flag 18411020/4268004
1732.19/1730.84	c cleaning 92001 clauses out of 184020 with flag 18849595/4361002
1783.74/1782.44	c cleaning 92994 clauses out of 186018 with flag 19289609/4455001
1838.71/1837.40	c cleaning 94006 clauses out of 188025 with flag 19712994/4550002
1895.93/1894.76	c cleaning 94998 clauses out of 190018 with flag 20124208/4646001
1953.73/1952.57	c cleaning 96001 clauses out of 192022 with flag 20555702/4743003
2005.89/2004.78	c cleaning 97001 clauses out of 194018 with flag 20993851/4841000
2067.48/2066.49	c cleaning 97996 clauses out of 196019 with flag 21412164/4940002
2127.45/2126.42	c cleaning 98998 clauses out of 198021 with flag 21844398/5040000
2185.23/2184.21	c cleaning 100004 clauses out of 200025 with flag 22281109/5141002
2244.96/2243.94	c cleaning 100994 clauses out of 202019 with flag 22734732/5243000
2266.53/2265.33	c cleaning 101991 clauses out of 204025 with flag 23012022/5346000
2276.58/2275.31	c cleaning 102992 clauses out of 206035 with flag 23228351/5450001
2286.38/2285.05	c cleaning 103997 clauses out of 208044 with flag 23450747/5555002
2296.06/2294.67	c cleaning 104997 clauses out of 210050 with flag 23675984/5661005
2306.68/2305.28	c cleaning 105996 clauses out of 212048 with flag 23901845/5768000
2317.68/2315.81	c cleaning 106999 clauses out of 214052 with flag 24128870/5876000
2327.88/2326.09	c cleaning 108002 clauses out of 216056 with flag 24359247/5985003
2338.35/2336.46	c cleaning 109005 clauses out of 218051 with flag 24590096/6095000
2350.22/2348.23	c cleaning 109993 clauses out of 220046 with flag 24821296/6206000
2360.95/2358.98	c cleaning 110998 clauses out of 222055 with flag 25054506/6318002
2372.53/2370.41	c cleaning 111997 clauses out of 224055 with flag 25291246/6431000
2383.80/2381.68	c cleaning 113000 clauses out of 226059 with flag 25531389/6545001
2394.34/2392.13	c cleaning 114003 clauses out of 228060 with flag 25772063/6660002
2405.81/2403.57	c cleaning 115001 clauses out of 230056 with flag 26017739/6776001
2416.15/2413.85	c cleaning 115994 clauses out of 232054 with flag 26262184/6893000
2426.73/2424.37	c cleaning 117002 clauses out of 234063 with flag 26506968/7011003
2438.04/2435.53	c cleaning 117999 clauses out of 236058 with flag 26754829/7130000
2449.45/2446.96	c cleaning 119001 clauses out of 238061 with flag 27005585/7250002
2461.50/2459.00	c cleaning 120004 clauses out of 240064 with flag 27258618/7371006
2473.37/2470.72	c cleaning 121000 clauses out of 242055 with flag 27514150/7493001
2484.69/2482.06	c cleaning 121998 clauses out of 244058 with flag 27770427/7616004
2496.53/2493.80	c cleaning 122998 clauses out of 246056 with flag 28027775/7740000
2508.68/2505.98	c cleaning 124007 clauses out of 248060 with flag 28286892/7865002
2521.62/2518.87	c cleaning 124999 clauses out of 250051 with flag 28548995/7991000
2533.09/2530.22	c cleaning 126003 clauses out of 252053 with flag 28815530/8118001
2544.95/2542.06	c cleaning 126997 clauses out of 254051 with flag 29081293/8246002
2556.98/2554.07	c cleaning 127997 clauses out of 256052 with flag 29351071/8375000
2570.39/2567.47	c cleaning 129002 clauses out of 258055 with flag 29622302/8505000
2582.53/2579.42	c cleaning 130002 clauses out of 260053 with flag 29894394/8636000
2594.80/2591.36	c cleaning 131001 clauses out of 262054 with flag 30168608/8768003
2608.23/2604.70	c cleaning 131997 clauses out of 264052 with flag 30446218/8901002
2620.13/2616.63	c cleaning 133000 clauses out of 266054 with flag 30724652/9035001
2633.88/2630.31	c cleaning 134005 clauses out of 268055 with flag 31008068/9170002
2646.96/2643.33	c cleaning 134993 clauses out of 270048 with flag 31295713/9306000
2659.35/2655.60	c cleaning 136001 clauses out of 272056 with flag 31581745/9443001
2672.67/2668.94	c cleaning 136996 clauses out of 274054 with flag 31869067/9581000
2686.48/2682.76	c cleaning 137999 clauses out of 276058 with flag 32161143/9720000
2700.18/2696.34	c cleaning 139000 clauses out of 278060 with flag 32456529/9860001
2715.79/2711.64	c cleaning 140004 clauses out of 280059 with flag 32750880/10001000
2731.05/2726.80	c cleaning 141003 clauses out of 282057 with flag 33053721/10143002
2746.27/2742.01	c cleaning 142000 clauses out of 284053 with flag 33357779/10286001
2760.77/2756.41	c cleaning 143001 clauses out of 286054 with flag 33663623/10430002
2776.18/2771.45	c cleaning 143998 clauses out of 288052 with flag 33967940/10575001
2792.14/2786.79	c cleaning 145000 clauses out of 290054 with flag 34276270/10721001
2807.30/2801.55	c cleaning 146002 clauses out of 292053 with flag 34588746/10868000
2822.50/2816.01	c cleaning 147001 clauses out of 294052 with flag 34902281/11016001
2838.54/2831.70	c cleaning 147997 clauses out of 296051 with flag 35216237/11165001
2856.63/2849.47	c cleaning 148999 clauses out of 298055 with flag 35536395/11315002
2873.61/2866.05	c cleaning 149999 clauses out of 300054 with flag 35861941/11466000
2890.62/2882.33	c cleaning 150999 clauses out of 302055 with flag 36185141/11618000
2907.25/2898.63	c cleaning 152003 clauses out of 304056 with flag 36505961/11771000
2923.77/2914.43	c cleaning 152994 clauses out of 306055 with flag 36830887/11925002
2939.83/2930.14	c cleaning 154007 clauses out of 308059 with flag 37156911/12080000
2957.79/2947.77	c cleaning 155002 clauses out of 310053 with flag 37482321/12236001
2973.46/2962.79	c cleaning 155997 clauses out of 312050 with flag 37808414/12393000
2989.34/2977.96	c cleaning 157002 clauses out of 314053 with flag 38137376/12551000
3006.04/2994.27	c cleaning 158001 clauses out of 316054 with flag 38471788/12710003
3022.73/3010.59	c cleaning 158994 clauses out of 318052 with flag 38805478/12870002
3037.99/3025.46	c cleaning 160000 clauses out of 320058 with flag 39138686/13031002
3054.75/3041.80	c cleaning 160996 clauses out of 322056 with flag 39475045/13193000
3069.93/3056.95	c cleaning 162005 clauses out of 324061 with flag 39816583/13356001
3088.11/3074.31	c cleaning 163000 clauses out of 326059 with flag 40159638/13520004
3104.60/3090.45	c cleaning 164002 clauses out of 328055 with flag 40502710/13685000
3122.79/3108.25	c cleaning 165001 clauses out of 330053 with flag 40847817/13851000
3140.43/3125.50	c cleaning 166003 clauses out of 332052 with flag 41196640/14018000
3159.52/3143.97	c cleaning 167000 clauses out of 334050 with flag 41546991/14186001
3180.49/3164.52	c cleaning 167992 clauses out of 336049 with flag 41898857/14355000
3198.95/3182.37	c cleaning 169003 clauses out of 338057 with flag 42254134/14525000
3219.53/3202.21	c cleaning 169999 clauses out of 340054 with flag 42609654/14696000
3236.77/3219.07	c cleaning 170998 clauses out of 342055 with flag 42967837/14868000
3255.39/3237.29	c cleaning 171998 clauses out of 344057 with flag 43328273/15041000
3272.48/3254.21	c cleaning 173000 clauses out of 346059 with flag 43690731/15215000
3290.77/3272.42	c cleaning 173997 clauses out of 348059 with flag 44054734/15390000
3307.76/3289.05	c cleaning 175005 clauses out of 350064 with flag 44422458/15566002
3325.04/3306.20	c cleaning 175997 clauses out of 352059 with flag 44790629/15743002
3343.73/3324.89	c cleaning 177000 clauses out of 354061 with flag 45161900/15921001
3361.77/3342.85	c cleaning 178002 clauses out of 356065 with flag 45538712/16100005
3380.06/3361.06	c cleaning 178996 clauses out of 358058 with flag 45918608/16280000
3401.35/3381.98	c cleaning 180002 clauses out of 360063 with flag 46302348/16461001
3421.87/3402.33	c cleaning 181002 clauses out of 362063 with flag 46686990/16643003
3442.36/3422.48	c cleaning 182000 clauses out of 364058 with flag 47073521/16826000
3463.34/3443.30	c cleaning 182996 clauses out of 366058 with flag 47459025/17010000
3480.62/3460.58	c cleaning 184003 clauses out of 368062 with flag 47847320/17195000
3498.79/3478.62	c cleaning 184998 clauses out of 370059 with flag 48236521/17381000
3519.01/3498.46	c cleaning 186008 clauses out of 372063 with flag 48628221/17568002
3538.79/3518.12	c cleaning 186995 clauses out of 374053 with flag 49027628/17756000
3557.87/3537.13	c cleaning 188003 clauses out of 376058 with flag 49426605/17945000
3575.93/3555.14	c cleaning 189001 clauses out of 378055 with flag 49825608/18135000
3594.27/3573.45	c cleaning 189996 clauses out of 380056 with flag 50225885/18326002
3600.05/3579.12	c starts		: 367
3600.05/3579.13	c timeout
3600.05/3579.13	c conflicts		: 18412060
3600.05/3579.13	c decisions		: 20237939
3600.05/3579.13	c propagations		: 142773468
3600.05/3579.13	c inspects		: 31583809914
3600.05/3579.13	c shortcuts		: 0
3600.05/3579.13	c learnt literals	: 0
3600.05/3579.13	c learnt binary clauses	: 0
3600.05/3579.13	c learnt ternary clauses	: 0
3600.05/3579.13	c learnt constraints	: 18412060
3600.05/3579.13	c ignored constraints	: 0
3600.05/3579.13	c root simplifications	: 0
3600.05/3579.13	c removed literals (reason simplification)	: 8777343
3600.05/3579.13	c reason swapping (by a shorter reason)	: 0
3600.05/3579.13	c Calls to reduceDB	: 187
3600.05/3579.13	c Number of update (reduction) of LBD	: 1720885
3600.05/3579.14	c Imported unit clauses	: 0
3600.05/3579.14	c No decision after first conflict	: false
3600.05/3579.14	c number of reductions to clauses (during analyze)	: 0
3600.05/3579.14	c number of learned constraints concerned by reduction	: 0
3600.05/3579.14	c number of learning phase by resolution	: 0
3600.05/3579.14	c number of learning phase by cutting planes	: 0
3600.05/3579.14	c number of rounding to 1 operations	: 0
3600.05/3579.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3579.14	c number of reductions of the coefficients by power 2 	: 0
3600.05/3579.14	c number of right shift for reduction by power 2 	: 0
3600.05/3579.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3579.14	c number of ending skipping 	: 0
3600.05/3579.14	c number of internal skipping 	: 0
3600.05/3579.14	c number of derivation steps 	: 0
3600.05/3579.14	c number of skipped derivation steps 	: 0
3600.05/3579.14	c number of remaining unassigned 	: 0
3600.05/3579.14	c number of remaining assigned 	: 0
3600.05/3579.14	c number of falsified literals weakened from reason	: 0
3600.05/3579.14	c number of falsified literals weakened from conflict	: 0
3600.05/3579.14	c time for arithmetic operations	: 0
3600.05/3579.14	c minimum degree of deleted constraints	: null
3600.05/3579.14	c maximum degree of deleted constraints	: null
3600.05/3579.14	c number of deleted constraints	: 0
3600.05/3579.14	c speed (assignments/second)	: 39898.42120441848
3600.05/3579.14	c non guided choices	: 347
3600.05/3579.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 276118
3600.05/3579.20	s UNKNOWN
3600.05/3579.20	c Total wall clock time (in seconds): 3579.06

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523708-1751604801/watcher-4523708-1751604801 -o /tmp/evaluation-result-4523708-1751604801/solver-4523708-1751604801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85761 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4523708-1751604801.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 5.17 4.87 4.58 5/337 86597
/proc/meminfo: memFree=107719808/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=18930384 memory=59440 CPUtime=0.12 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 6452 0 0 0 11 1 0 0 20 0 18 0 76160031 19384713216 14860 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4732596 14860 5363 1 0 547588 0
[pid=86579/tid=86581] ppid=86576 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 5046 0 0 0 7 0 0 0 20 0 18 0 76160033 19384713216 14860 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76160035 19384713216 14860 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=18930384 memory=61784027586760 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76160035 19384713216 14860 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59440 KiB

[startup+0.205653 s]*
/proc/loadavg: 5.17 4.87 4.58 6/337 86597
/proc/meminfo: memFree=107710368/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=18930732 memory=74280 CPUtime=0.32 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 7262 0 0 0 30 2 0 0 20 0 18 0 76160031 19385069568 18570 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4732683 18570 5427 1 0 548123 0
[pid=86579/tid=86581] ppid=86576 vsize=18930732 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 5266 0 0 0 17 0 0 0 20 0 18 0 76160033 19385069568 18570 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=18930732 memory=18954 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76160035 19385069568 18570 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=18930732 memory=60684515935208 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76160035 19385069568 18570 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930732 KiB
Current children cumulated memory: 74280 KiB

[startup+0.305688 s]*
/proc/loadavg: 5.17 4.87 4.58 6/337 86597
/proc/meminfo: memFree=107677412/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=18930384 memory=104624 CPUtime=0.5 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 9368 0 0 0 48 2 0 0 20 0 18 0 76160031 19384713216 26156 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4732596 26156 5427 1 0 549023 0
[pid=86579/tid=86581] ppid=86576 vsize=18930384 memory=-6000919481262892647 CPUtime=0.28 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 5279 0 0 0 27 1 0 0 20 0 18 0 76160033 19384713216 26156 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76160035 19384713216 26156 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76160035 19384713216 26156 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104624 KiB

[startup+0.70023 s]
/proc/loadavg: 5.17 4.87 4.58 6/338 86598
/proc/meminfo: memFree=107611028/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=18996948 memory=194132 CPUtime=1.26 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 10812 0 0 0 121 5 0 0 20 0 19 0 76160031 19452874752 48533 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4749237 48533 5491 1 0 549987 0
[pid=86579/tid=86581] ppid=86576 vsize=18996948 memory=18816 CPUtime=0.6 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 5372 0 0 0 57 3 0 0 20 0 19 0 76160033 19452874752 48533 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76160035 19452874752 48533 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76160035 19452874752 48533 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 194132 KiB

[startup+1.50027 s]
/proc/loadavg: 5.17 4.87 4.58 6/339 86599
/proc/meminfo: memFree=107588548/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=211812 CPUtime=2.86 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 12740 0 0 0 279 7 0 0 20 0 20 0 76160031 19521036288 52953 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 52953 5523 1 0 551436 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=3328 CPUtime=1.33 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 5445 0 0 0 130 3 0 0 20 0 20 0 76160033 19521036288 52953 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 52953 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 52953 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 52953 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211812 KiB

[startup+3.10799 s]
/proc/loadavg: 5.08 4.86 4.58 5/339 86599
/proc/meminfo: memFree=107554268/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=234844 CPUtime=4.81 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 16068 0 0 0 473 8 0 0 20 0 20 0 76160031 19521036288 58711 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 58711 5523 1 0 551487 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=14720 CPUtime=2.89 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 6003 0 0 0 286 3 0 0 20 0 20 0 76160033 19521036288 58711 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 58711 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 58711 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 58711 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 234844 KiB

[startup+6.30023 s]
/proc/loadavg: 5.08 4.86 4.58 5/339 86599
/proc/meminfo: memFree=107361820/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=423400 CPUtime=8.23 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 19266 0 0 0 810 13 0 0 20 0 20 0 76160031 19521036288 105850 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 105850 5523 1 0 551513 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=0 CPUtime=6.06 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 6510 0 0 0 599 7 0 0 20 0 20 0 76160033 19521036288 105850 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 105850 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 105850 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=211940 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 105850 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 423400 KiB

[startup+12.7003 s]
/proc/loadavg: 4.99 4.84 4.57 5/339 86599
/proc/meminfo: memFree=107087624/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=775720 CPUtime=14.63 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 21499 0 0 0 1443 20 0 0 20 0 20 0 76160031 19521036288 193930 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 193930 5523 1 0 551513 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=211940 CPUtime=12.42 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 7755 0 0 0 1229 13 0 0 20 0 20 0 76160033 19521036288 193930 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=648744 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 193930 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 193930 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 193930 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 775720 KiB

[startup+25.5002 s]
/proc/loadavg: 4.77 4.80 4.56 5/339 86599
/proc/meminfo: memFree=106432268/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1355472 CPUtime=27.48 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 25209 0 0 0 2716 32 0 0 20 0 20 0 76160031 19521036288 338868 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 338868 5555 1 0 551513 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=0 CPUtime=25.17 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 8991 0 0 0 2494 23 0 0 20 0 20 0 76160033 19521036288 338868 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 338868 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1355472 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 338868 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=1349328 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 338868 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 27.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1355472 KiB

[startup+51.1057 s]
/proc/loadavg: 4.58 4.75 4.55 5/339 86600
/proc/meminfo: memFree=106415892/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1371888 CPUtime=53.07 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 26860 0 0 0 5274 33 0 0 20 0 20 0 76160031 19521036288 342972 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 342972 5555 1 0 551513 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=1355472 CPUtime=50.68 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 10006 0 0 0 5044 24 0 0 20 0 20 0 76160033 19521036288 342972 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=28160 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 342972 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=2308 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 342972 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=790056 CPUtime=0 cores=1,3

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

/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 275339 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1101356 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1197 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 275339 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 275339 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3178.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1101356 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/339 86965
/proc/meminfo: memFree=120457372/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1209676 CPUtime=3240.08 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 107716 0 0 0 323815 193 0 0 20 0 20 0 76160031 19521036288 302419 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 302419 5555 1 0 314115 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=3763235856827506742 CPUtime=3202.71 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 49186 0 0 0 320207 64 0 0 20 0 20 0 76160033 19521036288 302419 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1206732 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 302419 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1213 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 302419 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 302419 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3240.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1209676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.15 4.14 5/339 86967
/proc/meminfo: memFree=120269032/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3301.02 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 109988 0 0 0 329903 199 0 0 20 0 20 0 76160031 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 352443 5555 1 0 364227 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=-6000919481262892647 CPUtime=3262.11 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 50420 0 0 0 326144 67 0 0 20 0 20 0 76160033 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1406412 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1213 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3301.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1409772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/339 86969
/proc/meminfo: memFree=120273848/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3361.27 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 110051 0 0 0 335927 200 0 0 20 0 20 0 76160031 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 352443 5555 1 0 364227 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=2724 CPUtime=3321.6 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 50433 0 0 0 332092 68 0 0 20 0 20 0 76160033 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1214 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3361.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1409772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/339 86971
/proc/meminfo: memFree=120257536/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3421.87 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 110116 0 0 0 341984 203 0 0 20 0 20 0 76160031 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 352443 5555 1 0 364227 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3381.03 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 50448 0 0 0 338035 68 0 0 20 0 20 0 76160033 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1214 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3421.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1409772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/339 86973
/proc/meminfo: memFree=120270400/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3482.41 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 110993 0 0 0 348037 204 0 0 20 0 20 0 76160031 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 352443 5555 1 0 364227 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3440.46 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 51275 0 0 0 343978 68 0 0 20 0 20 0 76160033 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1214 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 352443 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3482.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1409772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/338 86975
/proc/meminfo: memFree=120001836/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1680644 CPUtime=3543 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 111449 0 0 0 354088 212 0 0 20 0 20 0 76160031 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 420161 5555 1 0 433131 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=1409772 CPUtime=3499.86 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 51500 0 0 0 349913 73 0 0 20 0 20 0 76160033 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1409772 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1680644 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1214 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3543 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1680644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.11 s]
/proc/loadavg: 4.14 4.14 4.13 5/338 86977
/proc/meminfo: memFree=120000308/131250000 swapFree=33010416/33010684
[pid=86579] ppid=86576 vsize=19063512 memory=1680644 CPUtime=3600.05 cores=1,3
/proc/86579/stat : 86579 (java) S 86576 86579 85745 0 -1 4194304 112261 0 0 0 359792 213 0 0 20 0 20 0 76160031 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
/proc/86579/statm: 4765878 420161 5555 1 0 433131 0
[pid=86579/tid=86581] ppid=86576 vsize=19063512 memory=14720 CPUtime=3556.15 cores=1,3
/proc/86579/task/86581/stat : 86581 (java) R 86576 86579 85745 0 -1 4194368 52133 0 0 0 355542 73 0 0 20 0 20 0 76160033 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86590] ppid=86576 vsize=19063512 memory=1680644 CPUtime=0 cores=1,3
/proc/86579/task/86590/stat : 86590 (Finalizer) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86597] ppid=86576 vsize=19063512 memory=1680644 CPUtime=0 cores=1,3
/proc/86579/task/86597/stat : 86597 (Common-Cleaner) S 86576 86579 85745 0 -1 4194368 1214 0 0 0 0 0 0 0 20 0 20 0 76160035 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
[pid=86579/tid=86599] ppid=86576 vsize=19063512 memory=-6000919481262892647 CPUtime=0 cores=1,3
/proc/86579/task/86599/stat : 86599 (Timer-0) S 86576 86579 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76160103 19521036288 420161 18446744073709551615 93963587383296 93963587386992 140728560293760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963587394808 93963587395600 93963606151168 140728560298369 140728560298470 140728560298470 140728560304072 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1680644 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.05 s, system=2.1514 s

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

[startup+3579.2 s]*
/proc/loadavg: 4.14 4.14 4.13 5/320 86980
/proc/meminfo: memFree=120051508/131250000 swapFree=33010416/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): 3579.21
CPU time (s): 3600.21
CPU user time (s): 3598.05
CPU system time (s): 2.1514
CPU usage (%): 100.587
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2168184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.05
system time used= 2.1514
maximum resident set size= 2168184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125158
involuntary context switches= 7022


# summary of solver processes directly reported to runsolver:
#   pid: 86579
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.05
#   total CPU system time (s): 2.1514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47504 second user time and 17.8283 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 06:53:21
IDJOB=4523708
IDBENCH=180370
IDSOLVER=3363
FILE ID=nodeC027/4523708-1751604801
RUNJOBID= nodeC027-1751598323-85761
SLURM_JOB_ID= 9598871
Free space on /tmp= 431172 MiB

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

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

MD5SUM BENCH= 125f46ef4151ea54a587951799140dfb
RANDOM SEED=139911336

nodeC027 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.662
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.29
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.776
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.29
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		: 3598.205
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.29
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.575
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.29
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.649
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.29
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.634
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.29
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		: 3612.843
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.29
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		: 3600.444
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        107750852 kB
MemAvailable:   108084048 kB
Buffers:            2488 kB
Cached:          1131624 kB
SwapCached:           12 kB
Active:         22278272 kB
Inactive:         591080 kB
Active(anon):   21750508 kB
Inactive(anon):     2792 kB
Active(file):     527764 kB
Inactive(file):   588288 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3592 kB
Writeback:            24 kB
AnonPages:      21738356 kB
Mapped:           124152 kB
Shmem:             18056 kB
KReclaimable:     112364 kB
Slab:             202816 kB
SReclaimable:     112364 kB
SUnreclaim:        90452 kB
KernelStack:        5168 kB
PageTables:        46184 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   23069112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21397504 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431168 MiB
End job on nodeC027 at 2025-07-04 07:53:01