Trace number 4432296

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 Default 2024-07-07SAT (TO)-29 3600.33 3548.78

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUMdbca78014701662c42e2f44b8d3d4cf2
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 benchmark-40
Best CPU time to get the best result obtained on this benchmark30.0879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.11	--- Begin Solver configuration ---
0.13/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	Learn all clauses as in MiniSAT
0.13/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	No reason simplification
0.13/0.11	Glucose 2.1 dynamic restart strategy
0.13/0.11	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.11	timeout=2147483s
0.13/0.11	DB Simplification allowed=false
0.13/0.11	Listener: none
0.13/0.11	--- End Solver configuration ---
0.13/0.11	c Pseudo Boolean Optimization by upper bound
0.13/0.11	c --- Begin Solver configuration ---
0.13/0.11	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	c Learn all clauses as in MiniSAT
0.13/0.11	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	c No reason simplification
0.13/0.11	c Glucose 2.1 dynamic restart strategy
0.13/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.11	c timeout=2147483s
0.13/0.11	c DB Simplification allowed=false
0.13/0.11	c Listener: none
0.13/0.11	c --- End Solver configuration ---
0.13/0.11	c solving HOME/instance-4432296-1721062744.opb
0.13/0.11	c reading problem ... 
0.13/0.12	c  objective function found
0.53/0.36	c ... done. Wall clock time 0.234s.
0.53/0.36	c declared #vars     760
0.53/0.36	c #constraints  41263
0.53/0.36	c constraints type 
0.53/0.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41263
0.53/0.36	c 41263 constraints processed.
0.53/0.36	c objective function length is 760 literals
0.53/0.38	c SATISFIABLE
0.53/0.38	c OPTIMIZING...
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.259
0.53/0.38	o -28
1.11/0.69	c Got one! Elapsed wall clock time (in seconds):0.563
1.11/0.69	o -29
2.43/1.46	c cleaning 2951 clauses out of 5914 with flag 11596/5914
3.67/2.37	c cleaning 4481 clauses out of 8961 with flag 25574/11912
5.13/3.50	c cleaning 5740 clauses out of 11481 with flag 40477/18913
6.19/4.53	c cleaning 6870 clauses out of 13740 with flag 56967/26912
7.31/5.52	c cleaning 7930 clauses out of 15870 with flag 75537/35912
8.62/6.70	c cleaning 8969 clauses out of 17941 with flag 96212/45913
10.22/8.20	c cleaning 9976 clauses out of 19971 with flag 118889/56912
12.44/10.36	c cleaning 10998 clauses out of 21998 with flag 143644/68915
14.72/12.47	c cleaning 11997 clauses out of 23999 with flag 170484/81914
17.30/14.86	c cleaning 12997 clauses out of 26000 with flag 199033/95912
20.09/17.43	c cleaning 14003 clauses out of 28006 with flag 229717/110915
23.61/20.74	c cleaning 14999 clauses out of 30001 with flag 262466/126913
26.44/23.58	c cleaning 16000 clauses out of 32001 with flag 297724/143912
30.37/27.31	c cleaning 16998 clauses out of 34002 with flag 334386/161913
34.48/31.09	c cleaning 18003 clauses out of 36006 with flag 373482/180915
38.29/34.65	c cleaning 18998 clauses out of 38001 with flag 414600/200913
42.86/39.06	c cleaning 19997 clauses out of 40002 with flag 457933/221912
49.52/44.88	c cleaning 21001 clauses out of 42005 with flag 503256/243912
54.22/49.46	c cleaning 22002 clauses out of 44005 with flag 550631/266913
59.93/54.88	c cleaning 22997 clauses out of 46003 with flag 600030/290913
67.80/62.53	c cleaning 24000 clauses out of 48005 with flag 651463/315912
74.46/69.00	c cleaning 25002 clauses out of 50006 with flag 704963/341913
81.09/75.29	c cleaning 25998 clauses out of 52003 with flag 760429/368912
87.91/81.91	c cleaning 27000 clauses out of 54005 with flag 817964/396912
96.72/90.41	c cleaning 28002 clauses out of 56006 with flag 877524/425913
105.63/98.15	c cleaning 29001 clauses out of 58003 with flag 939273/455912
114.60/106.76	c cleaning 29996 clauses out of 60002 with flag 1003157/486912
124.49/116.20	c cleaning 31003 clauses out of 62008 with flag 1068773/518914
133.20/124.76	c cleaning 31997 clauses out of 64003 with flag 1136657/551912
142.70/133.98	c cleaning 32995 clauses out of 66007 with flag 1206653/585913
156.63/147.47	c cleaning 34006 clauses out of 68011 with flag 1278171/620912
171.97/161.30	c cleaning 35002 clauses out of 70005 with flag 1351835/656912
187.68/176.50	c cleaning 36001 clauses out of 72003 with flag 1427728/693912
198.29/186.75	c cleaning 37001 clauses out of 74003 with flag 1505838/731913
215.83/203.96	c cleaning 37999 clauses out of 76004 with flag 1586101/770915
233.09/220.80	c cleaning 38998 clauses out of 78004 with flag 1668403/810914
255.70/243.02	c cleaning 39997 clauses out of 80006 with flag 1752844/851914
272.24/259.26	c cleaning 41005 clauses out of 82009 with flag 1838923/893914
293.89/280.37	c cleaning 41999 clauses out of 84002 with flag 1926496/936912
314.40/298.56	c cleaning 43001 clauses out of 86006 with flag 2016163/980915
336.84/320.48	c cleaning 43995 clauses out of 88002 with flag 2108123/1025912
355.86/339.40	c cleaning 45002 clauses out of 90008 with flag 2202141/1071913
374.79/357.92	c cleaning 45998 clauses out of 92005 with flag 2297948/1118912
390.10/372.78	c cleaning 46999 clauses out of 94008 with flag 2395480/1166913
415.52/397.78	c cleaning 47997 clauses out of 96008 with flag 2495321/1215912
438.03/419.86	c cleaning 49002 clauses out of 98011 with flag 2597407/1265912
467.99/449.50	c cleaning 49999 clauses out of 100009 with flag 2701613/1316912
505.19/486.41	c cleaning 51005 clauses out of 102010 with flag 2808842/1368912
532.54/513.49	c cleaning 51995 clauses out of 104005 with flag 2918229/1421912
565.87/546.57	c cleaning 52998 clauses out of 106012 with flag 3029557/1475914
606.33/586.73	c cleaning 54001 clauses out of 108012 with flag 3143081/1530912
650.17/628.35	c cleaning 55000 clauses out of 110012 with flag 3259012/1586913
682.11/659.61	c cleaning 56002 clauses out of 112011 with flag 3376648/1643912
724.18/701.38	c cleaning 57002 clauses out of 114009 with flag 3496471/1701912
759.72/736.62	c cleaning 58003 clauses out of 116008 with flag 3618098/1760913
797.60/773.77	c cleaning 58996 clauses out of 118004 with flag 3741817/1820912
834.13/809.73	c cleaning 59998 clauses out of 120009 with flag 3867873/1881913
877.09/852.41	c cleaning 61003 clauses out of 122011 with flag 3995682/1943913
916.65/891.74	c cleaning 62002 clauses out of 124007 with flag 4125396/2006912
958.54/933.07	c cleaning 62996 clauses out of 126005 with flag 4257259/2070912
996.13/969.95	c cleaning 64001 clauses out of 128009 with flag 4390686/2135912
1039.56/1009.80	c cleaning 65003 clauses out of 130009 with flag 4526112/2201913
1083.52/1053.76	c cleaning 65999 clauses out of 132005 with flag 4664291/2268912
1144.12/1114.08	c cleaning 66995 clauses out of 134006 with flag 4804478/2336912
1201.33/1170.82	c cleaning 68006 clauses out of 136011 with flag 4947227/2405912
1262.52/1231.63	c cleaning 69001 clauses out of 138007 with flag 5091987/2475914
1335.04/1303.53	c cleaning 69997 clauses out of 140004 with flag 5238613/2546912
1395.39/1363.42	c cleaning 70995 clauses out of 142007 with flag 5386145/2618912
1465.11/1433.04	c cleaning 72001 clauses out of 144015 with flag 5536345/2691915
1539.90/1507.71	c cleaning 73002 clauses out of 146011 with flag 5689206/2765912
1610.34/1577.66	c cleaning 74003 clauses out of 148010 with flag 5844193/2840913
1679.21/1645.86	c cleaning 75004 clauses out of 150008 with flag 6001349/2916914
1751.78/1715.13	c cleaning 75993 clauses out of 152002 with flag 6159983/2993912
1844.48/1808.28	c cleaning 77004 clauses out of 154012 with flag 6321091/3071915
1929.39/1892.79	c cleaning 78002 clauses out of 156007 with flag 6484012/3150914
2006.41/1969.25	c cleaning 78999 clauses out of 158004 with flag 6649432/3230913
2067.33/2029.44	c cleaning 80000 clauses out of 160005 with flag 6816276/3311913
2134.41/2096.10	c cleaning 80998 clauses out of 162007 with flag 6985409/3393915
2199.45/2160.37	c cleaning 81998 clauses out of 164006 with flag 7156142/3476912
2270.39/2230.81	c cleaning 82996 clauses out of 166008 with flag 7328554/3560912
2349.75/2310.17	c cleaning 84004 clauses out of 168013 with flag 7503249/3645913
2433.12/2393.45	c cleaning 85002 clauses out of 170011 with flag 7680689/3731915
2528.40/2488.63	c cleaning 86001 clauses out of 172008 with flag 7860012/3818914
2645.01/2601.89	c cleaning 87000 clauses out of 174006 with flag 8041404/3906913
2730.03/2686.03	c cleaning 87996 clauses out of 176005 with flag 8224017/3995912
2824.36/2780.19	c cleaning 89002 clauses out of 178011 with flag 8408667/4085914
2914.02/2868.87	c cleaning 89999 clauses out of 180009 with flag 8594334/4176914
2988.55/2942.36	c cleaning 91000 clauses out of 182008 with flag 8782110/4268912
3050.16/3003.48	c cleaning 91998 clauses out of 184008 with flag 8972096/4361912
3128.80/3081.23	c cleaning 93002 clauses out of 186010 with flag 9164148/4455912
3223.02/3174.87	c cleaning 93998 clauses out of 188008 with flag 9358006/4550912
3349.23/3297.62	c cleaning 94997 clauses out of 190011 with flag 9555955/4646913
3452.06/3400.59	c cleaning 96004 clauses out of 192013 with flag 9754801/4743912
3560.23/3508.70	c cleaning 96998 clauses out of 194010 with flag 9956880/4841913
3600.01/3548.62	c starts		: 219
3600.01/3548.63	c conflicts		: 4884807
3600.01/3548.63	c decisions		: 5229980
3600.01/3548.63	c propagations		: 26523029
3600.01/3548.63	c inspects		: 13403725032
3600.01/3548.63	c shortcuts		: 0
3600.01/3548.63	c learnt literals	: 0
3600.01/3548.63	c learnt binary clauses	: 0
3600.01/3548.63	c learnt ternary clauses	: 0
3600.01/3548.63	c learnt constraints	: 4884807
3600.01/3548.63	c ignored constraints	: 0
3600.01/3548.63	c root simplifications	: 0
3600.01/3548.63	c removed literals (reason simplification)	: 0
3600.01/3548.63	c reason swapping (by a shorter reason)	: 0
3600.01/3548.63	c Calls to reduceDB	: 94
3600.01/3548.63	c Number of update (reduction) of LBD	: 109240
3600.01/3548.63	c Imported unit clauses	: 0
3600.01/3548.63	c No decision after first conflict	: false
3600.01/3548.63	c number of reductions to clauses (during analyze)	: 0
3600.01/3548.63	c number of learned constraints concerned by reduction	: 0
3600.01/3548.63	c number of learning phase by resolution	: 0
3600.01/3548.63	c number of learning phase by cutting planes	: 0
3600.01/3548.64	c number of rounding to 1 operations	: 0
3600.01/3548.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3548.64	c number of reductions of the coefficients by power 2 	: 0
3600.01/3548.64	c number of right shift for reduction by power 2 	: 0
3600.01/3548.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3548.64	c number of ending skipping 	: 0
3600.01/3548.64	c number of internal skipping 	: 0
3600.01/3548.64	c number of derivation steps 	: 0
3600.01/3548.64	c number of skipped derivation steps 	: 0
3600.01/3548.64	c number of remaining unassigned 	: 0
3600.01/3548.64	c number of remaining assigned 	: 0
3600.01/3548.64	c number of falsified literals weakened from reason	: 0
3600.01/3548.64	c number of falsified literals weakened from conflict	: 0
3600.01/3548.64	c time for arithmetic operations	: 0
3600.01/3548.64	c minimum degree of deleted constraints	: null
3600.01/3548.64	c maximum degree of deleted constraints	: null
3600.01/3548.64	c number of deleted constraints	: 0
3600.01/3548.65	c speed (assignments/second)	: 7474.922694678079
3600.01/3548.65	c non guided choices	: 0
3600.22/3548.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 139906
3600.22/3548.73	s SATISFIABLE
3600.22/3548.73	c Found 2 solution(s)
3600.22/3548.73	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 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 
3600.22/3548.73	c objective function=-29
3600.22/3548.74	c Total wall clock time (in seconds): 3548.616

Verifier Data 

OK	-29

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: 63968 MiB (48595 MiB free)
  memory of node 1: 64473 MiB (39071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432296-1721062744/watcher-4432296-1721062744 -o /tmp/evaluation-result-4432296-1721062744/solver-4432296-1721062744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811016 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432296-1721062744.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=813083, runsolver pid=813080
Current StackSize limit: 8192 KiB


[startup+0.101279 s]*
/proc/loadavg: 4.17 4.36 4.56 6/330 813101
/proc/meminfo: memFree=89728676/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=18975048 memory=62752 CPUtime=0.13 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 7253 0 0 0 12 1 0 0 20 0 18 0 158443379 19430449152 15688 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4743762 15688 5566 1 0 549346 0
[pid=813083/tid=813085] ppid=813080 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 5783 0 0 0 8 1 0 0 20 0 18 0 158443380 19430449152 15688 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158443382 19430449152 15688 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=18975048 memory=14134437545800980 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158443383 19430449152 15688 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62752 KiB

[startup+0.206484 s]*
/proc/loadavg: 4.17 4.36 4.56 6/330 813101
/proc/meminfo: memFree=89711400/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=18976112 memory=82864 CPUtime=0.33 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 8595 0 0 0 32 1 0 0 20 0 18 0 158443379 19431538688 20716 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4744028 20716 5852 1 0 550423 0
[pid=813083/tid=813085] ppid=813080 vsize=18976112 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 5914 0 0 0 17 1 0 0 20 0 18 0 158443380 19431538688 20716 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=18976112 memory=15932 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158443382 19431538688 20716 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=18976112 memory=14408211646121490 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158443383 19431538688 20716 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18976112 KiB
Current children cumulated memory: 82864 KiB

[startup+0.306484 s]*
/proc/loadavg: 4.17 4.36 4.56 7/330 813101
/proc/meminfo: memFree=89673328/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=18975048 memory=118476 CPUtime=0.53 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 9128 0 0 0 51 2 0 0 20 0 18 0 158443379 19430449152 29619 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4743762 29619 5852 1 0 550566 0
[pid=813083/tid=813085] ppid=813080 vsize=18975048 memory=-9175356816875692732 CPUtime=0.27 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 5932 0 0 0 26 1 0 0 20 0 18 0 158443380 19430449152 29619 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158443382 19430449152 29619 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158443383 19430449152 29619 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 118476 KiB

[startup+0.700226 s]
/proc/loadavg: 4.17 4.36 4.56 6/331 813102
/proc/meminfo: memFree=89639104/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19041612 memory=163260 CPUtime=1.27 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 14715 0 0 0 124 3 0 0 20 0 19 0 158443379 19498610688 40815 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4760403 40815 5890 1 0 553667 0
[pid=813083/tid=813085] ppid=813080 vsize=19041612 memory=5500 CPUtime=0.62 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 6108 0 0 0 60 2 0 0 20 0 19 0 158443380 19498610688 40815 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19041612 memory=12512 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158443382 19498610688 40815 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158443383 19498610688 40815 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158443417 19498610688 40815 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163260 KiB

[startup+1.50049 s]
/proc/loadavg: 4.17 4.36 4.56 7/332 813103
/proc/meminfo: memFree=89590632/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=200932 CPUtime=2.59 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 14997 0 0 0 255 4 0 0 20 0 20 0 158443379 19566772224 50233 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 50233 5906 1 0 554014 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=12512 CPUtime=1.38 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 6157 0 0 0 136 2 0 0 20 0 20 0 158443380 19566772224 50233 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 50233 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 50233 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=279262666073360 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 50233 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 200932 KiB

[startup+3.10648 s]
/proc/loadavg: 4.17 4.36 4.56 5/332 813105
/proc/meminfo: memFree=89448208/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=343196 CPUtime=4.66 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 18970 0 0 0 459 7 0 0 20 0 20 0 158443379 19566772224 85799 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 85799 5922 1 0 554024 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=0 CPUtime=2.83 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 6573 0 0 0 281 2 0 0 20 0 20 0 158443380 19566772224 85799 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=12512 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 85799 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 85799 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 85799 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 343196 KiB

[startup+6.30027 s]
/proc/loadavg: 4.16 4.35 4.56 5/332 813105
/proc/meminfo: memFree=88966492/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=965320 CPUtime=8.22 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 20786 0 0 0 802 20 0 0 20 0 20 0 158443379 19566772224 241330 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 241330 5922 1 0 923746 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=12512 CPUtime=5.63 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 7064 0 0 0 557 6 0 0 20 0 20 0 158443380 19566772224 241330 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 241330 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=233956 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 241330 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 241330 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 965320 KiB

[startup+12.7005 s]
/proc/loadavg: 4.23 4.36 4.56 6/332 813105
/proc/meminfo: memFree=88056428/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=1763108 CPUtime=15.02 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 22476 0 0 0 1466 36 0 0 20 0 20 0 158443379 19566772224 440777 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 440777 5933 1 0 1466859 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=0 CPUtime=11.51 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 7458 0 0 0 1139 12 0 0 20 0 20 0 158443380 19566772224 440777 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=-9175356816875692732 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 440777 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 440777 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 440777 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 15.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763108 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.36 4.55 5/332 813108
/proc/meminfo: memFree=86889096/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=2897264 CPUtime=28.56 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 27869 0 0 0 2797 59 0 0 20 0 20 0 158443379 19566772224 724316 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 724316 5933 1 0 1617260 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=12088 CPUtime=23.52 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 8360 0 0 0 2335 17 0 0 20 0 20 0 158443380 19566772224 724316 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 724316 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=965320 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 724316 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=279262666020144 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 724316 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 28.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2897264 KiB

[startup+51.1065 s]
/proc/loadavg: 4.38 4.38 4.55 5/332 813111
/proc/meminfo: memFree=85306880/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=4469656 CPUtime=56.03 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 45202 0 0 0 5507 96 0 0 20 0 20 0 158443379 19566772224 1117414 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 1117414 5933 1 0 1718913 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=4248452 CPUtime=47.6 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 11074 0 0 0 4737 23 0 0 20 0 20 0 158443380 19566772224 1117414 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 1117414 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0

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

[startup+3222.3 s]
/proc/loadavg: 4.47 4.43 4.38 6/332 814539
/proc/meminfo: memFree=69506400/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361036 CPUtime=3273.72 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 497545 0 0 0 326910 462 0 0 20 0 20 0 158443379 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590259 5964 1 0 4086378 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=14350800 CPUtime=3152.72 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 212770 0 0 0 315182 90 0 0 20 0 20 0 158443380 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=14352864 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=12512 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3121 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=14352868 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361036 KiB

[startup+3282.31 s]
/proc/loadavg: 4.80 4.52 4.41 5/332 814550
/proc/meminfo: memFree=69503432/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361036 CPUtime=3334.07 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 499859 0 0 0 332942 465 0 0 20 0 20 0 158443379 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590259 5964 1 0 4086378 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=14361036 CPUtime=3211.93 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 214727 0 0 0 321103 90 0 0 20 0 20 0 158443380 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=12512 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3129 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=14361036 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590259 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361036 KiB

[startup+3342.31 s]
/proc/loadavg: 4.57 4.51 4.42 5/332 814561
/proc/meminfo: memFree=69502128/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361104 CPUtime=3393.84 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 506671 0 0 0 338916 468 0 0 20 0 20 0 158443379 19566772224 3590276 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590276 5964 1 0 4086388 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=12088 CPUtime=3270.99 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 217523 0 0 0 327009 90 0 0 20 0 20 0 158443380 19566772224 3590276 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=108 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590276 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=14361104 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3130 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590276 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590276 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361104 KiB

[startup+3402.31 s]
/proc/loadavg: 4.52 4.52 4.43 5/335 814957
/proc/meminfo: memFree=69500544/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361148 CPUtime=3453.85 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 510336 0 0 0 344914 471 0 0 20 0 20 0 158443379 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590287 5964 1 0 4086388 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=12088 CPUtime=3329.83 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 220200 0 0 0 332892 91 0 0 20 0 20 0 158443380 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=108 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=14361144 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3219 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=14361144 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361148 KiB

[startup+3462.31 s]
/proc/loadavg: 4.47 4.52 4.44 5/333 814967
/proc/meminfo: memFree=68351080/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361148 CPUtime=3513.66 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 514368 0 0 0 350891 475 0 0 20 0 20 0 158443379 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590287 5964 1 0 4086388 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=12088 CPUtime=3388.86 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 223211 0 0 0 338795 91 0 0 20 0 20 0 158443380 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=108 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=14361148 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3365 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=14361148 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590287 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361148 KiB

[startup+3522.31 s]
/proc/loadavg: 4.50 4.51 4.44 5/333 815046
/proc/meminfo: memFree=82524676/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361168 CPUtime=3573.95 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 525138 0 0 0 356917 478 0 0 20 0 20 0 158443379 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590292 5964 1 0 4086388 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=14361148 CPUtime=3447.4 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 225250 0 0 0 344648 92 0 0 20 0 20 0 158443380 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=12512 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3365 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=14361168 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3548.6 s]
/proc/loadavg: 4.47 4.50 4.44 5/333 815052
/proc/meminfo: memFree=82214400/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19108176 memory=14361168 CPUtime=3600.01 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 526968 0 0 0 359522 479 0 0 20 0 20 0 158443379 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4777044 3590292 5964 1 0 4086388 0
[pid=813083/tid=813085] ppid=813080 vsize=19108176 memory=7952 CPUtime=3473.44 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 226904 0 0 0 347252 92 0 0 20 0 20 0 158443380 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19108176 memory=-9175356816875692732 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158443382 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19108176 memory=7952 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3471 0 0 0 0 0 0 0 20 0 20 0 158443383 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813102] ppid=813080 vsize=19108176 memory=20780 CPUtime=0 cores=4,6
/proc/813083/task/813102/stat : 813102 (Timer-0) S 813080 813083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158443417 19566772224 3590292 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14361168 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.48 s, system=4.84206 s

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

[startup+3548.71 s]
/proc/loadavg: 4.47 4.50 4.44 5/333 815052
/proc/meminfo: memFree=82214400/131524600 swapFree=131071996/131071996
[pid=813083] ppid=813080 vsize=19307868 memory=14361832 CPUtime=3600.22 cores=4,6
/proc/813083/stat : 813083 (java) S 813080 813083 811005 0 -1 1077936128 530057 0 0 0 359542 480 0 0 20 0 21 0 158443379 19771256832 3590458 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
/proc/813083/statm: 4826967 3590458 5963 1 0 4087296 0
[pid=813083/tid=813085] ppid=813080 vsize=19307868 memory=40552 CPUtime=3473.55 cores=4,6
/proc/813083/task/813085/stat : 813085 (java) R 813080 813083 811005 0 -1 4194368 227091 0 0 0 347263 92 0 0 20 0 21 0 158443380 19771256832 3590458 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813094] ppid=813080 vsize=19307868 memory=12088 CPUtime=0 cores=4,6
/proc/813083/task/813094/stat : 813094 (Finalizer) S 813080 813083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158443382 19771256832 3590458 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
[pid=813083/tid=813101] ppid=813080 vsize=19307868 memory=14361168 CPUtime=0 cores=4,6
/proc/813083/task/813101/stat : 813101 (Common-Cleaner) S 813080 813083 811005 0 -1 1077936192 3471 0 0 0 0 0 0 0 20 0 21 0 158443383 19771256832 3590458 134679101440 94056590336000 94056590339696 140721992861136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056590347512 94056590348304 94056612581376 140721992864775 140721992864865 140721992864865 140721992871880 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14361832 KiB

Child status: 143

Real time (s): 3548.78
CPU time (s): 3600.33
CPU user time (s): 3595.48
CPU system time (s): 4.84206
CPU usage (%): 101.452
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14361832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.48
system time used= 4.84206
maximum resident set size= 14362768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111258
involuntary context switches= 24785


# summary of solver processes directly reported to runsolver:
#   pid: 813083
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.48
#   total CPU system time (s): 4.84206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76814 second user time and 18.8107 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 18:59:17
IDJOB=4432296
IDBENCH=146695
IDSOLVER=3058
FILE ID=nodeC032/4432296-1721062744
RUNJOBID= nodeC032-1721059308-811016
SLURM_JOB_ID= 7505498
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432296-1721062744/watcher-4432296-1721062744 -o /tmp/evaluation-result-4432296-1721062744/solver-4432296-1721062744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811016 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432296-1721062744.opb

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

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1510854246

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3603.562
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3600.093
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3665.291
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3685.674
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3632.111
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3685.756
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3656.484
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3599.818
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        89770760 kB
MemAvailable:   90961740 kB
Buffers:          368156 kB
Cached:          1651996 kB
SwapCached:            0 kB
Active:           625660 kB
Inactive:       40441376 kB
Active(anon):       1564 kB
Inactive(anon): 39083040 kB
Active(file):     624096 kB
Inactive(file):  1358336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1964 kB
Writeback:             0 kB
AnonPages:      39046940 kB
Mapped:           123792 kB
Shmem:             37720 kB
KReclaimable:      96744 kB
Slab:             203024 kB
SReclaimable:      96744 kB
SUnreclaim:       106280 kB
KernelStack:        5040 kB
PageTables:        86292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   43785996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38502400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC032 at 2024-07-15 19:58:26