Trace number 4517683

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-06OPT cert.7 645.583 647.039

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=3.opb
MD5SUM3e50d3b7c5b20854de6ffc628b5756bc
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 benchmark7
Best CPU time to get the best result obtained on this benchmark0.177486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185
Total number of constraints4215
Number of constraints which are clauses4205
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint11
Number of terms in the objective function 10
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.12	c version PB25.v20250606
0.11/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.14	c java.vm.version	22.0.1+8-16
0.11/0.14	c java.vm.vendor	Oracle Corporation
0.11/0.14	c sun.arch.data.model	64
0.11/0.14	c java.version		22.0.1
0.11/0.14	c os.name		Linux
0.11/0.14	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.14	c os.arch		amd64
0.11/0.14	c Free memory 		2104792832
0.11/0.14	c Max memory 		16282288128
0.11/0.14	c Total memory 		2113929216
0.11/0.14	c Number of processors 	2
0.11/0.19	c Pseudo Boolean Optimization by upper bound
0.11/0.19	c --- Begin Solver configuration ---
0.11/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.19	c Learn all clauses as in MiniSAT
0.11/0.19	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.19	c Expensive reason simplification
0.11/0.19	c Glucose 2.1 dynamic restart strategy
0.11/0.19	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.19	c timeout=2147483s
0.11/0.19	c DB Simplification allowed=false
0.11/0.19	c Listener: none
0.11/0.19	c --- End Solver configuration ---
0.11/0.19	c solving HOME/instance-4517683-1751538680.opb
0.11/0.19	c reading problem ... 
0.11/0.20	c using VERIPB proof format
0.11/0.20	c  objective function found
0.50/0.35	c ... done. Wall clock time 0.156s.
0.50/0.35	c declared #vars     185
0.50/0.35	c #constraints  4215
0.50/0.35	c constraints type 
0.50/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10
0.50/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4205
0.50/0.35	c 4215 constraints processed.
0.50/0.37	c objective function length is 10 literals
0.88/0.54	c SATISFIABLE
0.88/0.54	c OPTIMIZING...
0.88/0.54	c Got one! Elapsed wall clock time (in seconds):0.35
0.88/0.54	o 7
1.63/0.96	c cleaning 2714 clauses out of 5451 with flag 36320/5451
2.42/1.32	c cleaning 4364 clauses out of 8737 with flag 93342/11451
3.01/1.66	c cleaning 5683 clauses out of 11373 with flag 158945/18451
3.62/1.97	c cleaning 6838 clauses out of 13690 with flag 213400/26451
4.20/2.28	c cleaning 7922 clauses out of 15854 with flag 291742/35453
5.00/2.60	c cleaning 8963 clauses out of 17930 with flag 386303/45451
5.60/2.92	c cleaning 9968 clauses out of 19967 with flag 496658/56451
6.19/3.27	c cleaning 10995 clauses out of 22000 with flag 595696/68452
6.96/3.69	c cleaning 11994 clauses out of 24007 with flag 704569/81454
7.45/4.07	c cleaning 12985 clauses out of 26011 with flag 841149/95452
7.84/4.47	c cleaning 14008 clauses out of 28025 with flag 980656/110451
8.36/4.95	c cleaning 14994 clauses out of 30018 with flag 1140860/126452
8.94/5.46	c cleaning 16008 clauses out of 32023 with flag 1296265/143451
9.63/6.03	c cleaning 16985 clauses out of 34015 with flag 1474037/161451
10.23/6.65	c cleaning 18002 clauses out of 36030 with flag 1642992/180451
10.93/7.33	c cleaning 18996 clauses out of 38029 with flag 1798157/200452
11.64/8.07	c cleaning 19995 clauses out of 40032 with flag 1980974/221451
12.42/8.85	c cleaning 21013 clauses out of 42039 with flag 2176104/243453
13.23/9.65	c cleaning 22005 clauses out of 44024 with flag 2399671/266451
14.12/10.59	c cleaning 23003 clauses out of 46022 with flag 2606682/290454
15.02/11.41	c cleaning 23978 clauses out of 48016 with flag 2841526/315451
15.92/12.32	c cleaning 25005 clauses out of 50038 with flag 3092899/341451
16.82/13.27	c cleaning 25984 clauses out of 52033 with flag 3333891/368451
17.82/14.25	c cleaning 27021 clauses out of 54050 with flag 3611512/396452
18.91/15.30	c cleaning 28012 clauses out of 56029 with flag 3879049/425452
20.02/16.45	c cleaning 28989 clauses out of 58018 with flag 4135758/455453
21.31/17.71	c cleaning 29985 clauses out of 60028 with flag 4436527/486452
22.50/18.94	c cleaning 31018 clauses out of 62042 with flag 4715139/518451
24.00/20.44	c cleaning 32008 clauses out of 64025 with flag 5008201/551452
25.30/21.76	c cleaning 32995 clauses out of 66017 with flag 5336006/585452
26.72/23.16	c cleaning 33991 clauses out of 68022 with flag 5604324/620452
28.09/24.57	c cleaning 35014 clauses out of 70031 with flag 5976128/656452
29.71/26.19	c cleaning 35983 clauses out of 72017 with flag 6272099/693452
31.39/27.80	c cleaning 36993 clauses out of 74033 with flag 6629174/731451
33.08/29.51	c cleaning 37990 clauses out of 76040 with flag 6950089/770451
34.84/31.49	c cleaning 39011 clauses out of 78050 with flag 7288688/810451
36.74/33.39	c cleaning 39999 clauses out of 80041 with flag 7754089/851453
38.73/35.30	c cleaning 41000 clauses out of 82040 with flag 8138798/893451
40.85/37.42	c cleaning 42011 clauses out of 84040 with flag 8611466/936451
42.74/39.34	c cleaning 43015 clauses out of 86031 with flag 9012648/980453
44.95/41.50	c cleaning 43976 clauses out of 88014 with flag 9484084/1025451
47.24/43.84	c cleaning 45013 clauses out of 90038 with flag 9983003/1071451
49.64/46.22	c cleaning 46003 clauses out of 92026 with flag 10500658/1118452
52.33/48.91	c cleaning 47003 clauses out of 94024 with flag 11062606/1166453
55.03/51.64	c cleaning 47999 clauses out of 96019 with flag 11622695/1215451
57.33/53.99	c cleaning 49008 clauses out of 98021 with flag 12164743/1265452
60.02/56.65	c cleaning 50005 clauses out of 100012 with flag 12702597/1316451
62.81/59.43	c cleaning 50987 clauses out of 102007 with flag 13272886/1368451
65.59/62.33	c cleaning 52004 clauses out of 104020 with flag 13846765/1421451
68.49/65.23	c cleaning 53001 clauses out of 106017 with flag 14414736/1475452
71.68/68.49	c cleaning 53986 clauses out of 108017 with flag 15032985/1530453
75.08/71.88	c cleaning 55005 clauses out of 110030 with flag 15671393/1586452
78.17/74.93	c cleaning 56000 clauses out of 112024 with flag 16289355/1643451
81.46/78.21	c cleaning 56984 clauses out of 114024 with flag 16861067/1701451
85.15/81.91	c cleaning 58014 clauses out of 116040 with flag 17515039/1760451
88.64/85.50	c cleaning 58998 clauses out of 118026 with flag 18129200/1820451
92.52/89.38	c cleaning 59999 clauses out of 120029 with flag 18792914/1881452
98.14/95.04	c cleaning 61011 clauses out of 122030 with flag 19546578/1943452
101.82/98.80	c cleaning 61976 clauses out of 124018 with flag 20220242/2006451
106.13/103.09	c cleaning 62995 clauses out of 126042 with flag 21007980/2070451
109.80/106.77	c cleaning 64008 clauses out of 128051 with flag 21712926/2135455
114.10/111.09	c cleaning 65011 clauses out of 130041 with flag 22447092/2201453
120.33/116.50	c cleaning 65994 clauses out of 132027 with flag 23185771/2268451
124.31/120.50	c cleaning 66995 clauses out of 134033 with flag 23869970/2336451
128.54/124.84	c cleaning 68015 clauses out of 136038 with flag 24572662/2405451
133.52/129.87	c cleaning 69010 clauses out of 138023 with flag 25325669/2475451
138.01/134.31	c cleaning 69998 clauses out of 140013 with flag 26091597/2546451
142.90/139.27	c cleaning 70998 clauses out of 142016 with flag 26864929/2618452
147.99/144.30	c cleaning 71993 clauses out of 144017 with flag 27620422/2691451
152.57/148.99	c cleaning 73013 clauses out of 146025 with flag 28378154/2765452
159.80/156.21	c cleaning 73994 clauses out of 148011 with flag 29238359/2840451
165.82/162.24	c cleaning 75006 clauses out of 150020 with flag 30062993/2916454
170.90/167.31	c cleaning 75976 clauses out of 152011 with flag 30841932/2993451
175.79/172.24	c cleaning 77004 clauses out of 154036 with flag 31665466/3071452
181.07/177.56	c cleaning 77990 clauses out of 156031 with flag 32551771/3150451
186.09/182.56	c cleaning 79011 clauses out of 158042 with flag 33370989/3230452
191.10/187.69	c cleaning 80008 clauses out of 160030 with flag 34197758/3311451
196.51/193.03	c cleaning 81007 clauses out of 162022 with flag 35037514/3393451
201.78/198.32	c cleaning 81997 clauses out of 164015 with flag 35896723/3476451
207.37/204.00	c cleaning 82988 clauses out of 166018 with flag 36803681/3560451
213.26/209.82	c cleaning 84000 clauses out of 168030 with flag 37702824/3645451
219.40/216.02	c cleaning 85000 clauses out of 170030 with flag 38582695/3731451
225.79/222.43	c cleaning 86007 clauses out of 172031 with flag 39503449/3818452
232.77/229.48	c cleaning 87003 clauses out of 174023 with flag 40479292/3906451
240.06/236.79	c cleaning 88009 clauses out of 176022 with flag 41469651/3995453
246.84/243.59	c cleaning 88995 clauses out of 178013 with flag 42415898/4085453
254.63/251.43	c cleaning 90005 clauses out of 180018 with flag 43334690/4176453
262.02/258.89	c cleaning 90985 clauses out of 182011 with flag 44267402/4268451
269.80/266.63	c cleaning 91997 clauses out of 184026 with flag 45251612/4361451
277.58/274.45	c cleaning 93008 clauses out of 186029 with flag 46200088/4455451
285.69/282.62	c cleaning 94000 clauses out of 188021 with flag 47219206/4550451
293.98/291.00	c cleaning 94986 clauses out of 190021 with flag 48292627/4646451
302.86/299.82	c cleaning 96001 clauses out of 192036 with flag 49351553/4743452
311.48/308.53	c cleaning 97014 clauses out of 194035 with flag 50400081/4841452
321.97/319.09	c cleaning 97996 clauses out of 196023 with flag 51423660/4940454
332.06/329.17	c cleaning 98999 clauses out of 198025 with flag 52585608/5040453
342.68/339.82	c cleaning 100013 clauses out of 200025 with flag 53700331/5141452
352.37/349.50	c cleaning 100980 clauses out of 202010 with flag 54800326/5243451
365.64/362.02	c cleaning 101995 clauses out of 204029 with flag 56120937/5346451
376.70/373.19	c cleaning 103005 clauses out of 206035 with flag 57285042/5450452
388.37/384.82	c cleaning 104009 clauses out of 208030 with flag 58519271/5555453
402.93/399.49	c cleaning 105001 clauses out of 210019 with flag 59994510/5661451
414.01/410.53	c cleaning 106007 clauses out of 212019 with flag 61147707/5768452
428.30/424.88	c cleaning 106993 clauses out of 214010 with flag 62337449/5876451
443.11/439.72	c cleaning 107994 clauses out of 216017 with flag 63688347/5985452
456.92/453.59	c cleaning 108980 clauses out of 218022 with flag 64992405/6095451
470.24/466.94	c cleaning 110007 clauses out of 220041 with flag 66337008/6206451
485.20/481.96	c cleaning 110997 clauses out of 222033 with flag 67764887/6318451
498.99/495.71	c cleaning 112014 clauses out of 224035 with flag 69019858/6431452
512.45/509.26	c cleaning 112991 clauses out of 226020 with flag 70119080/6545452
527.27/528.63	c cleaning 114001 clauses out of 228028 with flag 71308526/6660452
540.93/542.36	c cleaning 115008 clauses out of 230022 with flag 72370200/6776451
554.30/555.76	c cleaning 116003 clauses out of 232013 with flag 73501877/6893453
568.49/569.92	c cleaning 116988 clauses out of 234005 with flag 74611771/7011451
582.86/584.37	c cleaning 118003 clauses out of 236014 with flag 75713242/7130452
598.58/600.02	c cleaning 118985 clauses out of 238007 with flag 76888711/7250451
613.33/614.87	c cleaning 119997 clauses out of 240017 with flag 77908568/7371452
630.35/631.93	c cleaning 120991 clauses out of 242015 with flag 78864756/7493451
645.47/646.96	c starts		: 18014
645.47/646.97	c conflicts		: 7605738
645.47/646.97	c decisions		: 21530003
645.47/646.97	c propagations		: 166274388
645.47/646.97	c inspects		: 9101523619
645.47/646.97	c shortcuts		: 0
645.47/646.97	c learnt literals	: 69
645.47/646.97	c learnt binary clauses	: 1486
645.47/646.97	c learnt ternary clauses	: 16448
645.47/646.97	c learnt constraints	: 7605668
645.47/646.97	c ignored constraints	: 0
645.47/646.97	c root simplifications	: 0
645.47/646.97	c removed literals (reason simplification)	: 46173458
645.47/646.97	c reason swapping (by a shorter reason)	: 0
645.47/646.97	c Calls to reduceDB	: 118
645.47/646.97	c Number of update (reduction) of LBD	: 5187298
645.47/646.97	c Imported unit clauses	: 0
645.47/646.97	c No decision after first conflict	: false
645.47/646.97	c number of reductions to clauses (during analyze)	: 0
645.47/646.97	c number of learned constraints concerned by reduction	: 0
645.47/646.97	c number of learning phase by resolution	: 0
645.47/646.97	c number of learning phase by cutting planes	: 0
645.47/646.97	c number of rounding to 1 operations	: 0
645.47/646.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
645.47/646.97	c number of reductions of the coefficients by power 2 	: 0
645.47/646.97	c number of right shift for reduction by power 2 	: 0
645.47/646.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
645.47/646.97	c number of ending skipping 	: 0
645.47/646.98	c number of internal skipping 	: 0
645.47/646.98	c number of derivation steps 	: 0
645.47/646.98	c number of skipped derivation steps 	: 0
645.47/646.98	c number of remaining unassigned 	: 0
645.47/646.98	c number of remaining assigned 	: 0
645.47/646.98	c number of falsified literals weakened from reason	: 0
645.47/646.98	c number of falsified literals weakened from conflict	: 0
645.47/646.98	c time for arithmetic operations	: 0
645.47/646.98	c minimum degree of deleted constraints	: null
645.47/646.98	c maximum degree of deleted constraints	: null
645.47/646.98	c number of deleted constraints	: 0
645.47/646.98	c speed (assignments/second)	: 257149.46659944387
645.47/646.98	c non guided choices	: 219
645.47/646.98	s OPTIMUM FOUND
645.47/646.98	c Found 1 solution(s)
645.47/646.98	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 x30 -x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 x52 x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 x162 -x163 -x164 x165 -x166 -x167 x168 -x169 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 x178 -x179 x180 -x181 -x182 -x183 x184 -x185 
645.47/646.98	c objective function=7
645.47/646.98	c Total wall clock time (in seconds): 646.789

Verifier Data 

OK	7

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Thu Jul  3 12:51:23 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 7 <= obj <= 7
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 7 <= obj <= 7
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517683-1751538680/watcher-4517683-1751538680 -o /tmp/evaluation-result-4517683-1751538680/solver-4517683-1751538680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81001 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517683-1751538680 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517683-1751538680.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
Current StackSize limit: 8192 KiB

solver pid=81733, runsolver pid=81730

[startup+0.100062 s]*
/proc/loadavg: 4.18 4.20 4.14 6/334 81751
/proc/meminfo: memFree=121995556/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=18930384 memory=48856 CPUtime=0.11 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 5909 0 0 0 9 2 0 0 20 0 18 0 69547765 19384713216 12214 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4732596 12214 5331 1 0 547088 0
[pid=81733/tid=81735] ppid=81730 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 4816 0 0 0 5 2 0 0 20 0 18 0 69547766 19384713216 12214 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547771 19384713216 12214 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=18930384 memory=59593594265959 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547772 19384713216 12214 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48856 KiB

[startup+0.207409 s]*
/proc/loadavg: 4.18 4.20 4.14 7/334 81751
/proc/meminfo: memFree=121988976/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=18930384 memory=59136 CPUtime=0.31 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 6803 0 0 0 28 3 0 0 20 0 18 0 69547765 19384713216 14784 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4732596 14784 5459 1 0 547816 0
[pid=81733/tid=81735] ppid=81730 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 5296 0 0 0 15 2 0 0 20 0 18 0 69547766 19384713216 14784 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=18930384 memory=1641 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547771 19384713216 14784 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547772 19384713216 14784 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59136 KiB

[startup+0.307318 s]*
/proc/loadavg: 4.18 4.20 4.14 7/334 81751
/proc/meminfo: memFree=121984880/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=18930384 memory=65940 CPUtime=0.5 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 6949 0 0 0 47 3 0 0 20 0 18 0 69547765 19384713216 16485 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4732596 16485 5459 1 0 547904 0
[pid=81733/tid=81735] ppid=81730 vsize=18930384 memory=-6000919507099675495 CPUtime=0.26 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 5329 0 0 0 24 2 0 0 20 0 18 0 69547766 19384713216 16485 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547771 19384713216 16485 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547772 19384713216 16485 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65940 KiB

[startup+0.700264 s]
/proc/loadavg: 4.18 4.20 4.14 7/335 81752
/proc/meminfo: memFree=121966732/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=18996948 memory=91088 CPUtime=1.24 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 9479 0 0 0 119 5 0 0 20 0 19 0 69547765 19452874752 22772 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4749237 22772 5491 1 0 549603 0
[pid=81733/tid=81735] ppid=81730 vsize=18996948 memory=18432 CPUtime=0.59 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 5481 0 0 0 56 3 0 0 20 0 19 0 69547766 19452874752 22772 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69547771 19452874752 22772 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69547772 19452874752 22772 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69547803 19452874752 22772 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91088 KiB

[startup+1.50025 s]
/proc/loadavg: 4.18 4.20 4.14 6/335 81752
/proc/meminfo: memFree=121835980/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=167504 CPUtime=2.82 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 16952 0 0 0 274 8 0 0 20 0 20 0 69547765 19521036288 41876 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 41876 5523 1 0 551771 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=0 CPUtime=1.34 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 6023 0 0 0 130 4 0 0 20 0 20 0 69547766 19521036288 41876 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 41876 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 41876 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 41876 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167504 KiB

[startup+3.10568 s]
/proc/loadavg: 4.25 4.21 4.14 6/336 81753
/proc/meminfo: memFree=121651380/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=182140 CPUtime=6 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 24155 0 0 0 590 10 0 0 20 0 20 0 69547765 19521036288 45535 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 45535 5523 1 0 554734 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=11136 CPUtime=2.91 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 6709 0 0 0 286 5 0 0 20 0 20 0 69547766 19521036288 45535 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=-6000919507099675495 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 45535 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 45535 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 45535 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182140 KiB

[startup+6.30039 s]
/proc/loadavg: 4.25 4.21 4.14 5/336 81753
/proc/meminfo: memFree=121251752/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=481956 CPUtime=9.92 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 24694 0 0 0 975 17 0 0 20 0 20 0 69547765 19521036288 120489 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 120489 5523 1 0 554735 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=0 CPUtime=6.08 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 7085 0 0 0 596 12 0 0 20 0 20 0 69547766 19521036288 120489 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 120489 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 120489 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=167504 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 120489 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 481956 KiB

[startup+12.7004 s]
/proc/loadavg: 4.28 4.22 4.15 5/336 81753
/proc/meminfo: memFree=120183848/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1020628 CPUtime=16.32 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 27903 0 0 0 1599 33 0 0 20 0 20 0 69547765 19521036288 255157 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 255157 5523 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=167504 CPUtime=12.42 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 8288 0 0 0 1215 27 0 0 20 0 20 0 69547766 19521036288 255157 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=1020628 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 255157 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 255157 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 255157 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 16.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1020628 KiB

[startup+25.5004 s]
/proc/loadavg: 4.24 4.21 4.15 5/336 81753
/proc/meminfo: memFree=119751576/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1317604 CPUtime=29.09 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 30933 0 0 0 2864 45 0 0 20 0 20 0 69547765 19521036288 329401 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 329401 5523 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=-6000919507099675495 CPUtime=25.05 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 9568 0 0 0 2468 37 0 0 20 0 20 0 69547766 19521036288 329401 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=1317604 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 329401 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 329401 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 329401 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 29.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1317604 KiB

[startup+51.1143 s]
/proc/loadavg: 4.23 4.21 4.15 5/336 81754
/proc/meminfo: memFree=119136636/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1321828 CPUtime=54.55 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 33986 0 0 0 5399 56 0 0 20 0 20 0 69547765 19521036288 330457 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 330457 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=1321828 CPUtime=50.33 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 10651 0 0 0 4986 47 0 0 20 0 20 0 69547766 19521036288 330457 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 330457 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0

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

/proc/meminfo: memFree=118718596/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1388124 CPUtime=465.65 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 56072 0 0 0 46389 176 0 0 20 0 20 0 69547765 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 347031 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=3328 CPUtime=457.84 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 17304 0 0 0 45643 141 0 0 20 0 20 0 69547766 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=1388124 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 245 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=1367612 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 465.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1388124 KiB

[startup+522.3 s]
/proc/loadavg: 4.14 4.13 4.12 2/333 81850
/proc/meminfo: memFree=118183696/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1388124 CPUtime=525.12 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 56739 0 0 0 52326 186 0 0 20 0 20 0 69547765 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 347031 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=14336 CPUtime=517.15 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) D 81730 81733 80991 0 -1 4194368 17788 0 0 0 51566 149 0 0 20 0 20 0 69547766 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=1388124 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=1388124 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 301 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=1388124 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 347031 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 525.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1388124 KiB

[startup+582.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/332 81852
/proc/meminfo: memFree=117699492/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1416840 CPUtime=580.86 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 58564 0 0 0 57890 196 0 0 20 0 20 0 69547765 19521036288 354210 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 354210 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=18432 CPUtime=572.45 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 18705 0 0 0 57089 156 0 0 20 0 20 0 69547766 19521036288 354210 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 354210 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=-6000919507099675495 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 413 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 354210 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=1416840 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 354210 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 580.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1416840 KiB

[startup+642.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/332 81854
/proc/meminfo: memFree=117243652/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1460084 CPUtime=640.82 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 58728 0 0 0 63872 210 0 0 20 0 20 0 69547765 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 365021 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=1460084 CPUtime=631.99 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 18712 0 0 0 63034 165 0 0 20 0 20 0 69547766 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 413 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 640.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1460084 KiB

[startup+647.039 s]
# the end of solver process 81733 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=643.455 s, system=2.12782 s

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

[startup+643.2 s]
/proc/loadavg: 4.17 4.14 4.12 5/332 81854
/proc/meminfo: memFree=117242896/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1460084 CPUtime=641.72 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 58730 0 0 0 63962 210 0 0 20 0 20 0 69547765 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 365021 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=11136 CPUtime=632.88 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 18714 0 0 0 63123 165 0 0 20 0 20 0 69547766 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 413 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=1460084 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 641.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1460084 KiB

[startup+644.8 s]
/proc/loadavg: 4.17 4.14 4.12 5/332 81854
/proc/meminfo: memFree=117233824/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1460084 CPUtime=643.31 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 58730 0 0 0 64121 210 0 0 20 0 20 0 69547765 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 365021 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=1460084 CPUtime=634.48 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 18714 0 0 0 63283 165 0 0 20 0 20 0 69547766 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=1460084 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=21672 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 413 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=-6000919507099675495 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 643.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1460084 KiB

[startup+646.4 s]
/proc/loadavg: 4.17 4.14 4.12 5/332 81854
/proc/meminfo: memFree=117223744/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1460084 CPUtime=644.91 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 59349 0 0 0 64281 210 0 0 20 0 20 0 69547765 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 365021 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=11136 CPUtime=636.07 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 19218 0 0 0 63442 165 0 0 20 0 20 0 69547766 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=1460084 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 413 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=1460084 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 644.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1460084 KiB

[startup+646.8 s]
/proc/loadavg: 4.17 4.14 4.12 5/332 81854
/proc/meminfo: memFree=117223744/131382116 swapFree=33010684/33010684
[pid=81733] ppid=81730 vsize=19063512 memory=1460084 CPUtime=645.37 cores=0,2
/proc/81733/stat : 81733 (java) S 81730 81733 80991 0 -1 4194304 60245 0 0 0 64327 210 0 0 20 0 20 0 69547765 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
/proc/81733/statm: 4765878 365021 5555 1 0 554751 0
[pid=81733/tid=81735] ppid=81730 vsize=19063512 memory=1460084 CPUtime=636.47 cores=0,2
/proc/81733/task/81735/stat : 81735 (java) R 81730 81733 80991 0 -1 4194368 19219 0 0 0 63482 165 0 0 20 0 20 0 69547766 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81744] ppid=81730 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/81733/task/81744/stat : 81744 (Finalizer) S 81730 81733 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547771 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81751] ppid=81730 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/81733/task/81751/stat : 81751 (Common-Cleaner) S 81730 81733 80991 0 -1 4194368 413 0 0 0 0 0 0 0 20 0 20 0 69547772 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
[pid=81733/tid=81752] ppid=81730 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/81733/task/81752/stat : 81752 (Timer-0) S 81730 81733 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547803 19521036288 365021 18446744073709551615 94562455085056 94562455088752 140729418609792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94562455096568 94562455097360 94562486804480 140729418615088 140729418615270 140729418615270 140729418620872 0
Current children cumulated CPU time: 645.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1460084 KiB

[startup+647 s]*
/proc/loadavg: 4.16 4.14 4.12 5/314 81856
/proc/meminfo: memFree=118618320/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 647.039
CPU time (s): 645.583
CPU user time (s): 643.455
CPU system time (s): 2.12782
CPU usage (%): 99.7749
Max. virtual memory (cumulated for all children) (KiB): 19066300
Max. memory (cumulated for all children) (KiB): 1460084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 643.455
system time used= 2.12782
maximum resident set size= 1460724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1673440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21360
involuntary context switches= 2823


# summary of solver processes directly reported to runsolver:
#   pid: 81733
#   total CPU time (s): 645.583
#   total CPU user time (s): 643.455
#   total CPU system time (s): 2.12782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66427 second user time and 7.14631 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-03 12:31:20
IDJOB=4517683
IDBENCH=176157
IDSOLVER=3364
FILE ID=nodeC011/4517683-1751538680
RUNJOBID= nodeC011-1751535003-81001
SLURM_JOB_ID= 9598684
Free space on /tmp= 430536 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=10-t=3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517683-1751538680/watcher-4517683-1751538680 -o /tmp/evaluation-result-4517683-1751538680/solver-4517683-1751538680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81001 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517683-1751538680 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517683-1751538680.opb

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

MD5SUM BENCH= 3e50d3b7c5b20854de6ffc628b5756bc
RANDOM SEED=826212019

nodeC011 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.289
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	: 6984.20
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		: 3492.106
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	: 6984.20
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		: 2695.116
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	: 6984.20
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		: 3492.105
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	: 6984.20
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		: 3661.335
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.880
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	: 6984.20
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.194
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	: 6984.20
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		: 1198.189
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        122024080 kB
MemAvailable:   126090420 kB
Buffers:            3276 kB
Cached:          4862664 kB
SwapCached:            0 kB
Active:          4391508 kB
Inactive:        4423480 kB
Active(anon):    3964980 kB
Inactive(anon):     2104 kB
Active(file):     426528 kB
Inactive(file):  4421376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28364 kB
Writeback:             8 kB
AnonPages:       3952208 kB
Mapped:           123508 kB
Shmem:             17960 kB
KReclaimable:     115744 kB
Slab:             202688 kB
SReclaimable:     115744 kB
SUnreclaim:        86944 kB
KernelStack:        5184 kB
PageTables:        11364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7487096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3743744 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:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430536 MiB
End job on nodeC011 at 2025-07-03 12:42:08