Trace number 4517591

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.1 1643.91 1665.07

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
MD5SUMfc6c22edea63d6bf282da0f44295fc1a
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.164575
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables245
Total number of constraints4485
Number of constraints which are clauses4475
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

Quality of the solution as a function of time


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

Solver Data 

0.10/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.16	c See www.sat4j.org for details.
0.10/0.17	c version PB25.v20250606
0.10/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.20	c java.vm.version	22.0.1+8-16
0.10/0.20	c java.vm.vendor	Oracle Corporation
0.10/0.20	c sun.arch.data.model	64
0.10/0.20	c java.version		22.0.1
0.10/0.20	c os.name		Linux
0.10/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.20	c os.arch		amd64
0.10/0.20	c Free memory 		2104792832
0.10/0.21	c Max memory 		16282288128
0.10/0.21	c Total memory 		2113929216
0.23/0.23	c Number of processors 	2
0.34/0.34	c Pseudo Boolean Optimization by upper bound
0.34/0.34	c --- Begin Solver configuration ---
0.34/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.34/0.34	c Learn all clauses as in MiniSAT
0.34/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.34/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.34/0.34	c Expensive reason simplification
0.34/0.34	c Glucose 2.1 dynamic restart strategy
0.34/0.34	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.34/0.34	c timeout=2147483s
0.34/0.34	c DB Simplification allowed=false
0.34/0.34	c Listener: none
0.34/0.34	c --- End Solver configuration ---
0.34/0.34	c solving HOME/instance-4517591-1751538535.opb
0.34/0.34	c reading problem ... 
0.34/0.34	c using VERIPB proof format
0.34/0.35	c  objective function found
0.71/0.56	c ... done. Wall clock time 0.212s.
0.71/0.56	c declared #vars     245
0.71/0.56	c #constraints  4485
0.71/0.56	c constraints type 
0.71/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10
0.71/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4475
0.71/0.56	c 4485 constraints processed.
0.71/0.58	c objective function length is 10 literals
1.03/0.79	c SATISFIABLE
1.03/0.79	c OPTIMIZING...
1.03/0.79	c Got one! Elapsed wall clock time (in seconds):0.446
1.03/0.79	o 4
1.42/0.90	c Got one! Elapsed wall clock time (in seconds):0.564
1.42/0.90	o 3
1.42/0.93	c Got one! Elapsed wall clock time (in seconds):0.585
1.42/0.93	o 1
2.60/1.58	c cleaning 3104 clauses out of 6222 with flag 31479/6222
3.98/2.24	c cleaning 4542 clauses out of 9116 with flag 79546/12220
5.34/2.94	c cleaning 5785 clauses out of 11575 with flag 127601/19221
6.23/3.62	c cleaning 6886 clauses out of 13789 with flag 183847/27220
7.50/4.47	c cleaning 7939 clauses out of 15904 with flag 253254/36221
8.90/5.81	c cleaning 8959 clauses out of 17965 with flag 331444/46221
10.50/7.42	c cleaning 9976 clauses out of 20006 with flag 410269/57221
12.69/9.64	c cleaning 10993 clauses out of 22029 with flag 497887/69220
14.04/10.92	c cleaning 12008 clauses out of 24036 with flag 590225/82220
14.85/11.78	c cleaning 13004 clauses out of 26028 with flag 695864/96220
15.95/12.80	c cleaning 14004 clauses out of 28026 with flag 806307/111222
17.04/13.97	c cleaning 15001 clauses out of 30020 with flag 911797/127220
18.45/15.22	c cleaning 15994 clauses out of 32019 with flag 1042182/144220
19.89/16.67	c cleaning 17000 clauses out of 34025 with flag 1192180/162220
21.49/18.23	c cleaning 18002 clauses out of 36025 with flag 1354226/181220
23.30/20.09	c cleaning 19004 clauses out of 38023 with flag 1518032/201220
25.48/22.20	c cleaning 20010 clauses out of 40020 with flag 1681161/222221
27.64/24.32	c cleaning 21001 clauses out of 42011 with flag 1841668/244222
30.13/26.87	c cleaning 21998 clauses out of 44008 with flag 2029679/267220
33.71/29.68	c cleaning 23002 clauses out of 46010 with flag 2242011/291220
38.74/34.22	c cleaning 23992 clauses out of 48009 with flag 2468055/316221
42.35/37.68	c cleaning 25002 clauses out of 50016 with flag 2728761/342220
46.20/41.03	c cleaning 26008 clauses out of 52017 with flag 2997432/369223
49.94/44.74	c cleaning 27003 clauses out of 54007 with flag 3288985/397221
53.73/48.54	c cleaning 27997 clauses out of 56005 with flag 3599957/426222
58.14/52.45	c cleaning 28993 clauses out of 58006 with flag 3923369/456220
62.43/56.33	c cleaning 30002 clauses out of 60013 with flag 4256137/487220
66.97/60.67	c cleaning 30998 clauses out of 62012 with flag 4602397/519221
71.45/65.18	c cleaning 31998 clauses out of 64014 with flag 4959609/552221
76.36/70.07	c cleaning 33003 clauses out of 66016 with flag 5317786/586221
81.63/75.34	c cleaning 34001 clauses out of 68012 with flag 5682119/621220
87.68/81.33	c cleaning 35003 clauses out of 70011 with flag 6059105/657220
94.63/87.92	c cleaning 36000 clauses out of 72008 with flag 6462663/694221
100.18/93.33	c cleaning 36992 clauses out of 74007 with flag 6812677/732220
105.57/98.79	c cleaning 37997 clauses out of 76016 with flag 7178696/771221
111.55/104.77	c cleaning 39004 clauses out of 78018 with flag 7555476/811220
118.16/111.15	c cleaning 39997 clauses out of 80014 with flag 7930383/852220
124.74/117.73	c cleaning 41009 clauses out of 82018 with flag 8333405/894221
131.60/124.67	c cleaning 41995 clauses out of 84008 with flag 8786926/937220
139.58/132.66	c cleaning 43004 clauses out of 86014 with flag 9273279/981221
148.26/141.31	c cleaning 44001 clauses out of 88012 with flag 9770677/1026223
157.72/150.80	c cleaning 44997 clauses out of 90008 with flag 10238646/1072220
167.57/160.71	c cleaning 46003 clauses out of 92011 with flag 10760897/1119220
176.15/169.35	c cleaning 46995 clauses out of 94008 with flag 11275585/1167221
184.13/177.30	c cleaning 48004 clauses out of 96014 with flag 11728903/1216222
193.99/187.24	c cleaning 49000 clauses out of 98008 with flag 12160317/1266220
204.27/197.52	c cleaning 49997 clauses out of 100008 with flag 12626302/1317220
215.33/208.60	c cleaning 50999 clauses out of 102011 with flag 13121523/1369220
228.15/221.56	c cleaning 51995 clauses out of 104012 with flag 13635062/1422220
240.81/234.18	c cleaning 53003 clauses out of 106017 with flag 14205269/1476220
255.08/255.95	c cleaning 54006 clauses out of 108015 with flag 14786533/1531221
267.56/268.46	c cleaning 54996 clauses out of 110008 with flag 15379232/1587220
281.89/282.72	c cleaning 55996 clauses out of 112012 with flag 16041701/1644220
293.36/294.27	c cleaning 57000 clauses out of 114018 with flag 16605207/1702223
305.03/306.01	c cleaning 58007 clauses out of 116016 with flag 17163082/1761221
319.81/320.85	c cleaning 59002 clauses out of 118009 with flag 17725416/1821221
332.67/333.70	c cleaning 60000 clauses out of 120007 with flag 18359341/1882221
344.12/345.20	c cleaning 60999 clauses out of 122008 with flag 19059878/1944222
354.48/355.63	c cleaning 61998 clauses out of 124007 with flag 19767289/2007220
368.14/369.31	c cleaning 62991 clauses out of 126009 with flag 20485848/2071220
382.08/383.34	c cleaning 63996 clauses out of 128019 with flag 21221496/2136221
397.23/398.57	c cleaning 65007 clauses out of 130023 with flag 22071674/2202221
410.72/415.28	c cleaning 66001 clauses out of 132014 with flag 22876958/2269220
423.49/428.04	c cleaning 67000 clauses out of 134014 with flag 23506344/2337221
437.72/442.30	c cleaning 67998 clauses out of 136014 with flag 24206125/2406221
452.50/457.16	c cleaning 68999 clauses out of 138015 with flag 24924036/2476220
465.46/470.18	c cleaning 70001 clauses out of 140017 with flag 25551649/2547221
478.99/483.74	c cleaning 71006 clauses out of 142016 with flag 26336414/2619221
492.94/497.74	c cleaning 71982 clauses out of 144011 with flag 27206956/2692222
507.70/512.50	c cleaning 73012 clauses out of 146027 with flag 28080511/2766220
521.43/526.34	c cleaning 73999 clauses out of 148016 with flag 29009456/2841221
538.38/543.32	c cleaning 75002 clauses out of 150016 with flag 29847416/2917220
557.53/567.74	c cleaning 75999 clauses out of 152016 with flag 30727648/2994222
573.48/583.73	c cleaning 76996 clauses out of 154014 with flag 31640789/3072220
588.13/598.56	c cleaning 78006 clauses out of 156018 with flag 32597584/3151220
604.88/615.33	c cleaning 78998 clauses out of 158013 with flag 33441198/3231221
626.59/637.26	c cleaning 80003 clauses out of 160015 with flag 34217861/3312221
645.63/656.37	c cleaning 81006 clauses out of 162011 with flag 35015067/3394220
664.58/675.32	c cleaning 81995 clauses out of 164005 with flag 35995101/3477220
682.12/692.93	c cleaning 82998 clauses out of 166009 with flag 37044619/3561220
702.72/713.85	c cleaning 83994 clauses out of 168011 with flag 37901705/3646220
724.26/735.44	c cleaning 84996 clauses out of 170018 with flag 38810921/3732221
747.69/758.96	c cleaning 85997 clauses out of 172021 with flag 39740673/3819220
770.63/781.99	c cleaning 87007 clauses out of 174023 with flag 40715524/3907220
793.55/804.96	c cleaning 88006 clauses out of 176017 with flag 41668490/3996221
817.15/828.69	c cleaning 88998 clauses out of 178010 with flag 42578948/4086220
841.99/853.52	c cleaning 90005 clauses out of 180012 with flag 43557311/4177220
866.32/877.98	c cleaning 91000 clauses out of 182007 with flag 44607235/4269220
891.82/903.52	c cleaning 92000 clauses out of 184007 with flag 45743047/4362220
919.42/931.24	c cleaning 92994 clauses out of 186006 with flag 46808521/4456220
945.34/957.27	c cleaning 93992 clauses out of 188013 with flag 47850778/4551221
971.97/983.97	c cleaning 95003 clauses out of 190020 with flag 48937357/4647220
999.85/1011.97	c cleaning 96002 clauses out of 192018 with flag 50055497/4744221
1028.02/1040.14	c cleaning 97008 clauses out of 194018 with flag 51096497/4842223
1057.63/1069.80	c cleaning 97998 clauses out of 196006 with flag 52218966/4941220
1084.95/1097.29	c cleaning 99000 clauses out of 198008 with flag 53373769/5041220
1116.51/1128.96	c cleaning 100003 clauses out of 200010 with flag 54567785/5142222
1146.41/1158.93	c cleaning 101001 clauses out of 202005 with flag 55743789/5244220
1178.62/1191.22	c cleaning 101995 clauses out of 204004 with flag 56967299/5347220
1219.21/1231.97	c cleaning 102999 clauses out of 206008 with flag 58244910/5451220
1256.36/1269.22	c cleaning 104003 clauses out of 208013 with flag 59549980/5556224
1291.82/1307.18	c cleaning 104998 clauses out of 210007 with flag 60800207/5662221
1329.22/1346.61	c cleaning 106003 clauses out of 212009 with flag 62056584/5769221
1369.39/1389.98	c cleaning 107002 clauses out of 214006 with flag 63321993/5877222
1414.97/1435.61	c cleaning 107995 clauses out of 216002 with flag 64623362/5986220
1575.00/1596.03	c cleaning 108998 clauses out of 218007 with flag 65950810/6096220
1643.85/1665.01	c starts		: 7726
1643.85/1665.02	c conflicts		: 6168955
1643.85/1665.02	c decisions		: 7423410
1643.85/1665.02	c propagations		: 187150146
1643.85/1665.02	c inspects		: 25196021350
1643.85/1665.02	c shortcuts		: 0
1643.85/1665.02	c learnt literals	: 19
1643.85/1665.02	c learnt binary clauses	: 329
1643.85/1665.02	c learnt ternary clauses	: 3224
1643.85/1665.02	c learnt constraints	: 6168935
1643.85/1665.02	c ignored constraints	: 0
1643.85/1665.02	c root simplifications	: 0
1643.85/1665.02	c removed literals (reason simplification)	: 162809657
1643.85/1665.02	c reason swapping (by a shorter reason)	: 0
1643.85/1665.02	c Calls to reduceDB	: 106
1643.85/1665.02	c Number of update (reduction) of LBD	: 2055061
1643.85/1665.03	c Imported unit clauses	: 0
1643.85/1665.03	c No decision after first conflict	: false
1643.85/1665.03	c number of reductions to clauses (during analyze)	: 0
1643.85/1665.03	c number of learned constraints concerned by reduction	: 0
1643.85/1665.03	c number of learning phase by resolution	: 0
1643.85/1665.03	c number of learning phase by cutting planes	: 0
1643.85/1665.03	c number of rounding to 1 operations	: 0
1643.85/1665.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1643.85/1665.03	c number of reductions of the coefficients by power 2 	: 0
1643.85/1665.03	c number of right shift for reduction by power 2 	: 0
1643.85/1665.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
1643.85/1665.03	c number of ending skipping 	: 0
1643.85/1665.03	c number of internal skipping 	: 0
1643.85/1665.03	c number of derivation steps 	: 0
1643.85/1665.03	c number of skipped derivation steps 	: 0
1643.85/1665.03	c number of remaining unassigned 	: 0
1643.85/1665.03	c number of remaining assigned 	: 0
1643.85/1665.03	c number of falsified literals weakened from reason	: 0
1643.85/1665.03	c number of falsified literals weakened from conflict	: 0
1643.85/1665.03	c time for arithmetic operations	: 0
1643.85/1665.03	c minimum degree of deleted constraints	: null
1643.85/1665.03	c maximum degree of deleted constraints	: null
1643.85/1665.03	c number of deleted constraints	: 0
1643.85/1665.03	c speed (assignments/second)	: 112440.37540576735
1643.85/1665.03	c non guided choices	: 844
1643.85/1665.03	s OPTIMUM FOUND
1643.85/1665.03	c Found 3 solution(s)
1643.85/1665.03	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 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 
1643.85/1665.04	c objective function=1
1643.85/1665.04	c Total wall clock time (in seconds): 1664.695

Verifier Data 

OK	1

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Thu Jul  3 13:15:07 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 1 <= obj <= 1
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 1 <= obj <= 1
--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 (49587 MiB free)
  memory of node 1: 64507 MiB (54600 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=81593, runsolver pid=81590

[startup+0.100071 s]*
/proc/loadavg: 4.20 4.22 4.14 5/335 81611
/proc/meminfo: memFree=106659400/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=18930384 memory=48304 CPUtime=0.1 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 5792 0 0 0 7 3 0 0 20 0 18 0 69533269 19384713216 12076 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4732596 12076 5303 1 0 546988 0
[pid=81593/tid=81595] ppid=81590 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 4684 0 0 0 5 2 0 0 20 0 18 0 69533271 19384713216 12076 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69533275 19384713216 12076 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=18930384 memory=59593594265959 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69533276 19384713216 12076 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48304 KiB

[startup+0.214244 s]*
/proc/loadavg: 4.20 4.22 4.14 6/335 81611
/proc/meminfo: memFree=106645224/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=18930384 memory=53380 CPUtime=0.23 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 6501 0 0 0 19 4 0 0 20 0 18 0 69533269 19384713216 13345 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4732596 13345 5335 1 0 547577 0
[pid=81593/tid=81595] ppid=81590 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 4989 0 0 0 14 2 0 0 20 0 18 0 69533271 19384713216 13345 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=18930384 memory=1641 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69533275 19384713216 13345 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69533276 19384713216 13345 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53380 KiB

[startup+0.313993 s]*
/proc/loadavg: 4.20 4.22 4.14 5/335 81611
/proc/meminfo: memFree=106641128/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=18930384 memory=58764 CPUtime=0.34 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 6786 0 0 0 30 4 0 0 20 0 18 0 69533269 19384713216 14691 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4732596 14691 5399 1 0 547777 0
[pid=81593/tid=81595] ppid=81590 vsize=18930384 memory=-6000919506999143271 CPUtime=0.24 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 5168 0 0 0 21 3 0 0 20 0 18 0 69533271 19384713216 14691 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69533275 19384713216 14691 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69533276 19384713216 14691 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58764 KiB

[startup+0.700361 s]
/proc/loadavg: 4.20 4.22 4.14 6/335 81611
/proc/meminfo: memFree=106632936/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=18996948 memory=79548 CPUtime=1.03 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 8743 0 0 0 97 6 0 0 20 0 19 0 69533269 19452874752 19887 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4749237 19887 5463 1 0 549322 0
[pid=81593/tid=81595] ppid=81590 vsize=18996948 memory=18432 CPUtime=0.57 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 5403 0 0 0 53 4 0 0 20 0 19 0 69533271 19452874752 19887 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69533275 19452874752 19887 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69533276 19452874752 19887 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79548 KiB

[startup+1.50029 s]
/proc/loadavg: 4.20 4.22 4.14 6/336 81612
/proc/meminfo: memFree=106595444/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=169148 CPUtime=2.6 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 16111 0 0 0 250 10 0 0 20 0 20 0 69533269 19521036288 42287 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 42287 5527 1 0 552174 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=3328 CPUtime=1.35 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 5848 0 0 0 129 6 0 0 20 0 20 0 69533271 19521036288 42287 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 42287 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 42287 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 42287 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169148 KiB

[startup+3.1061 s]
/proc/loadavg: 4.26 4.23 4.14 6/337 81613
/proc/meminfo: memFree=106505844/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=177412 CPUtime=5.68 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 20190 0 0 0 556 12 0 0 20 0 20 0 69533269 19521036288 44353 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 44353 5527 1 0 552967 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=14336 CPUtime=2.9 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 6876 0 0 0 284 6 0 0 20 0 20 0 69533271 19521036288 44353 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 44353 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 44353 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 44353 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177412 KiB

[startup+6.30044 s]
/proc/loadavg: 4.26 4.23 4.14 5/337 81613
/proc/meminfo: memFree=106390852/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=280352 CPUtime=9.4 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 21486 0 0 0 925 15 0 0 20 0 20 0 69533269 19521036288 70088 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 70088 5527 1 0 552972 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=0 CPUtime=6.06 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 7518 0 0 0 597 9 0 0 20 0 20 0 69533271 19521036288 70088 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 70088 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 70088 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=170460 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 70088 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 280352 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.22 4.14 5/337 81613
/proc/meminfo: memFree=106101072/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=524072 CPUtime=15.85 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 26443 0 0 0 1563 22 0 0 20 0 20 0 69533269 19521036288 131018 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 131018 5527 1 0 552988 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=170460 CPUtime=12.36 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 8887 0 0 0 1220 16 0 0 20 0 20 0 69533271 19521036288 131018 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=524072 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 131018 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 131018 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 131018 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 15.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 524072 KiB

[startup+25.5005 s]
/proc/loadavg: 4.26 4.23 4.14 5/337 81614
/proc/meminfo: memFree=105934944/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=624552 CPUtime=28.83 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 30243 0 0 0 2855 28 0 0 20 0 20 0 69533269 19521036288 156138 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 156138 5527 1 0 552988 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=0 CPUtime=25.07 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 9838 0 0 0 2487 20 0 0 20 0 20 0 69533271 19521036288 156138 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 156138 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=624552 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 156138 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=624552 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 156138 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 28.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 624552 KiB

[startup+51.1139 s]
/proc/loadavg: 4.17 4.21 4.14 5/337 81614
/proc/meminfo: memFree=105160192/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1273712 CPUtime=56.33 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 39380 0 0 0 5584 49 0 0 20 0 20 0 69533269 19521036288 318428 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 318428 5527 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=629672 CPUtime=50.53 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 11209 0 0 0 5016 37 0 0 20 0 20 0 69533271 19521036288 318428 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 318428 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 318428 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0

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

/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 348797 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1401.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1395188 KiB

[startup+1482.3 s]
/proc/loadavg: 4.30 4.27 4.20 6/332 82155
/proc/meminfo: memFree=107523320/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1395188 CPUtime=1461.54 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 85325 0 0 0 145903 251 0 0 20 0 20 0 69533269 19521036288 348797 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 348797 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=1395188 CPUtime=1449.99 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 25606 0 0 0 144826 173 0 0 20 0 20 0 69533271 19521036288 348797 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=1395188 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 348797 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 810 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 348797 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 348797 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1461.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1395188 KiB

[startup+1542.3 s]
/proc/loadavg: 4.25 4.26 4.20 5/332 82157
/proc/meminfo: memFree=106318764/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1521.41 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 86980 0 0 0 151884 257 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=5632 CPUtime=1509.6 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 26215 0 0 0 150785 175 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=1378696 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 810 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1521.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

[startup+1602.3 s]
/proc/loadavg: 4.24 4.26 4.20 5/332 82159
/proc/meminfo: memFree=105826772/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1581.26 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 87356 0 0 0 157863 263 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=1378696 CPUtime=1569.39 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 26379 0 0 0 156762 177 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=1405432 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=1405432 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 886 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=1405432 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1581.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

[startup+1662.3 s]
/proc/loadavg: 4.41 4.29 4.21 3/332 82161
/proc/meminfo: memFree=105386512/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1641.12 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 87385 0 0 0 163844 268 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=1378696 CPUtime=1629.21 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 26403 0 0 0 162742 179 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 886 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=1405432 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1641.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

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

# cumulated CPU time of all completed processes:  user=1641.21 s, system=2.70842 s

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

[startup+1662.4 s]
/proc/loadavg: 4.41 4.29 4.21 3/332 82161
/proc/meminfo: memFree=105386512/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1641.22 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 87385 0 0 0 163854 268 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=14336 CPUtime=1629.31 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 26403 0 0 0 162752 179 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=-6000919506999143271 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 886 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=5088 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1641.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

[startup+1664 s]*
/proc/loadavg: 4.41 4.29 4.21 5/332 82161
/proc/meminfo: memFree=105401112/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1642.84 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 88378 0 0 0 164015 269 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=-6000919468495694439 CPUtime=1630.92 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 27318 0 0 0 162912 180 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=-4421386517689428319 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 886 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=2944 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1642.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

[startup+1664.8 s]
/proc/loadavg: 4.41 4.29 4.21 5/332 82161
/proc/meminfo: memFree=105401112/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1643.65 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 88431 0 0 0 164096 269 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554532 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1631.71 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) R 81590 81593 80991 0 -1 4194368 27321 0 0 0 162991 180 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=1405432 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 886 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1643.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

[startup+1665 s]*
/proc/loadavg: 4.41 4.29 4.21 4/332 82161
/proc/meminfo: memFree=105394508/131382116 swapFree=33010684/33010684
[pid=81593] ppid=81590 vsize=19063512 memory=1405432 CPUtime=1643.85 cores=5,7
/proc/81593/stat : 81593 (java) S 81590 81593 80991 0 -1 4194304 89069 0 0 0 164116 269 0 0 20 0 20 0 69533269 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
/proc/81593/statm: 4765878 351358 5559 1 0 554548 0
[pid=81593/tid=81595] ppid=81590 vsize=19063512 memory=1792 CPUtime=1631.91 cores=5,7
/proc/81593/task/81595/stat : 81595 (java) S 81590 81593 80991 0 -1 4194368 27958 0 0 0 163011 180 0 0 20 0 20 0 69533271 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81604] ppid=81590 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/81593/task/81604/stat : 81604 (Finalizer) S 81590 81593 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69533275 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81611] ppid=81590 vsize=19063512 memory=5888 CPUtime=0 cores=5,7
/proc/81593/task/81611/stat : 81611 (Common-Cleaner) S 81590 81593 80991 0 -1 4194368 886 0 0 0 0 0 0 0 20 0 20 0 69533276 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
[pid=81593/tid=81612] ppid=81590 vsize=19063512 memory=-4421386517689428319 CPUtime=0 cores=5,7
/proc/81593/task/81612/stat : 81612 (Timer-0) S 81590 81593 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69533328 19521036288 351358 18446744073709551615 93963066081280 93963066084976 140725800062560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963066092792 93963066093584 93963099172864 140725800065328 140725800065510 140725800065510 140725800071112 0
Current children cumulated CPU time: 1643.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1405432 KiB

Child status: 30

Real time (s): 1665.07
CPU time (s): 1643.91
CPU user time (s): 1641.21
CPU system time (s): 2.70842
CPU usage (%): 98.7297
Max. virtual memory (cumulated for all children) (KiB): 19064780
Max. memory (cumulated for all children) (KiB): 1405432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1641.21
system time used= 2.70842
maximum resident set size= 1405944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1575824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48204
involuntary context switches= 12704


# summary of solver processes directly reported to runsolver:
#   pid: 81593
#   total CPU time (s): 1643.91
#   total CPU user time (s): 1641.21
#   total CPU system time (s): 2.70842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98895 second user time and 17.1148 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-03 12:28:56
IDJOB=4517591
IDBENCH=176126
IDSOLVER=3364
FILE ID=nodeC011/4517591-1751538535
RUNJOBID= nodeC011-1751535003-81004
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=9.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517591-1751538535/watcher-4517591-1751538535 -o /tmp/evaluation-result-4517591-1751538535/solver-4517591-1751538535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81004 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517591-1751538535 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517591-1751538535.opb

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

MD5SUM BENCH= fc6c22edea63d6bf282da0f44295fc1a
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		: 3512.418
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		: 3591.868
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		: 1197.510
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		: 1198.018
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		: 3521.442
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		: 3493.838
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.673
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		: 1197.287
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:        106688192 kB
MemAvailable:   122882052 kB
Buffers:            3276 kB
Cached:         16976896 kB
SwapCached:            0 kB
Active:          7587000 kB
Inactive:       16537684 kB
Active(anon):    7160472 kB
Inactive(anon):     2104 kB
Active(file):     426528 kB
Inactive(file): 16535580 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52840 kB
Writeback:             8 kB
AnonPages:       7147632 kB
Mapped:           123428 kB
Shmem:             17960 kB
KReclaimable:     142376 kB
Slab:             231144 kB
SReclaimable:     142376 kB
SUnreclaim:        88768 kB
KernelStack:        5088 kB
PageTables:        17576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7923184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6934528 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:56:41