Trace number 4518419

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)1 3589.57 3702.76

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
MD5SUM13aa29e786187b82093ba5acc80c7659
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.009484
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables84
Total number of constraints21
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 21
Biggest coefficient in the objective function 21
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 231
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4518419-1751547548.opb
0.42/0.37	c reading problem ... 
0.42/0.40	c using VERIPB proof format
0.42/0.40	c  objective function found
0.53/0.44	c ... done. Wall clock time 0.069s.
0.53/0.44	c declared #vars     84
0.53/0.44	c #constraints  42
0.53/0.44	c constraints type 
0.53/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42
0.53/0.45	c 42 constraints processed.
0.53/0.48	c objective function length is 21 literals
1.85/1.15	c SATISFIABLE
1.85/1.15	c OPTIMIZING...
1.85/1.15	c Got one! Elapsed wall clock time (in seconds):0.78
1.85/1.15	o 4
2.42/1.42	c cleaning 2735 clauses out of 5472 with flag 9079/5472
3.42/1.93	c cleaning 4360 clauses out of 8738 with flag 38614/11473
4.20/2.37	c cleaning 5682 clauses out of 11380 with flag 75806/18475
5.19/2.81	c cleaning 6834 clauses out of 13695 with flag 125106/26472
5.19/2.84	c Got one! Elapsed wall clock time (in seconds):2.471
5.19/2.84	o 3
5.73/3.13	c cleaning 6310 clauses out of 12643 with flag 27954/32254
6.25/3.43	c cleaning 6157 clauses out of 12333 with flag 64715/38254
6.42/3.55	c Got one! Elapsed wall clock time (in seconds):3.179
6.42/3.55	o 1
6.70/3.71	c cleaning 5986 clauses out of 11989 with flag 17603/44067
7.03/3.99	c cleaning 5989 clauses out of 12004 with flag 55560/50068
7.61/4.30	c cleaning 6502 clauses out of 13016 with flag 100902/57069
7.90/4.69	c cleaning 7247 clauses out of 14512 with flag 154785/65067
8.60/5.38	c cleaning 8121 clauses out of 16266 with flag 212866/74068
9.67/6.41	c cleaning 9065 clauses out of 18146 with flag 280145/84069
10.39/7.12	c cleaning 10035 clauses out of 20079 with flag 354006/95067
11.08/7.88	c cleaning 11009 clauses out of 22044 with flag 433933/107067
11.97/8.76	c cleaning 12014 clauses out of 24035 with flag 526391/120067
12.94/9.66	c cleaning 13001 clauses out of 26022 with flag 622666/134068
13.83/10.41	c cleaning 13999 clauses out of 28020 with flag 715172/149067
14.73/11.33	c cleaning 15001 clauses out of 30021 with flag 826030/165067
15.82/12.43	c cleaning 15999 clauses out of 32020 with flag 944933/182067
16.92/13.58	c cleaning 17004 clauses out of 34023 with flag 1073485/200069
18.21/14.86	c cleaning 18003 clauses out of 36018 with flag 1215908/219068
19.71/16.30	c cleaning 19000 clauses out of 38015 with flag 1361961/239068
20.91/17.56	c cleaning 20000 clauses out of 40015 with flag 1505084/260068
22.42/19.07	c cleaning 20997 clauses out of 42014 with flag 1656068/282067
24.11/20.79	c cleaning 22003 clauses out of 44020 with flag 1818297/305070
26.10/22.77	c cleaning 22997 clauses out of 46014 with flag 2003906/329067
28.19/24.82	c cleaning 24002 clauses out of 48018 with flag 2202898/354068
30.40/27.11	c cleaning 25003 clauses out of 50016 with flag 2398295/380068
32.69/29.38	c cleaning 25998 clauses out of 52012 with flag 2594328/407067
35.27/31.96	c cleaning 27001 clauses out of 54015 with flag 2783964/435068
37.77/34.44	c cleaning 28001 clauses out of 56015 with flag 2996537/464069
40.63/37.31	c cleaning 28999 clauses out of 58012 with flag 3247659/494067
43.62/40.39	c cleaning 30001 clauses out of 60013 with flag 3515476/525067
46.81/43.60	c cleaning 30993 clauses out of 62012 with flag 3798264/557067
50.31/47.04	c cleaning 32002 clauses out of 64021 with flag 4088057/590069
53.99/50.76	c cleaning 33006 clauses out of 66017 with flag 4393122/624067
57.49/54.30	c cleaning 34003 clauses out of 68011 with flag 4666748/659067
61.48/58.24	c cleaning 34999 clauses out of 70009 with flag 4941670/695068
65.57/62.37	c cleaning 35998 clauses out of 72010 with flag 5224052/732068
69.66/66.41	c cleaning 37000 clauses out of 74012 with flag 5495668/770068
73.72/70.58	c cleaning 37998 clauses out of 76013 with flag 5783707/809069
78.41/75.21	c cleaning 39002 clauses out of 78013 with flag 6087175/849067
83.39/80.20	c cleaning 39999 clauses out of 80012 with flag 6421307/890068
88.30/85.16	c cleaning 40998 clauses out of 82013 with flag 6744526/932068
93.67/90.55	c cleaning 42003 clauses out of 84015 with flag 7077968/975068
99.17/96.08	c cleaning 43004 clauses out of 86013 with flag 7411085/1019069
105.41/102.31	c cleaning 43999 clauses out of 88007 with flag 7769527/1064067
111.60/108.50	c cleaning 45002 clauses out of 90008 with flag 8136271/1110067
117.88/114.86	c cleaning 45999 clauses out of 92007 with flag 8510090/1157068
123.67/120.69	c cleaning 46992 clauses out of 94008 with flag 8873821/1205068
129.75/126.75	c cleaning 47997 clauses out of 96016 with flag 9246463/1254068
135.91/132.92	c cleaning 49001 clauses out of 98018 with flag 9618419/1304067
141.60/138.67	c cleaning 49997 clauses out of 100017 with flag 10021018/1355067
147.68/144.79	c cleaning 51006 clauses out of 102021 with flag 10403740/1407068
155.36/152.48	c cleaning 51997 clauses out of 104015 with flag 10827948/1460068
163.11/160.23	c cleaning 53006 clauses out of 106021 with flag 11222804/1514071
171.40/168.53	c cleaning 54000 clauses out of 108011 with flag 11659452/1569067
179.07/176.25	c cleaning 54997 clauses out of 110012 with flag 12110759/1625068
186.75/183.95	c cleaning 55998 clauses out of 112015 with flag 12571250/1682068
194.41/191.67	c cleaning 56997 clauses out of 114016 with flag 13045914/1740067
202.50/199.77	c cleaning 58005 clauses out of 116021 with flag 13517290/1799069
211.07/208.34	c cleaning 59001 clauses out of 118016 with flag 13983154/1859069
220.86/218.15	c cleaning 60001 clauses out of 120015 with flag 14479596/1920069
231.51/235.23	c cleaning 61000 clauses out of 122013 with flag 14971031/1982068
241.40/245.14	c cleaning 62000 clauses out of 124013 with flag 15448709/2045068
252.16/255.96	c cleaning 62998 clauses out of 126012 with flag 15978691/2109067
263.18/267.04	c cleaning 63999 clauses out of 128015 with flag 16513400/2174068
274.95/278.87	c cleaning 64995 clauses out of 130015 with flag 17060896/2240067
288.31/292.26	c cleaning 66000 clauses out of 132020 with flag 17623154/2307067
300.92/304.99	c cleaning 67000 clauses out of 134020 with flag 18187215/2375067
313.68/317.72	c cleaning 68002 clauses out of 136022 with flag 18764831/2444069
327.07/331.20	c cleaning 69003 clauses out of 138018 with flag 19339440/2514067
340.24/344.41	c cleaning 70006 clauses out of 140016 with flag 19898646/2585068
352.35/363.28	c cleaning 71000 clauses out of 142009 with flag 20470808/2657067
365.72/376.61	c cleaning 71993 clauses out of 144009 with flag 21081016/2730067
379.79/390.71	c cleaning 73002 clauses out of 146016 with flag 21711426/2804067
394.87/405.94	c cleaning 74003 clauses out of 148015 with flag 22345223/2879068
408.84/419.90	c cleaning 75000 clauses out of 150011 with flag 22951274/2955067
422.46/433.64	c cleaning 75997 clauses out of 152011 with flag 23587109/3032067
439.12/450.39	c cleaning 77001 clauses out of 154014 with flag 24279609/3110067
454.64/465.93	c cleaning 78000 clauses out of 156013 with flag 24916348/3189067
470.30/481.69	c cleaning 79001 clauses out of 158013 with flag 25581201/3269067
487.61/502.73	c cleaning 79997 clauses out of 160012 with flag 26261233/3350067
503.89/519.02	c cleaning 81002 clauses out of 162016 with flag 26933089/3432068
520.84/536.08	c cleaning 82002 clauses out of 164013 with flag 27590566/3515067
538.16/553.47	c cleaning 82994 clauses out of 166012 with flag 28266656/3599068
553.92/569.29	c cleaning 84002 clauses out of 168017 with flag 28941699/3684067
571.55/586.98	c cleaning 85006 clauses out of 170017 with flag 29598855/3770069
591.61/606.70	c cleaning 85997 clauses out of 172011 with flag 30321134/3857069
610.85/631.07	c cleaning 86999 clauses out of 174014 with flag 31008781/3945069
629.54/649.89	c cleaning 88002 clauses out of 176013 with flag 31685058/4034067
657.49/677.83	c cleaning 88999 clauses out of 178012 with flag 32466978/4124068
678.41/698.80	c cleaning 90001 clauses out of 180012 with flag 33171939/4215067
701.89/724.51	c cleaning 90994 clauses out of 182011 with flag 33935719/4307067
724.52/747.25	c cleaning 92001 clauses out of 184019 with flag 34649387/4400069
744.96/767.70	c cleaning 93000 clauses out of 186017 with flag 35372291/4494068
767.80/790.73	c cleaning 94001 clauses out of 188016 with flag 36140305/4589067
790.65/813.98	c cleaning 95002 clauses out of 190016 with flag 36913346/4685068
813.87/837.29	c cleaning 96001 clauses out of 192013 with flag 37668258/4782067
840.40/863.88	c cleaning 97004 clauses out of 194014 with flag 38472445/4880069
870.54/896.95	c cleaning 97994 clauses out of 196008 with flag 39321475/4979067
896.77/923.21	c cleaning 98999 clauses out of 198014 with flag 40139807/5079067
923.05/949.69	c cleaning 100003 clauses out of 200015 with flag 40968073/5180067
953.73/983.59	c cleaning 101000 clauses out of 202013 with flag 41806253/5282068
982.98/1012.89	c cleaning 102001 clauses out of 204013 with flag 42590798/5385068
1010.69/1040.68	c cleaning 102998 clauses out of 206011 with flag 43393109/5489067
1040.71/1070.71	c cleaning 103999 clauses out of 208014 with flag 44251292/5594068
1071.85/1107.61	c cleaning 105001 clauses out of 210014 with flag 45102972/5700067
1098.01/1133.94	c cleaning 106003 clauses out of 212016 with flag 45973661/5807070
1126.99/1163.07	c cleaning 106999 clauses out of 214010 with flag 46824381/5915067
1156.45/1192.64	c cleaning 107999 clauses out of 216012 with flag 47696258/6024068
1184.48/1228.73	c cleaning 108997 clauses out of 218012 with flag 48567659/6134067
1214.45/1258.81	c cleaning 110001 clauses out of 220016 with flag 49430762/6245068
1244.41/1288.85	c cleaning 111005 clauses out of 222015 with flag 50254096/6357068
1273.35/1317.87	c cleaning 111997 clauses out of 224009 with flag 51090457/6470067
1305.67/1353.99	c cleaning 113001 clauses out of 226013 with flag 52009354/6584068
1337.96/1386.38	c cleaning 113999 clauses out of 228014 with flag 52915862/6699070
1371.00/1419.60	c cleaning 114996 clauses out of 230013 with flag 53792922/6815068
1408.78/1457.37	c cleaning 116002 clauses out of 232017 with flag 54699242/6932068
1444.78/1493.46	c cleaning 117002 clauses out of 234014 with flag 55600568/7050067
1485.76/1534.48	c cleaning 118000 clauses out of 236012 with flag 56516317/7169067
1522.09/1570.89	c cleaning 119002 clauses out of 238015 with flag 57419129/7289070
1559.72/1608.56	c cleaning 119993 clauses out of 240010 with flag 58348778/7410067
1601.95/1650.84	c cleaning 121004 clauses out of 242017 with flag 59316081/7532067
1638.55/1687.54	c cleaning 122002 clauses out of 244015 with flag 60257080/7655069
1680.02/1731.13	c cleaning 122997 clauses out of 246011 with flag 61177009/7779067
1720.40/1771.60	c cleaning 123999 clauses out of 248014 with flag 62078890/7904067
1766.76/1818.12	c cleaning 125003 clauses out of 250017 with flag 63074845/8030069
1808.49/1870.87	c cleaning 125998 clauses out of 252012 with flag 64088170/8157067
1853.46/1915.95	c cleaning 126997 clauses out of 254014 with flag 65113617/8285067
1906.72/1969.38	c cleaning 127998 clauses out of 256017 with flag 66115491/8414067
1953.26/2023.42	c cleaning 129000 clauses out of 258021 with flag 67083320/8544069
1998.62/2068.82	c cleaning 130006 clauses out of 260020 with flag 68047842/8675068
2045.82/2117.89	c cleaning 131002 clauses out of 262014 with flag 69096967/8807068
2095.08/2167.20	c cleaning 132000 clauses out of 264011 with flag 70165167/8940067
2143.04/2215.28	c cleaning 133002 clauses out of 266013 with flag 71225526/9074069
2198.46/2270.71	c cleaning 133995 clauses out of 268010 with flag 72303984/9209068
2248.42/2320.85	c cleaning 135002 clauses out of 270014 with flag 73348139/9345067
2296.56/2369.06	c cleaning 135998 clauses out of 272014 with flag 74354675/9482069
2341.40/2418.81	c cleaning 136997 clauses out of 274014 with flag 75355662/9620067
2389.77/2467.30	c cleaning 138001 clauses out of 276017 with flag 76353561/9759067
2444.11/2521.72	c cleaning 138998 clauses out of 278016 with flag 77423634/9899067
2502.44/2580.24	c cleaning 140006 clauses out of 280018 with flag 78531060/10040067
2555.59/2633.45	c cleaning 141002 clauses out of 282012 with flag 79641144/10182067
2609.53/2687.52	c cleaning 141999 clauses out of 284011 with flag 80756200/10325068
2665.87/2748.82	c cleaning 142996 clauses out of 286012 with flag 81841542/10469068
2723.54/2806.72	c cleaning 144003 clauses out of 288015 with flag 82920307/10614067
2781.65/2869.29	c cleaning 145000 clauses out of 290012 with flag 84032945/10760067
2843.47/2931.27	c cleaning 145998 clauses out of 292012 with flag 85150189/10907067
2908.78/2998.84	c cleaning 146999 clauses out of 294014 with flag 86281694/11055067
2973.67/3063.89	c cleaning 148002 clauses out of 296016 with flag 87357836/11204068
3039.14/3131.71	c cleaning 148997 clauses out of 298013 with flag 88443130/11354067
3111.26/3203.90	c cleaning 150001 clauses out of 300016 with flag 89592884/11505067
3184.67/3286.44	c cleaning 151004 clauses out of 302016 with flag 90732561/11657068
3251.38/3353.21	c cleaning 152002 clauses out of 304011 with flag 91897004/11810067
3320.49/3422.50	c cleaning 152998 clauses out of 306009 with flag 93042753/11964067
3389.02/3497.25	c cleaning 153999 clauses out of 308012 with flag 94182658/12119068
3461.48/3569.85	c cleaning 154997 clauses out of 310013 with flag 95323681/12275068
3539.23/3650.28	c cleaning 156004 clauses out of 312015 with flag 96453911/12432067
3589.02/3700.04	c starts		: 1132
3589.02/3700.07	c conflicts		: 12552716
3589.02/3700.07	c decisions		: 13976051
3589.02/3700.07	c propagations		: 159293676
3589.02/3700.07	c inspects		: 51358626492
3589.02/3700.07	c shortcuts		: 0
3589.02/3700.07	c learnt literals	: 0
3589.02/3700.07	c learnt binary clauses	: 2
3589.02/3700.07	c learnt ternary clauses	: 34
3589.02/3700.07	c learnt constraints	: 12552716
3589.02/3700.07	c ignored constraints	: 0
3589.02/3700.07	c root simplifications	: 0
3589.02/3700.07	c removed literals (reason simplification)	: 72809518
3589.02/3700.07	c reason swapping (by a shorter reason)	: 0
3589.02/3700.07	c Calls to reduceDB	: 159
3589.02/3700.07	c Number of update (reduction) of LBD	: 3274840
3589.02/3700.07	c Imported unit clauses	: 0
3589.02/3700.07	c No decision after first conflict	: false
3589.02/3700.07	c number of reductions to clauses (during analyze)	: 0
3589.02/3700.07	c number of learned constraints concerned by reduction	: 0
3589.02/3700.08	c number of learning phase by resolution	: 0
3589.02/3700.08	c number of learning phase by cutting planes	: 0
3589.02/3700.08	c number of rounding to 1 operations	: 0
3589.02/3700.08	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3589.02/3700.08	c number of reductions of the coefficients by power 2 	: 0
3589.02/3700.08	c number of right shift for reduction by power 2 	: 0
3589.02/3700.08	c number of reductions of the coefficients by GCD over coefficients 	: 0
3589.02/3700.08	c number of ending skipping 	: 0
3589.02/3700.08	c number of internal skipping 	: 0
3589.02/3700.08	c number of derivation steps 	: 0
3589.02/3700.08	c number of skipped derivation steps 	: 0
3589.02/3700.08	c number of remaining unassigned 	: 0
3589.02/3700.08	c number of remaining assigned 	: 0
3589.02/3700.08	c number of falsified literals weakened from reason	: 0
3589.02/3700.08	c number of falsified literals weakened from conflict	: 0
3589.02/3700.08	c time for arithmetic operations	: 0
3589.02/3700.08	c minimum degree of deleted constraints	: null
3589.02/3700.08	c maximum degree of deleted constraints	: null
3589.02/3700.09	c number of deleted constraints	: 0
3589.02/3700.09	c speed (assignments/second)	: 43057.12769715771
3589.02/3700.09	c non guided choices	: 77
3589.38/3700.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 276658
3589.38/3700.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
3589.38/3700.27	s SATISFIABLE
3589.38/3700.27	c Found 3 solution(s)
3589.38/3700.27	v -x1 -x2 -x3 x4 -x5 x6 x7 -x8 -x9 x10 x11 -x12 -x13 -x14 x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 x24 -x25 -x26 x27 x28 -x29 -x30 x31 x32 -x33 x34 x35 -x36 -x37 x38 x39 x40 -x41 x42 -x43 x44 x45 -x46 x47 x48 x49 -x50 x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 
3589.38/3700.28	c objective function=1
3589.38/3700.28	c Total wall clock time (in seconds): 3699.908

Verifier Data 

OK	1

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100084 s]*
/proc/loadavg: 0.83 1.02 1.07 5/290 78351
/proc/meminfo: memFree=128101912/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=18930344 memory=47584 CPUtime=0.09 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 5429 0 0 0 5 4 0 0 20 0 18 0 70434196 19384672256 11896 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4732586 11896 4943 1 0 546690 0
[pid=78299/tid=78313] ppid=78293 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 4560 0 0 0 3 2 0 0 20 0 18 0 70434199 19384672256 11896 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=18930344 memory=12896 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434205 19384672256 11896 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=18930344 memory=57394570986489 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70434206 19384672256 11896 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 47584 KiB

[startup+0.214485 s]*
/proc/loadavg: 0.83 1.02 1.07 6/319 78380
/proc/meminfo: memFree=128074160/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=18930384 memory=53872 CPUtime=0.27 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 6085 0 0 0 22 5 0 0 20 0 18 0 70434196 19384713216 13468 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4732596 13468 5359 1 0 547235 0
[pid=78299/tid=78313] ppid=78293 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 4977 0 0 0 14 3 0 0 20 0 18 0 70434199 19384713216 13468 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=18930384 memory=12896 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434205 19384713216 13468 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70434206 19384713216 13468 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53872 KiB

[startup+0.317903 s]*
/proc/loadavg: 0.83 1.02 1.07 7/319 78380
/proc/meminfo: memFree=128048668/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=18930384 memory=59776 CPUtime=0.42 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 6555 0 0 0 36 6 0 0 20 0 18 0 70434196 19384713216 14944 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4732596 14944 5359 1 0 547692 0
[pid=78299/tid=78313] ppid=78293 vsize=18930384 memory=-6000919481229534312 CPUtime=0.25 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 5137 0 0 0 21 4 0 0 20 0 18 0 70434199 19384713216 14944 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434205 19384713216 14944 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70434206 19384713216 14944 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59776 KiB

[startup+0.700392 s]
/proc/loadavg: 0.83 1.02 1.07 13/321 78382
/proc/meminfo: memFree=128038964/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=18997312 memory=68736 CPUtime=1.04 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 7362 0 0 0 97 7 0 0 20 0 19 0 70434196 19453247488 17184 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4749328 17184 5487 1 0 548536 0
[pid=78299/tid=78313] ppid=78293 vsize=18997312 memory=18432 CPUtime=0.54 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 5412 0 0 0 49 5 0 0 20 0 19 0 70434199 19453247488 17216 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=18997312 memory=11136 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434205 19453247488 17216 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=18997312 memory=3200 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70434206 19453247488 17248 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=18997312 memory=4752 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434246 19453247488 17248 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 18997312 KiB
Current children cumulated memory: 68736 KiB

[startup+1.50032 s]
/proc/loadavg: 0.83 1.02 1.07 9/323 78384
/proc/meminfo: memFree=127927872/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=18996948 memory=137076 CPUtime=2.62 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 17679 0 0 0 249 13 0 0 20 0 19 0 70434196 19452874752 34269 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4749237 34269 5487 1 0 552811 0
[pid=78299/tid=78313] ppid=78293 vsize=18996948 memory=0 CPUtime=1.24 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 6421 0 0 0 116 8 0 0 20 0 19 0 70434199 19452874752 34269 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434205 19452874752 34269 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70434206 19452874752 34269 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434246 19452874752 34269 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137076 KiB

[startup+3.10591 s]
/proc/loadavg: 0.83 1.02 1.07 9/327 78388
/proc/meminfo: memFree=127516328/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=178228 CPUtime=5.73 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 21921 0 0 0 556 17 0 0 20 0 20 0 70434196 19521036288 44557 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 44557 5519 1 0 554272 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=11136 CPUtime=2.8 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 6901 0 0 0 270 10 0 0 20 0 20 0 70434199 19521036288 44557 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=-6000919494114436200 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 44557 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 44557 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 44557 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178228 KiB

[startup+6.30038 s]
/proc/loadavg: 1.16 1.09 1.09 5/327 78388
/proc/meminfo: memFree=126217008/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=245904 CPUtime=9.58 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 23473 0 0 0 937 21 0 0 20 0 20 0 70434196 19521036288 61476 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 61476 5519 1 0 554274 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=0 CPUtime=5.93 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 7291 0 0 0 580 13 0 0 20 0 20 0 70434199 19521036288 61476 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 61476 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 61476 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=145296 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 61476 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245904 KiB

[startup+12.7004 s]
/proc/loadavg: 1.39 1.14 1.11 5/330 78391
/proc/meminfo: memFree=124236952/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=714944 CPUtime=16.12 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 27578 0 0 0 1578 34 0 0 20 0 20 0 70434196 19521036288 178736 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 178736 5519 1 0 554274 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=145296 CPUtime=12.32 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 8733 0 0 0 1206 26 0 0 20 0 20 0 70434199 19521036288 178736 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=637120 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 178736 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=532672 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 178736 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 178736 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 714944 KiB

[startup+25.5004 s]
/proc/loadavg: 1.97 1.28 1.15 5/330 78391
/proc/meminfo: memFree=122582176/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1304832 CPUtime=28.89 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 30123 0 0 0 2839 50 0 0 20 0 20 0 70434196 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 326208 5519 1 0 554274 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=637120 CPUtime=25.04 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 9934 0 0 0 2463 41 0 0 20 0 20 0 70434199 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=1280192 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=1304832 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 28.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1304832 KiB

[startup+51.1141 s]
/proc/loadavg: 2.79 1.53 1.24 5/331 78393
/proc/meminfo: memFree=122217360/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1304832 CPUtime=54.41 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 31459 0 0 0 5382 59 0 0 20 0 20 0 70434196 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 326208 5519 1 0 554274 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=1304832 CPUtime=50.5 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 10289 0 0 0 5001 49 0 0 20 0 20 0 70434199 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=1304832 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 326208 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0

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

/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 33521 0 0 0 322182 451 0 0 20 0 20 0 70434199 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=1669588 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=9344 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1515 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=-6000919494114436200 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3240.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1694188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/335 78594
/proc/meminfo: memFree=100703764/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1694188 CPUtime=3300.34 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 79497 0 0 0 329372 662 0 0 20 0 20 0 70434196 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 423547 5551 1 0 556079 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=1694188 CPUtime=3286.12 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 34208 0 0 0 328154 458 0 0 20 0 20 0 70434199 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=1694188 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=-6000919494114436200 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3300.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1694188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.10 5/334 78596
/proc/meminfo: memFree=100448388/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1694188 CPUtime=3354.2 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 80663 0 0 0 334751 669 0 0 20 0 20 0 70434196 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 423547 5551 1 0 556079 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=1694188 CPUtime=3339.78 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 35061 0 0 0 333516 462 0 0 20 0 20 0 70434199 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=1694188 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=1694188 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3354.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1694188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.11 5/333 78598
/proc/meminfo: memFree=100172928/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1694188 CPUtime=3414.03 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 81099 0 0 0 340725 678 0 0 20 0 20 0 70434196 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 423547 5551 1 0 556079 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=1694188 CPUtime=3399.56 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 35301 0 0 0 339487 469 0 0 20 0 20 0 70434199 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1744 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=1694188 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 423547 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3414.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1694188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.11 5/333 78600
/proc/meminfo: memFree=99904744/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1716720 CPUtime=3473.95 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 81323 0 0 0 346708 687 0 0 20 0 20 0 70434196 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 429180 5551 1 0 556079 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=14304 CPUtime=3459.2 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 35304 0 0 0 345446 474 0 0 20 0 20 0 70434199 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=1694188 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=1716720 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1744 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3473.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1716720 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.15 4.10 5/328 78602
/proc/meminfo: memFree=99676004/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1716720 CPUtime=3531.35 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 81855 0 0 0 352440 695 0 0 20 0 20 0 70434196 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 429180 5551 1 0 556079 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=14304 CPUtime=3516.55 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 35832 0 0 0 351177 478 0 0 20 0 20 0 70434199 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=1716720 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=1716720 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1744 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=-6000919494114436200 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 429180 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3531.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1716720 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.18 4.17 4.10 5/330 78606
/proc/meminfo: memFree=99401572/131382120 swapFree=33010416/33010684
[pid=78299] ppid=78293 vsize=19063512 memory=1737200 CPUtime=3589.02 cores=0,2
/proc/78299/stat : 78299 (java) S 78293 78299 78242 0 -1 4194304 83033 0 0 0 358196 706 0 0 20 0 20 0 70434196 19521036288 434300 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
/proc/78299/statm: 4765878 434300 5551 1 0 556079 0
[pid=78299/tid=78313] ppid=78293 vsize=19063512 memory=6784 CPUtime=3573.94 cores=0,2
/proc/78299/task/78313/stat : 78313 (java) R 78293 78299 78242 0 -1 4194368 36594 0 0 0 356908 486 0 0 20 0 20 0 70434199 19521036288 434300 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78340] ppid=78293 vsize=19063512 memory=4916 CPUtime=0 cores=0,2
/proc/78299/task/78340/stat : 78340 (Finalizer) S 78293 78299 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434205 19521036288 434300 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78350] ppid=78293 vsize=19063512 memory=4660 CPUtime=0 cores=0,2
/proc/78299/task/78350/stat : 78350 (Common-Cleaner) S 78293 78299 78242 0 -1 4194368 1831 0 0 0 0 0 0 0 20 0 20 0 70434206 19521036288 434300 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
[pid=78299/tid=78381] ppid=78293 vsize=19063512 memory=6452091047492216896 CPUtime=0 cores=0,2
/proc/78299/task/78381/stat : 78381 (Timer-0) S 78293 78299 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434246 19521036288 434300 18446744073709551615 94660344864768 94660344868464 140725356920368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94660344876280 94660344877072 94660377706496 140725356927280 140725356927462 140725356927462 140725356933064 0
Current children cumulated CPU time: 3589.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1737200 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3582.49 s, system=7.07666 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 4.18 4.17 4.10 4/277 78618
/proc/meminfo: memFree=105353888/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3701.6 s]
/proc/loadavg: 4.18 4.17 4.10 1/258 78618
/proc/meminfo: memFree=107543800/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3702 s]*
/proc/loadavg: 4.18 4.17 4.10 1/258 78618
/proc/meminfo: memFree=107543552/131382120 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): 3702.76
CPU time (s): 3589.57
CPU user time (s): 3582.49
CPU system time (s): 7.07666
CPU usage (%): 96.9429
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1737712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.49
system time used= 7.07666
maximum resident set size= 1737968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3009264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107011
involuntary context switches= 11560


# summary of solver processes directly reported to runsolver:
#   pid: 78299
#   total CPU time (s): 3589.57
#   total CPU user time (s): 3582.49
#   total CPU system time (s): 7.07666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5234 second user time and 39.0495 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 14:59:08
IDJOB=4518419
IDBENCH=177047
IDSOLVER=3364
FILE ID=nodeC006/4518419-1751547548
RUNJOBID= nodeC006-1751547548-78252
SLURM_JOB_ID= 9598718
Free space on /tmp= 432164 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518419-1751547548/watcher-4518419-1751547548 -o /tmp/evaluation-result-4518419-1751547548/solver-4518419-1751547548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78252 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518419-1751547548 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518419-1751547548.opb

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

MD5SUM BENCH= 13aa29e786187b82093ba5acc80c7659
RANDOM SEED=1117943236

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128164316 kB
MemAvailable:   129897412 kB
Buffers:            2128 kB
Cached:          2498796 kB
SwapCached:           12 kB
Active:           532160 kB
Inactive:        2034000 kB
Active(anon):      72108 kB
Inactive(anon):    11076 kB
Active(file):     460052 kB
Inactive(file):  2022924 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               728 kB
Writeback:             0 kB
AnonPages:         68428 kB
Mapped:           103652 kB
Shmem:             17948 kB
KReclaimable:     179112 kB
Slab:             265240 kB
SReclaimable:     179112 kB
SUnreclaim:        86128 kB
KernelStack:        3872 kB
PageTables:         2900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432160 MiB
End job on nodeC006 at 2025-07-03 16:00:51