Trace number 4515930

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.28 3468.64

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
MD5SUM97ac09d7b638be47b4d5a322b09a2581
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.971775
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1288
Total number of constraints2577
Number of constraints which are clauses2576
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint1288
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 1295
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.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4515930-1751236011.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c  no objective function found
0.32/0.21	c ... done. Wall clock time 0.073s.
0.32/0.21	c declared #vars     1288
0.32/0.21	c #constraints  2577
0.32/0.21	c constraints type 
0.32/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2576
0.32/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.32/0.21	c 2577 constraints processed.
1.57/1.00	c cleaning 2500 clauses out of 5000 with flag 10671/5000
2.54/1.69	c cleaning 4250 clauses out of 8500 with flag 23422/11000
3.51/2.41	c cleaning 5624 clauses out of 11250 with flag 38278/18000
4.55/3.39	c cleaning 6814 clauses out of 13628 with flag 55231/26002
5.61/4.37	c cleaning 7905 clauses out of 15814 with flag 74413/35002
6.94/5.58	c cleaning 8954 clauses out of 17907 with flag 95675/45000
8.27/6.84	c cleaning 9973 clauses out of 19953 with flag 118998/56000
9.96/8.40	c cleaning 10990 clauses out of 21980 with flag 144346/68000
12.10/10.31	c cleaning 11995 clauses out of 23990 with flag 171962/81000
13.91/12.14	c cleaning 12999 clauses out of 25997 with flag 201632/95002
16.18/14.22	c cleaning 13998 clauses out of 27997 with flag 233414/110001
18.62/16.59	c cleaning 14999 clauses out of 29999 with flag 267443/126001
21.59/19.40	c cleaning 15998 clauses out of 32000 with flag 303747/143001
24.83/22.43	c cleaning 17001 clauses out of 34001 with flag 342011/161000
27.89/25.36	c cleaning 17998 clauses out of 36000 with flag 382399/180000
31.09/28.48	c cleaning 18998 clauses out of 38004 with flag 424757/200002
35.02/32.21	c cleaning 19999 clauses out of 40006 with flag 469249/221002
39.48/36.57	c cleaning 21000 clauses out of 42005 with flag 515851/243000
44.09/40.89	c cleaning 21997 clauses out of 44005 with flag 564677/266000
49.63/45.48	c cleaning 23003 clauses out of 46008 with flag 615641/290000
53.08/48.72	c cleaning 23998 clauses out of 48006 with flag 668806/315001
57.09/52.44	c cleaning 25003 clauses out of 50007 with flag 723333/341000
61.67/56.82	c cleaning 25998 clauses out of 52004 with flag 780595/368000
65.70/60.79	c cleaning 26999 clauses out of 54006 with flag 839964/396000
70.89/65.67	c cleaning 28002 clauses out of 56008 with flag 901349/425001
75.54/70.17	c cleaning 28999 clauses out of 58006 with flag 964898/455001
80.34/74.66	c cleaning 30002 clauses out of 60008 with flag 1030714/486002
85.07/79.29	c cleaning 30997 clauses out of 62006 with flag 1098706/518002
91.22/84.08	c cleaning 32000 clauses out of 64007 with flag 1168822/551000
96.26/88.74	c cleaning 33004 clauses out of 66007 with flag 1241009/585000
102.15/94.45	c cleaning 33999 clauses out of 68005 with flag 1315153/620002
108.03/99.98	c cleaning 35001 clauses out of 70004 with flag 1391604/656000
114.91/106.48	c cleaning 35993 clauses out of 72003 with flag 1470076/693000
120.49/111.84	c cleaning 37004 clauses out of 74010 with flag 1550582/731000
126.85/117.99	c cleaning 37993 clauses out of 76006 with flag 1633174/770000
134.61/124.28	c cleaning 39003 clauses out of 78014 with flag 1718150/810001
143.38/132.60	c cleaning 40000 clauses out of 80010 with flag 1805248/851000
151.00/139.84	c cleaning 41000 clauses out of 82010 with flag 1894308/893000
159.39/147.80	c cleaning 42000 clauses out of 84012 with flag 1985471/936002
166.83/154.99	c cleaning 42999 clauses out of 86010 with flag 2078850/980000
175.35/163.27	c cleaning 44000 clauses out of 88011 with flag 2174332/1025000
184.11/171.74	c cleaning 45000 clauses out of 90012 with flag 2271849/1071001
191.03/178.38	c cleaning 45997 clauses out of 92011 with flag 2371382/1118000
199.20/185.93	c cleaning 47006 clauses out of 94014 with flag 2473260/1166000
207.34/193.65	c cleaning 48004 clauses out of 96008 with flag 2577118/1215000
217.30/203.12	c cleaning 48997 clauses out of 98004 with flag 2682958/1265000
229.46/213.00	c cleaning 49997 clauses out of 100008 with flag 2791431/1316001
238.73/221.99	c cleaning 51004 clauses out of 102010 with flag 2901948/1368000
248.48/231.32	c cleaning 52003 clauses out of 104006 with flag 3014345/1421000
257.61/240.01	c cleaning 52998 clauses out of 106004 with flag 3128692/1475001
267.63/249.50	c cleaning 53998 clauses out of 108005 with flag 3245384/1530000
279.29/260.67	c cleaning 55004 clauses out of 110007 with flag 3364085/1586000
289.53/270.32	c cleaning 55996 clauses out of 112003 with flag 3484902/1643000
300.99/281.59	c cleaning 57001 clauses out of 114007 with flag 3608012/1701000
314.12/294.25	c cleaning 57998 clauses out of 116006 with flag 3732958/1760000
326.45/306.15	c cleaning 58996 clauses out of 118008 with flag 3860242/1820000
338.61/317.91	c cleaning 60000 clauses out of 120012 with flag 3989572/1881000
348.52/327.46	c cleaning 61008 clauses out of 122015 with flag 4121027/1943003
359.75/338.38	c cleaning 61992 clauses out of 124004 with flag 4254505/2006000
373.53/350.10	c cleaning 63006 clauses out of 126014 with flag 4390325/2070002
385.00/361.06	c cleaning 63996 clauses out of 128006 with flag 4528421/2135000
398.11/373.61	c cleaning 65003 clauses out of 130011 with flag 4668534/2201001
411.63/386.50	c cleaning 66001 clauses out of 132008 with flag 4810779/2268001
424.83/399.06	c cleaning 66993 clauses out of 134006 with flag 4955258/2336000
436.56/410.12	c cleaning 68004 clauses out of 136015 with flag 5101588/2405002
452.04/425.35	c cleaning 69001 clauses out of 138010 with flag 5250281/2475001
470.97/443.88	c cleaning 69997 clauses out of 140009 with flag 5400842/2546001
488.26/460.58	c cleaning 71000 clauses out of 142011 with flag 5553295/2618000
504.53/476.28	c cleaning 71999 clauses out of 144011 with flag 5708406/2691000
520.00/491.29	c cleaning 73002 clauses out of 146012 with flag 5865448/2765000
538.38/508.83	c cleaning 74001 clauses out of 148010 with flag 6024158/2840000
555.79/523.68	c cleaning 75001 clauses out of 150009 with flag 6185925/2916000
577.57/544.88	c cleaning 75996 clauses out of 152008 with flag 6349271/2993000
596.64/563.16	c cleaning 77007 clauses out of 154015 with flag 6514890/3071003
614.68/580.89	c cleaning 77996 clauses out of 156006 with flag 6682430/3150001
637.88/603.30	c cleaning 78999 clauses out of 158010 with flag 6852248/3230001
660.77/625.47	c cleaning 80000 clauses out of 160011 with flag 7024256/3311001
681.29/645.65	c cleaning 80998 clauses out of 162010 with flag 7198153/3393000
701.39/665.10	c cleaning 82005 clauses out of 164014 with flag 7374535/3476002
722.95/686.08	c cleaning 82997 clauses out of 166008 with flag 7552944/3560001
743.43/705.76	c cleaning 84000 clauses out of 168010 with flag 7732804/3645000
766.96/728.59	c cleaning 84999 clauses out of 170012 with flag 7915705/3731002
791.06/751.79	c cleaning 86005 clauses out of 172013 with flag 8100290/3818002
819.99/780.24	c cleaning 86999 clauses out of 174007 with flag 8287279/3906001
849.67/809.20	c cleaning 87996 clauses out of 176007 with flag 8476609/3995000
874.12/830.11	c cleaning 89001 clauses out of 178012 with flag 8667850/4085001
895.35/850.52	c cleaning 89997 clauses out of 180011 with flag 8860371/4176001
922.18/876.96	c cleaning 90999 clauses out of 182013 with flag 9054509/4268000
956.95/911.07	c cleaning 92008 clauses out of 184015 with flag 9250935/4361001
988.84/942.16	c cleaning 93000 clauses out of 186007 with flag 9449653/4455001
1014.82/967.18	c cleaning 94004 clauses out of 188007 with flag 9651491/4550001
1039.62/991.58	c cleaning 94994 clauses out of 190003 with flag 9854834/4646001
1068.75/1019.95	c cleaning 96002 clauses out of 192011 with flag 10060547/4743003
1097.81/1048.26	c cleaning 97003 clauses out of 194006 with flag 10267837/4841000
1132.78/1082.49	c cleaning 97998 clauses out of 196003 with flag 10477570/4940000
1169.14/1117.94	c cleaning 98997 clauses out of 198005 with flag 10689933/5040000
1202.04/1147.31	c cleaning 99997 clauses out of 200009 with flag 10904272/5141001
1235.72/1180.57	c cleaning 101003 clauses out of 202013 with flag 11120697/5243002
1276.32/1220.27	c cleaning 101999 clauses out of 204008 with flag 11339237/5346000
1325.77/1268.85	c cleaning 102999 clauses out of 206010 with flag 11560223/5450001
1366.53/1308.75	c cleaning 104001 clauses out of 208010 with flag 11783034/5555000
1403.78/1345.09	c cleaning 105001 clauses out of 210011 with flag 12008534/5661002
1435.10/1375.41	c cleaning 106000 clauses out of 212008 with flag 12235616/5768000
1458.11/1397.55	c cleaning 107002 clauses out of 214008 with flag 12463509/5876000
1484.33/1422.96	c cleaning 108003 clauses out of 216007 with flag 12694607/5985001
1506.62/1444.49	c cleaning 108997 clauses out of 218003 with flag 12927952/6095000
1536.00/1469.80	c cleaning 109995 clauses out of 220008 with flag 13163215/6206002
1560.10/1493.15	c cleaning 111006 clauses out of 222011 with flag 13400698/6318000
1588.16/1520.48	c cleaning 111997 clauses out of 224005 with flag 13640701/6431000
1620.32/1551.71	c cleaning 113005 clauses out of 226011 with flag 13882521/6545003
1650.76/1581.30	c cleaning 114001 clauses out of 228006 with flag 14126576/6660003
1687.51/1617.21	c cleaning 114998 clauses out of 230004 with flag 14372388/6776002
1729.74/1658.21	c cleaning 115998 clauses out of 232007 with flag 14620264/6893003
1770.64/1698.26	c cleaning 117003 clauses out of 234007 with flag 14870224/7011001
1803.93/1730.64	c cleaning 117998 clauses out of 236004 with flag 15121980/7130001
1848.76/1771.37	c cleaning 118997 clauses out of 238006 with flag 15376330/7250001
1891.48/1813.50	c cleaning 119994 clauses out of 240008 with flag 15632852/7371000
1934.60/1855.22	c cleaning 121003 clauses out of 242014 with flag 15891789/7493000
1978.90/1898.43	c cleaning 121999 clauses out of 244013 with flag 16152811/7616002
2019.85/1938.46	c cleaning 122997 clauses out of 246013 with flag 16414923/7740001
2074.84/1992.35	c cleaning 124004 clauses out of 248016 with flag 16680089/7865001
2115.56/2032.13	c cleaning 125005 clauses out of 250011 with flag 16947420/7991000
2159.65/2075.44	c cleaning 125996 clauses out of 252006 with flag 17217321/8118000
2212.63/2123.15	c cleaning 127004 clauses out of 254011 with flag 17489210/8246001
2253.82/2163.44	c cleaning 127995 clauses out of 256006 with flag 17763013/8375000
2294.27/2203.11	c cleaning 129000 clauses out of 258011 with flag 18038763/8505000
2337.82/2245.40	c cleaning 129999 clauses out of 260014 with flag 18316676/8636003
2387.87/2294.52	c cleaning 131006 clauses out of 262012 with flag 18596745/8768000
2436.90/2342.49	c cleaning 131994 clauses out of 264008 with flag 18879609/8901002
2483.47/2388.17	c cleaning 132998 clauses out of 266012 with flag 19164209/9035000
2540.58/2438.54	c cleaning 134001 clauses out of 268015 with flag 19450864/9170001
2590.75/2487.81	c cleaning 135001 clauses out of 270014 with flag 19739631/9306001
2657.84/2553.76	c cleaning 136002 clauses out of 272014 with flag 20030666/9443002
2720.61/2615.56	c cleaning 137003 clauses out of 274011 with flag 20324032/9581001
2769.06/2662.52	c cleaning 137997 clauses out of 276009 with flag 20618191/9720002
2821.51/2714.11	c cleaning 139000 clauses out of 278011 with flag 20914306/9860001
2874.37/2765.76	c cleaning 140002 clauses out of 280010 with flag 21212586/10001000
2938.48/2825.23	c cleaning 141000 clauses out of 282009 with flag 21514098/10143001
2991.64/2877.36	c cleaning 142000 clauses out of 284009 with flag 21817880/10286001
3048.42/2932.63	c cleaning 142994 clauses out of 286009 with flag 22124216/10430001
3098.14/2981.03	c cleaning 144003 clauses out of 288014 with flag 22432124/10575000
3154.96/3036.50	c cleaning 144999 clauses out of 290011 with flag 22742058/10721000
3212.01/3092.39	c cleaning 146000 clauses out of 292015 with flag 23053428/10868003
3271.14/3145.57	c cleaning 147006 clauses out of 294012 with flag 23367211/11016000
3330.93/3204.39	c cleaning 148003 clauses out of 296006 with flag 23683479/11165000
3410.43/3282.61	c cleaning 148992 clauses out of 298004 with flag 24001826/11315001
3471.19/3341.67	c cleaning 149999 clauses out of 300011 with flag 24321029/11466000
3530.70/3400.30	c cleaning 151004 clauses out of 302013 with flag 24642956/11618001
3600.09/3468.51	c starts		: 1
3600.09/3468.51	c timeout
3600.09/3468.52	c conflicts		: 11770788
3600.09/3468.52	c decisions		: 12596348
3600.09/3468.52	c propagations		: 62839695
3600.09/3468.52	c inspects		: 5855812497
3600.09/3468.52	c shortcuts		: 0
3600.09/3468.52	c learnt literals	: 0
3600.09/3468.52	c learnt binary clauses	: 0
3600.09/3468.52	c learnt ternary clauses	: 0
3600.09/3468.52	c learnt constraints	: 11770788
3600.09/3468.52	c ignored constraints	: 0
3600.09/3468.53	c root simplifications	: 0
3600.09/3468.53	c removed literals (reason simplification)	: 213096594
3600.09/3468.53	c reason swapping (by a shorter reason)	: 0
3600.09/3468.53	c Calls to reduceDB	: 148
3600.09/3468.53	c Number of update (reduction) of LBD	: 194884
3600.09/3468.53	c Imported unit clauses	: 0
3600.09/3468.53	c No decision after first conflict	: false
3600.09/3468.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3468.53	c number of learned constraints concerned by reduction	: 0
3600.09/3468.53	c number of learning phase by resolution	: 0
3600.09/3468.53	c number of learning phase by cutting planes	: 0
3600.09/3468.53	c number of rounding to 1 operations	: 0
3600.09/3468.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3468.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3468.53	c number of right shift for reduction by power 2 	: 0
3600.09/3468.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3468.53	c number of ending skipping 	: 0
3600.09/3468.53	c number of internal skipping 	: 0
3600.09/3468.53	c number of derivation steps 	: 0
3600.09/3468.53	c number of skipped derivation steps 	: 0
3600.09/3468.53	c number of remaining unassigned 	: 0
3600.09/3468.53	c number of remaining assigned 	: 0
3600.09/3468.53	c number of falsified literals weakened from reason	: 0
3600.09/3468.53	c number of falsified literals weakened from conflict	: 0
3600.09/3468.53	c time for arithmetic operations	: 0
3600.09/3468.53	c minimum degree of deleted constraints	: null
3600.09/3468.53	c maximum degree of deleted constraints	: null
3600.09/3468.53	c number of deleted constraints	: 0
3600.09/3468.53	c speed (assignments/second)	: 18118.225454788695
3600.09/3468.53	c non guided choices	: 326
3600.09/3468.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 303796
3600.09/3468.60	s UNKNOWN
3600.09/3468.60	c Total wall clock time (in seconds): 3468.461

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515930-1751236011/watcher-4515930-1751236011 -o /tmp/evaluation-result-4515930-1751236011/solver-4515930-1751236011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31771 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4515930-1751236011.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
Current StackSize limit: 8192 KiB

solver pid=32525, runsolver pid=32522

[startup+0.10005 s]*
/proc/loadavg: 4.23 4.39 4.34 6/338 32543
/proc/meminfo: memFree=109044108/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=18930384 memory=55540 CPUtime=0.13 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 6542 0 0 0 11 2 0 0 20 0 18 0 39278685 19384713216 13885 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4732596 13885 5338 1 0 547604 0
[pid=32525/tid=32527] ppid=32522 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 5038 0 0 0 6 1 0 0 20 0 18 0 39278687 19384713216 13885 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39278689 19384713216 13885 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39278690 19384713216 13885 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55540 KiB

[startup+0.205676 s]*
/proc/loadavg: 4.23 4.39 4.34 7/338 32543
/proc/meminfo: memFree=109035916/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=18930384 memory=66048 CPUtime=0.32 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 7013 0 0 0 30 2 0 0 20 0 18 0 39278685 19384713216 16512 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4732596 16512 5434 1 0 547906 0
[pid=32525/tid=32527] ppid=32522 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 5267 0 0 0 15 1 0 0 20 0 18 0 39278687 19384713216 16512 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39278689 19384713216 16512 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39278690 19384713216 16512 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66048 KiB

[startup+0.305818 s]*
/proc/loadavg: 4.23 4.39 4.34 6/339 32544
/proc/meminfo: memFree=109027284/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=18996948 memory=74012 CPUtime=0.51 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 9141 0 0 0 48 3 0 0 20 0 19 0 39278685 19452874752 18503 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4749237 18503 5466 1 0 549564 0
[pid=32525/tid=32527] ppid=32522 vsize=18996948 memory=-6000919498526648940 CPUtime=0.25 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 5316 0 0 0 24 1 0 0 20 0 19 0 39278687 19452874752 18503 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39278689 19452874752 18503 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39278690 19452874752 18503 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39278707 19452874752 18503 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74012 KiB

[startup+0.700204 s]
/proc/loadavg: 4.23 4.39 4.34 6/339 32544
/proc/meminfo: memFree=109019092/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=18996948 memory=103524 CPUtime=1.27 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 9884 0 0 0 124 3 0 0 20 0 19 0 39278685 19452874752 25881 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4749237 25881 5466 1 0 550201 0
[pid=32525/tid=32527] ppid=32522 vsize=18996948 memory=17536 CPUtime=0.64 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 5333 0 0 0 62 2 0 0 20 0 19 0 39278687 19452874752 25881 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39278689 19452874752 25881 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39278690 19452874752 25881 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39278707 19452874752 25881 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103524 KiB

[startup+1.50026 s]
/proc/loadavg: 4.23 4.39 4.34 7/339 32544
/proc/meminfo: memFree=108957968/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=209384 CPUtime=2.36 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 13463 0 0 0 229 7 0 0 20 0 20 0 39278685 19521036288 52346 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 52346 5466 1 0 550666 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=10752 CPUtime=1.39 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 5586 0 0 0 136 3 0 0 20 0 20 0 39278687 19521036288 52346 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 52346 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 52346 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 52346 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209384 KiB

[startup+3.10549 s]
/proc/loadavg: 4.29 4.40 4.34 5/340 32545
/proc/meminfo: memFree=108718024/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=348272 CPUtime=4.27 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 15770 0 0 0 417 10 0 0 20 0 20 0 39278685 19521036288 87068 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 87068 5466 1 0 550979 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=10752 CPUtime=2.87 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 6101 0 0 0 284 3 0 0 20 0 20 0 39278687 19521036288 87068 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=-6000919498526648940 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 87068 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 87068 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 87068 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 348272 KiB

[startup+6.30023 s]
/proc/loadavg: 4.29 4.40 4.34 6/340 32545
/proc/meminfo: memFree=108150760/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=845844 CPUtime=7.78 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 16775 0 0 0 758 20 0 0 20 0 20 0 39278685 19521036288 211461 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 211461 5466 1 0 962478 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=0 CPUtime=5.76 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 6309 0 0 0 570 6 0 0 20 0 20 0 39278687 19521036288 211461 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 211461 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 211461 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=210280 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 211461 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 7.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 845844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.39 4.34 5/340 32545
/proc/meminfo: memFree=107483436/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=1633988 CPUtime=14.62 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 19464 0 0 0 1427 35 0 0 20 0 20 0 39278685 19521036288 408497 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 408497 5466 1 0 1342659 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=210280 CPUtime=11.68 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) S 32522 32525 31759 0 -1 4194368 6965 0 0 0 1158 10 0 0 20 0 20 0 39278687 19521036288 408497 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 408497 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=1400488 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 408497 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 408497 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 14.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1633988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.37 4.33 6/340 32546
/proc/meminfo: memFree=106032516/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=2694272 CPUtime=28.09 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 23958 0 0 0 2752 57 0 0 20 0 20 0 39278685 19521036288 673568 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 673568 5498 1 0 1476349 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=10752 CPUtime=23.77 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 8024 0 0 0 2361 16 0 0 20 0 20 0 39278687 19521036288 673568 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=1400488 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 673568 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 673568 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 673568 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2694272 KiB

[startup+51.1056 s]
/proc/loadavg: 4.27 4.38 4.33 5/340 32546
/proc/meminfo: memFree=104744388/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=3823144 CPUtime=55.61 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 40566 0 0 0 5479 82 0 0 20 0 20 0 39278685 19521036288 955786 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 955786 5530 1 0 1477133 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=3823144 CPUtime=48.08 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 9460 0 0 0 4791 17 0 0 20 0 20 0 39278687 19521036288 955786 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=3726548 CPUtime=0 cores=1,3

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

/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770846 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083384 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 1992 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770846 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=-6000919498526648940 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770846 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3221.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083384 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/340 32855
/proc/meminfo: memFree=105556288/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083640 CPUtime=3287.95 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 364189 0 0 0 328371 424 0 0 20 0 20 0 39278685 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770910 5530 1 0 4083893 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=15083384 CPUtime=3061.75 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 192584 0 0 0 306077 98 0 0 20 0 20 0 39278687 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=15083640 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083640 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=15083384 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3287.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/341 32860
/proc/meminfo: memFree=105564328/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083640 CPUtime=3349.12 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 370997 0 0 0 334486 426 0 0 20 0 20 0 39278685 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770910 5530 1 0 4083893 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=15083384 CPUtime=3120.28 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 196995 0 0 0 311930 98 0 0 20 0 20 0 39278687 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=15083640 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083640 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2095 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3349.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/341 32862
/proc/meminfo: memFree=105563728/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083640 CPUtime=3410.13 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 376804 0 0 0 340585 428 0 0 20 0 20 0 39278685 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770910 5530 1 0 4083893 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=15083640 CPUtime=3179.01 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 200936 0 0 0 317802 99 0 0 20 0 20 0 39278687 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083640 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2133 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=15083640 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770910 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3410.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/341 32864
/proc/meminfo: memFree=105563268/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083768 CPUtime=3471.89 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 383470 0 0 0 346759 430 0 0 20 0 20 0 39278685 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770942 5530 1 0 4083894 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=15083640 CPUtime=3236.97 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 204835 0 0 0 323598 99 0 0 20 0 20 0 39278687 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=6896 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2134 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3471.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/341 32866
/proc/meminfo: memFree=105563636/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083768 CPUtime=3532.95 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 387310 0 0 0 352864 431 0 0 20 0 20 0 39278685 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770942 5530 1 0 4083894 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=15083768 CPUtime=3295.61 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 207805 0 0 0 329462 99 0 0 20 0 20 0 39278687 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2183 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3532.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/340 32868
/proc/meminfo: memFree=105564844/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083768 CPUtime=3593.9 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 391245 0 0 0 358957 433 0 0 20 0 20 0 39278685 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770942 5530 1 0 4083894 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=14848 CPUtime=3354.38 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 210594 0 0 0 335338 100 0 0 20 0 20 0 39278687 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2183 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3593.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3468.5 s]
/proc/loadavg: 4.17 4.15 4.17 5/340 32868
/proc/meminfo: memFree=105531900/131249988 swapFree=33010684/33010684
[pid=32525] ppid=32522 vsize=19063512 memory=15083768 CPUtime=3600.09 cores=1,3
/proc/32525/stat : 32525 (java) S 32522 32525 31759 0 -1 4194304 391872 0 0 0 359576 433 0 0 20 0 20 0 39278685 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
/proc/32525/statm: 4765878 3770942 5530 1 0 4083894 0
[pid=32525/tid=32527] ppid=32522 vsize=19063512 memory=14848 CPUtime=3360.56 cores=1,3
/proc/32525/task/32527/stat : 32527 (java) R 32522 32525 31759 0 -1 4194368 211221 0 0 0 335956 100 0 0 20 0 20 0 39278687 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32536] ppid=32522 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/32525/task/32536/stat : 32536 (Finalizer) S 32522 32525 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39278689 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32543] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32543/stat : 32543 (Common-Cleaner) S 32522 32525 31759 0 -1 4194368 2183 0 0 0 0 0 0 0 20 0 20 0 39278690 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
[pid=32525/tid=32544] ppid=32522 vsize=19063512 memory=15083768 CPUtime=0 cores=1,3
/proc/32525/task/32544/stat : 32544 (Timer-0) S 32522 32525 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39278707 19521036288 3770942 18446744073709551615 94089537040384 94089537044080 140722591727776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94089537051896 94089537052688 94089556508672 140722591734145 140722591734246 140722591734246 140722591739848 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15083768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.9 s, system=4.3767 s

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

[startup+3468.6 s]*
/proc/loadavg: 4.17 4.15 4.17 5/322 32871
/proc/meminfo: memFree=105539288/131249988 swapFree=33010684/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): 3468.64
CPU time (s): 3600.28
CPU user time (s): 3595.9
CPU system time (s): 4.3767
CPU usage (%): 103.795
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 15083768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.9
system time used= 4.3767
maximum resident set size= 15084792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115656
involuntary context switches= 12329


# summary of solver processes directly reported to runsolver:
#   pid: 32525
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3595.9
#   total CPU system time (s): 4.3767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74756 second user time and 16.6975 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 00:26:51
IDJOB=4515930
IDBENCH=167132
IDSOLVER=3363
FILE ID=nodeC020/4515930-1751236011
RUNJOBID= nodeC020-1751232650-31771
SLURM_JOB_ID= 9587710
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515930-1751236011/watcher-4515930-1751236011 -o /tmp/evaluation-result-4515930-1751236011/solver-4515930-1751236011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31771 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4515930-1751236011.opb

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

MD5SUM BENCH= 97ac09d7b638be47b4d5a322b09a2581
RANDOM SEED=430851821

nodeC020 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.872
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.79
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.732
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.79
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		: 3513.184
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.79
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		: 3509.376
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.79
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.893
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.79
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.905
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.79
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		: 3547.992
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.79
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		: 3712.385
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        109068016 kB
MemAvailable:   109182432 kB
Buffers:            3280 kB
Cached:           920792 kB
SwapCached:            0 kB
Active:         20964140 kB
Inactive:         613492 kB
Active(anon):   20671616 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   613492 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               716 kB
Writeback:            20 kB
AnonPages:      20656112 kB
Mapped:           123056 kB
Shmem:             18056 kB
KReclaimable:      95276 kB
Slab:             182748 kB
SReclaimable:      95276 kB
SUnreclaim:        87472 kB
KernelStack:        5256 kB
PageTables:        44108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   24373492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20348928 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC020 at 2025-06-30 01:24:40