Trace number 4517590

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06OPT1 1608.63 1609.13

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4517590-1751529675.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  objective function found
0.31/0.22	c ... done. Wall clock time 0.083s.
0.31/0.22	c declared #vars     245
0.31/0.22	c #constraints  4485
0.31/0.22	c constraints type 
0.31/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10
0.31/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4475
0.31/0.22	c 4485 constraints processed.
0.31/0.23	c objective function length is 10 literals
0.31/0.30	c SATISFIABLE
0.31/0.30	c OPTIMIZING...
0.31/0.30	c Got one! Elapsed wall clock time (in seconds):0.165
0.31/0.30	o 4
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.203
0.49/0.34	o 3
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.211
0.49/0.34	o 1
1.25/0.72	c cleaning 3104 clauses out of 6222 with flag 31479/6222
1.91/1.12	c cleaning 4542 clauses out of 9116 with flag 79546/12220
2.52/1.65	c cleaning 5785 clauses out of 11575 with flag 127601/19221
3.14/2.23	c cleaning 6886 clauses out of 13789 with flag 183847/27220
3.84/2.94	c cleaning 7939 clauses out of 15904 with flag 253254/36221
5.10/4.18	c cleaning 8959 clauses out of 17965 with flag 331444/46221
6.59/5.69	c cleaning 9976 clauses out of 20006 with flag 410269/57221
8.69/7.72	c cleaning 10993 clauses out of 22029 with flag 497887/69220
9.89/8.91	c cleaning 12008 clauses out of 24036 with flag 590225/82220
10.59/9.68	c cleaning 13004 clauses out of 26028 with flag 695864/96220
11.65/10.56	c cleaning 14004 clauses out of 28026 with flag 806307/111222
12.74/11.62	c cleaning 15001 clauses out of 30020 with flag 911797/127220
13.87/12.78	c cleaning 15994 clauses out of 32019 with flag 1042182/144220
15.29/14.15	c cleaning 17000 clauses out of 34025 with flag 1192180/162220
16.78/15.60	c cleaning 18002 clauses out of 36025 with flag 1354226/181220
18.49/17.31	c cleaning 19004 clauses out of 38023 with flag 1518032/201220
20.39/19.28	c cleaning 20010 clauses out of 40020 with flag 1681161/222221
22.40/21.26	c cleaning 21001 clauses out of 42011 with flag 1841668/244222
24.79/23.70	c cleaning 21998 clauses out of 44008 with flag 2029679/267220
27.78/26.32	c cleaning 23002 clauses out of 46010 with flag 2242011/291220
30.88/29.33	c cleaning 23992 clauses out of 48009 with flag 2468055/316221
33.87/32.29	c cleaning 25002 clauses out of 50016 with flag 2728761/342220
37.29/35.43	c cleaning 26008 clauses out of 52017 with flag 2997432/369223
40.78/38.91	c cleaning 27003 clauses out of 54007 with flag 3288985/397221
44.28/42.47	c cleaning 27997 clauses out of 56005 with flag 3599957/426222
47.98/46.07	c cleaning 28993 clauses out of 58006 with flag 3923369/456220
51.67/49.72	c cleaning 30002 clauses out of 60013 with flag 4256137/487220
55.84/53.81	c cleaning 30998 clauses out of 62012 with flag 4602397/519221
60.04/58.06	c cleaning 31998 clauses out of 64014 with flag 4959609/552221
64.94/62.93	c cleaning 33003 clauses out of 66016 with flag 5317786/586221
70.13/68.11	c cleaning 34001 clauses out of 68012 with flag 5682119/621220
76.12/74.19	c cleaning 35003 clauses out of 70011 with flag 6059105/657220
82.82/80.74	c cleaning 36000 clauses out of 72008 with flag 6462663/694221
88.11/86.02	c cleaning 36992 clauses out of 74007 with flag 6812677/732220
93.40/91.34	c cleaning 37997 clauses out of 76016 with flag 7178696/771221
99.20/97.19	c cleaning 39004 clauses out of 78018 with flag 7555476/811220
105.46/103.38	c cleaning 39997 clauses out of 80014 with flag 7930383/852220
111.95/109.86	c cleaning 41009 clauses out of 82018 with flag 8333405/894221
118.86/116.77	c cleaning 41995 clauses out of 84008 with flag 8786926/937220
126.84/124.79	c cleaning 43004 clauses out of 86014 with flag 9273279/981221
135.72/133.61	c cleaning 44001 clauses out of 88012 with flag 9770677/1026223
145.30/143.22	c cleaning 44997 clauses out of 90008 with flag 10238646/1072220
155.48/153.44	c cleaning 46003 clauses out of 92011 with flag 10760897/1119220
164.37/162.35	c cleaning 46995 clauses out of 94008 with flag 11275585/1167221
172.54/170.53	c cleaning 48004 clauses out of 96014 with flag 11728903/1216222
182.72/180.70	c cleaning 49000 clauses out of 98008 with flag 12160317/1266220
193.64/191.60	c cleaning 49997 clauses out of 100008 with flag 12626302/1317220
205.22/203.22	c cleaning 50999 clauses out of 102011 with flag 13121523/1369220
217.19/215.20	c cleaning 51995 clauses out of 104012 with flag 13635062/1422220
230.26/228.31	c cleaning 53003 clauses out of 106017 with flag 14205269/1476220
244.64/242.74	c cleaning 54006 clauses out of 108015 with flag 14786533/1531221
257.31/255.42	c cleaning 54996 clauses out of 110008 with flag 15379232/1587220
272.08/270.29	c cleaning 55996 clauses out of 112012 with flag 16041701/1644220
284.05/282.29	c cleaning 57000 clauses out of 114018 with flag 16605207/1702223
296.37/294.50	c cleaning 58007 clauses out of 116016 with flag 17163082/1761221
309.44/307.68	c cleaning 59002 clauses out of 118009 with flag 17725416/1821221
322.51/320.70	c cleaning 60000 clauses out of 120007 with flag 18359341/1882221
334.19/332.41	c cleaning 60999 clauses out of 122008 with flag 19059878/1944222
344.67/342.92	c cleaning 61998 clauses out of 124007 with flag 19767289/2007220
358.94/357.22	c cleaning 62991 clauses out of 126009 with flag 20485848/2071220
373.45/371.70	c cleaning 63996 clauses out of 128019 with flag 21221496/2136221
389.31/387.61	c cleaning 65007 clauses out of 130023 with flag 22071674/2202221
401.83/400.14	c cleaning 66001 clauses out of 132014 with flag 22876958/2269220
414.90/413.25	c cleaning 67000 clauses out of 134014 with flag 23506344/2337221
429.46/427.86	c cleaning 67998 clauses out of 136014 with flag 24206125/2406221
444.83/443.22	c cleaning 68999 clauses out of 138015 with flag 24924036/2476220
458.23/456.69	c cleaning 70001 clauses out of 140017 with flag 25551649/2547221
472.21/470.69	c cleaning 71006 clauses out of 142016 with flag 26336414/2619221
486.08/484.57	c cleaning 71982 clauses out of 144011 with flag 27206956/2692222
501.06/499.57	c cleaning 73012 clauses out of 146027 with flag 28080511/2766220
514.63/513.15	c cleaning 73999 clauses out of 148016 with flag 29009456/2841221
531.82/530.35	c cleaning 75002 clauses out of 150016 with flag 29847416/2917220
550.69/549.21	c cleaning 75999 clauses out of 152016 with flag 30727648/2994222
566.84/565.43	c cleaning 76996 clauses out of 154014 with flag 31640789/3072220
580.02/578.63	c cleaning 78006 clauses out of 156018 with flag 32597584/3151220
596.97/595.60	c cleaning 78998 clauses out of 158013 with flag 33441198/3231221
617.37/616.08	c cleaning 80003 clauses out of 160015 with flag 34217861/3312221
636.42/635.16	c cleaning 81006 clauses out of 162011 with flag 35015067/3394220
655.57/654.30	c cleaning 81995 clauses out of 164005 with flag 35995101/3477220
673.03/671.86	c cleaning 82998 clauses out of 166009 with flag 37044619/3561220
693.89/692.79	c cleaning 83994 clauses out of 168011 with flag 37901705/3646220
715.70/714.62	c cleaning 84996 clauses out of 170018 with flag 38810921/3732221
739.85/738.81	c cleaning 85997 clauses out of 172021 with flag 39740673/3819220
763.10/762.14	c cleaning 87007 clauses out of 174023 with flag 40715524/3907220
786.15/785.28	c cleaning 88006 clauses out of 176017 with flag 41668490/3996221
810.15/809.25	c cleaning 88998 clauses out of 178010 with flag 42578948/4086220
835.40/834.59	c cleaning 90005 clauses out of 180012 with flag 43557311/4177220
860.15/859.37	c cleaning 91000 clauses out of 182007 with flag 44607235/4269220
886.59/885.87	c cleaning 92000 clauses out of 184007 with flag 45743047/4362220
914.93/914.21	c cleaning 92994 clauses out of 186006 with flag 46808521/4456220
941.30/940.62	c cleaning 93992 clauses out of 188013 with flag 47850778/4551221
968.04/967.48	c cleaning 95003 clauses out of 190020 with flag 48937357/4647220
995.79/995.21	c cleaning 96002 clauses out of 192018 with flag 50055497/4744221
1023.33/1022.81	c cleaning 97008 clauses out of 194018 with flag 51096497/4842223
1052.28/1051.84	c cleaning 97998 clauses out of 196006 with flag 52218966/4941220
1079.27/1078.81	c cleaning 99000 clauses out of 198008 with flag 53373769/5041220
1107.91/1107.58	c cleaning 100003 clauses out of 200010 with flag 54567785/5142222
1137.06/1136.77	c cleaning 101001 clauses out of 202005 with flag 55743789/5244220
1168.39/1168.13	c cleaning 101995 clauses out of 204004 with flag 56967299/5347220
1206.91/1206.76	c cleaning 102999 clauses out of 206008 with flag 58244910/5451220
1240.54/1240.46	c cleaning 104003 clauses out of 208013 with flag 59549980/5556224
1272.93/1272.89	c cleaning 104998 clauses out of 210007 with flag 60800207/5662221
1307.76/1307.73	c cleaning 106003 clauses out of 212009 with flag 62056584/5769221
1344.68/1344.76	c cleaning 107002 clauses out of 214006 with flag 63321993/5877222
1387.99/1388.12	c cleaning 107995 clauses out of 216002 with flag 64623362/5986220
1541.42/1541.80	c cleaning 108998 clauses out of 218007 with flag 65950810/6096220
1608.50/1609.08	c starts		: 7726
1608.50/1609.09	c conflicts		: 6168955
1608.50/1609.09	c decisions		: 7423410
1608.50/1609.09	c propagations		: 187150146
1608.50/1609.09	c inspects		: 25196021350
1608.50/1609.09	c shortcuts		: 0
1608.50/1609.09	c learnt literals	: 19
1608.50/1609.09	c learnt binary clauses	: 329
1608.50/1609.09	c learnt ternary clauses	: 3224
1608.50/1609.09	c learnt constraints	: 6168935
1608.50/1609.09	c ignored constraints	: 0
1608.50/1609.09	c root simplifications	: 0
1608.50/1609.09	c removed literals (reason simplification)	: 162809657
1608.50/1609.09	c reason swapping (by a shorter reason)	: 0
1608.50/1609.09	c Calls to reduceDB	: 106
1608.50/1609.09	c Number of update (reduction) of LBD	: 2055061
1608.50/1609.09	c Imported unit clauses	: 0
1608.50/1609.09	c No decision after first conflict	: false
1608.50/1609.09	c number of reductions to clauses (during analyze)	: 0
1608.50/1609.09	c number of learned constraints concerned by reduction	: 0
1608.50/1609.09	c number of learning phase by resolution	: 0
1608.50/1609.09	c number of learning phase by cutting planes	: 0
1608.50/1609.09	c number of rounding to 1 operations	: 0
1608.50/1609.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1608.50/1609.09	c number of reductions of the coefficients by power 2 	: 0
1608.50/1609.09	c number of right shift for reduction by power 2 	: 0
1608.50/1609.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
1608.50/1609.09	c number of ending skipping 	: 0
1608.50/1609.09	c number of internal skipping 	: 0
1608.50/1609.09	c number of derivation steps 	: 0
1608.50/1609.09	c number of skipped derivation steps 	: 0
1608.50/1609.09	c number of remaining unassigned 	: 0
1608.50/1609.10	c number of remaining assigned 	: 0
1608.50/1609.10	c number of falsified literals weakened from reason	: 0
1608.50/1609.10	c number of falsified literals weakened from conflict	: 0
1608.50/1609.10	c time for arithmetic operations	: 0
1608.50/1609.10	c minimum degree of deleted constraints	: null
1608.50/1609.10	c maximum degree of deleted constraints	: null
1608.50/1609.10	c number of deleted constraints	: 0
1608.50/1609.10	c speed (assignments/second)	: 116325.34398772787
1608.50/1609.10	c non guided choices	: 844
1608.50/1609.10	s OPTIMUM FOUND
1608.50/1609.10	c Found 3 solution(s)
1608.50/1609.10	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 
1608.50/1609.10	c objective function=1
1608.50/1609.10	c Total wall clock time (in seconds): 1608.966

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (54056 MiB free)
  memory of node 1: 64465 MiB (51351 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517590-1751529675/watcher-4517590-1751529675 -o /tmp/evaluation-result-4517590-1751529675/solver-4517590-1751529675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72931 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517590-1751529675.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=74371, runsolver pid=74368

[startup+0.100029 s]*
/proc/loadavg: 4.21 4.16 4.17 6/338 74389
/proc/meminfo: memFree=107912012/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18930384 memory=57352 CPUtime=0.12 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 6468 0 0 0 10 2 0 0 20 0 18 0 68646165 19384713216 14338 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4732596 14338 5351 1 0 547603 0
[pid=74371/tid=74373] ppid=74368 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) S 74368 74371 72920 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 68646166 19384713216 14338 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68646168 19384713216 14338 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18930384 memory=61784027576291 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68646169 19384713216 14338 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57352 KiB

[startup+0.205698 s]*
/proc/loadavg: 4.21 4.16 4.17 7/338 74389
/proc/meminfo: memFree=107903064/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18930384 memory=69440 CPUtime=0.31 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 6823 0 0 0 29 2 0 0 20 0 18 0 68646165 19384713216 17360 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4732596 17360 5447 1 0 547897 0
[pid=74371/tid=74373] ppid=74368 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 5269 0 0 0 16 1 0 0 20 0 18 0 68646166 19384713216 17360 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68646168 19384713216 17360 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68646169 19384713216 17360 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69440 KiB

[startup+0.305606 s]*
/proc/loadavg: 4.21 4.16 4.17 7/339 74390
/proc/meminfo: memFree=107889896/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18996948 memory=79776 CPUtime=0.49 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 9081 0 0 0 46 3 0 0 20 0 19 0 68646165 19452874752 19944 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4749237 19944 5479 1 0 549748 0
[pid=74371/tid=74373] ppid=74368 vsize=18996948 memory=-6000919472689866856 CPUtime=0.24 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 5392 0 0 0 22 2 0 0 20 0 19 0 68646166 19452874752 19944 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19452874752 19944 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68646169 19452874752 19944 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68646189 19452874752 19944 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79776 KiB

[startup+0.700362 s]
/proc/loadavg: 4.21 4.16 4.17 6/339 74390
/proc/meminfo: memFree=107881768/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18996948 memory=89420 CPUtime=1.25 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 11865 0 0 0 121 4 0 0 20 0 19 0 68646165 19452874752 22355 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4749237 22355 5479 1 0 551543 0
[pid=74371/tid=74373] ppid=74368 vsize=18996948 memory=18432 CPUtime=0.62 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 5401 0 0 0 60 2 0 0 20 0 19 0 68646166 19452874752 22355 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19452874752 22355 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68646169 19452874752 22355 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68646189 19452874752 22355 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89420 KiB

[startup+1.50025 s]
/proc/loadavg: 4.35 4.19 4.18 6/339 74390
/proc/meminfo: memFree=107869796/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18996948 memory=100252 CPUtime=2.42 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 15488 0 0 0 237 5 0 0 20 0 19 0 68646165 19452874752 25063 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4749237 25063 5479 1 0 551574 0
[pid=74371/tid=74373] ppid=74368 vsize=18996948 memory=11136 CPUtime=1.4 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 5778 0 0 0 138 2 0 0 20 0 19 0 68646166 19452874752 25063 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19452874752 25063 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68646169 19452874752 25063 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68646189 19452874752 25063 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100252 KiB

[startup+3.10585 s]
/proc/loadavg: 4.35 4.19 4.18 6/339 74390
/proc/meminfo: memFree=107860876/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18996948 memory=112540 CPUtime=4.1 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 16193 0 0 0 405 5 0 0 20 0 19 0 68646165 19452874752 28135 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4749237 28135 5479 1 0 551575 0
[pid=74371/tid=74373] ppid=74368 vsize=18996948 memory=11136 CPUtime=3 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 6040 0 0 0 298 2 0 0 20 0 19 0 68646166 19452874752 28135 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18996948 memory=-6000919472689866856 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19452874752 28135 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68646169 19452874752 28135 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68646189 19452874752 28135 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112540 KiB

[startup+6.30021 s]
/proc/loadavg: 4.32 4.19 4.18 5/339 74390
/proc/meminfo: memFree=107844492/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18996948 memory=119892 CPUtime=7.29 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 17174 0 0 0 724 5 0 0 20 0 19 0 68646165 19452874752 29973 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4749237 29973 5479 1 0 551575 0
[pid=74371/tid=74373] ppid=74368 vsize=18996948 memory=0 CPUtime=6.19 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 6590 0 0 0 616 3 0 0 20 0 19 0 68646166 19452874752 29973 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19452874752 29973 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68646169 19452874752 29973 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=18996948 memory=100252 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68646189 19452874752 29973 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119892 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.18 4.18 5/339 74390
/proc/meminfo: memFree=107819916/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=18996948 memory=146792 CPUtime=13.87 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 22172 0 0 0 1380 7 0 0 20 0 19 0 68646165 19452874752 36698 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4749237 36698 5479 1 0 551607 0
[pid=74371/tid=74373] ppid=74368 vsize=18996948 memory=100252 CPUtime=12.57 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 7294 0 0 0 1254 3 0 0 20 0 19 0 68646166 19452874752 36698 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19452874752 36698 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=18996948 memory=142696 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68646169 19452874752 36698 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68646189 19452874752 36698 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146792 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.18 4.18 5/340 74391
/proc/meminfo: memFree=107785400/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=174260 CPUtime=26.82 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 27300 0 0 0 2673 9 0 0 20 0 20 0 68646165 19521036288 43565 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 43565 5511 1 0 552516 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=11136 CPUtime=25.34 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 8854 0 0 0 2530 4 0 0 20 0 20 0 68646166 19521036288 43565 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=142696 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 43565 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 43565 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 43565 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174260 KiB

[startup+51.1056 s]
/proc/loadavg: 4.29 4.19 4.18 5/340 74393
/proc/meminfo: memFree=107769784/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=184108 CPUtime=53.15 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 36398 0 0 0 5304 11 0 0 20 0 20 0 68646165 19521036288 46027 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 46027 5511 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=16580 CPUtime=50.88 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 9162 0 0 0 5084 4 0 0 20 0 20 0 68646166 19521036288 46027 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=11136 CPUtime=0 cores=4,6

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

/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 153838 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=615352 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 153838 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1481.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 615352 KiB

[startup+1542.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/340 74669
/proc/meminfo: memFree=107713324/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1541.92 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 52838 0 0 0 154131 61 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=682972 CPUtime=1537.81 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14893 0 0 0 153772 9 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=615352 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1541.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

[startup+1602.3 s]
/proc/loadavg: 4.35 4.21 4.19 5/340 74671
/proc/meminfo: memFree=107438772/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1601.8 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 52908 0 0 0 160116 64 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=682972 CPUtime=1597.67 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14904 0 0 0 159757 10 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1601.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

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

# cumulated CPU time of all completed processes:  user=1607.98 s, system=0.652223 s

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

[startup+1603.2 s]
/proc/loadavg: 4.35 4.21 4.19 5/340 74671
/proc/meminfo: memFree=107438772/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1602.7 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 52908 0 0 0 160206 64 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=682972 CPUtime=1598.56 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14904 0 0 0 159846 10 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1602.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

[startup+1606.4 s]
/proc/loadavg: 4.35 4.21 4.19 5/340 74671
/proc/meminfo: memFree=107430580/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1605.89 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 52911 0 0 0 160525 64 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=3200 CPUtime=1601.76 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14904 0 0 0 160166 10 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=4496 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=16580 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1605.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

[startup+1608 s]*
/proc/loadavg: 4.32 4.21 4.18 5/340 74671
/proc/meminfo: memFree=107430580/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1607.49 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 53001 0 0 0 160685 64 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=-6000919477051746408 CPUtime=1603.36 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14983 0 0 0 160326 10 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=2708 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1607.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

[startup+1608.8 s]
/proc/loadavg: 4.32 4.21 4.18 5/340 74671
/proc/meminfo: memFree=107430580/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1608.3 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 53066 0 0 0 160766 64 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=-6000919472689866856 CPUtime=1604.15 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14991 0 0 0 160405 10 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=5124 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1608.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

[startup+1609 s]*
/proc/loadavg: 4.32 4.21 4.18 5/340 74671
/proc/meminfo: memFree=107426484/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19063512 memory=682972 CPUtime=1608.5 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 53066 0 0 0 160786 64 0 0 20 0 20 0 68646165 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4765878 170743 5543 1 0 555533 0
[pid=74371/tid=74373] ppid=74368 vsize=19063512 memory=-6000919477051746408 CPUtime=1604.36 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) R 74368 74371 72920 0 -1 4194368 14991 0 0 0 160426 10 0 0 20 0 20 0 68646166 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68646168 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 68646169 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74390] ppid=74368 vsize=19063512 memory=244154 CPUtime=0 cores=4,6
/proc/74371/task/74390/stat : 74390 (Timer-0) S 74368 74371 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68646189 19521036288 170743 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1608.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682972 KiB

[startup+1609.11 s]
/proc/loadavg: 4.32 4.21 4.18 5/340 74671
/proc/meminfo: memFree=107426484/131249996 swapFree=33010160/33010684
[pid=74371] ppid=74368 vsize=19196640 memory=683228 CPUtime=1608.61 cores=4,6
/proc/74371/stat : 74371 (java) S 74368 74371 72920 0 -1 4194304 54965 0 0 0 160797 64 0 0 20 0 19 0 68646165 19657359360 170807 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
/proc/74371/statm: 4799160 170807 5543 1 0 556167 0
[pid=74371/tid=74373] ppid=74368 vsize=19196640 memory=682972 CPUtime=1604.44 cores=4,6
/proc/74371/task/74373/stat : 74373 (java) S 74368 74371 72920 0 -1 4194368 16183 0 0 0 160434 10 0 0 20 0 19 0 68646166 19657359360 170807 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74382] ppid=74368 vsize=19196640 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74382/stat : 74382 (Finalizer) S 74368 74371 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68646168 19657359360 170807 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
[pid=74371/tid=74389] ppid=74368 vsize=19196640 memory=682972 CPUtime=0 cores=4,6
/proc/74371/task/74389/stat : 74389 (Common-Cleaner) S 74368 74371 72920 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 19 0 68646169 19657359360 170807 18446744073709551615 94483163045888 94483163049584 140727128428176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94483163057400 94483163058192 94483165093888 140727128430977 140727128431078 140727128431078 140727128436680 0
Current children cumulated CPU time: 1608.61 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 683228 KiB

Child status: 30

Real time (s): 1609.13
CPU time (s): 1608.63
CPU user time (s): 1607.98
CPU system time (s): 0.652223
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 683228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1607.98
system time used= 0.652223
maximum resident set size= 683484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48384
involuntary context switches= 1799


# summary of solver processes directly reported to runsolver:
#   pid: 74371
#   total CPU time (s): 1608.63
#   total CPU user time (s): 1607.98
#   total CPU system time (s): 0.652223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3163 second user time and 7.57995 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 10:01:15
IDJOB=4517590
IDBENCH=176126
IDSOLVER=3363
FILE ID=nodeC032/4517590-1751529675
RUNJOBID= nodeC032-1751521141-72931
SLURM_JOB_ID= 9598644
Free space on /tmp= 430564 MiB

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

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

MD5SUM BENCH= fc6c22edea63d6bf282da0f44295fc1a
RANDOM SEED=1372077336

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

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

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        107937844 kB
MemAvailable:   124283568 kB
Buffers:            2728 kB
Cached:         17024844 kB
SwapCached:           20 kB
Active:          5776824 kB
Inactive:       16655364 kB
Active(anon):    5419540 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 16652240 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1008 kB
Writeback:             0 kB
AnonPages:       5407736 kB
Mapped:           123868 kB
Shmem:             18048 kB
KReclaimable:     350880 kB
Slab:             444680 kB
SReclaimable:     350880 kB
SUnreclaim:        93800 kB
KernelStack:        5200 kB
PageTables:        14216 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7102888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5150720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430564 MiB
End job on nodeC032 at 2025-07-03 10:28:05