Trace number 4432298

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)-36 3600.39 3491.18

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM0bdb6411771ac9360fc2dcf9fc3ce2f6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark72002.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
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 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432298-1721061738.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.74/0.47	c ... done. Wall clock time 0.346s.
0.74/0.47	c declared #vars     1150
0.74/0.47	c #constraints  81068
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 81068
0.74/0.47	c 81068 constraints processed.
0.74/0.48	c objective function length is 1150 literals
0.74/0.48	c SATISFIABLE
0.74/0.48	c OPTIMIZING...
0.74/0.48	c Got one! Elapsed wall clock time (in seconds):0.368
0.74/0.48	o -33
0.89/0.56	c Got one! Elapsed wall clock time (in seconds):0.446
0.89/0.56	o -34
1.07/0.65	c Got one! Elapsed wall clock time (in seconds):0.529
1.07/0.65	o -35
1.07/0.70	c Got one! Elapsed wall clock time (in seconds):0.579
1.07/0.70	o -36
3.44/1.81	c cleaning 2669 clauses out of 5351 with flag 11201/5351
4.92/2.87	c cleaning 4337 clauses out of 8681 with flag 24980/11350
6.18/3.88	c cleaning 5674 clauses out of 11348 with flag 39619/18354
7.72/5.12	c cleaning 6833 clauses out of 13670 with flag 56214/26350
9.44/6.65	c cleaning 7917 clauses out of 15837 with flag 74911/35350
11.51/8.44	c cleaning 8961 clauses out of 17922 with flag 95628/45352
13.41/10.30	c cleaning 9978 clauses out of 19959 with flag 118367/56350
16.46/12.97	c cleaning 10993 clauses out of 21985 with flag 143015/68354
19.18/15.46	c cleaning 11996 clauses out of 23992 with flag 169394/81354
22.21/18.25	c cleaning 12991 clauses out of 25992 with flag 197781/95350
26.49/22.21	c cleaning 13998 clauses out of 28002 with flag 228770/110351
32.62/28.14	c cleaning 14998 clauses out of 30003 with flag 261816/126350
37.83/33.03	c cleaning 16003 clauses out of 32006 with flag 297058/143351
42.59/37.33	c cleaning 16995 clauses out of 34002 with flag 334486/161350
46.35/40.89	c cleaning 17999 clauses out of 36008 with flag 373827/180351
51.81/45.07	c cleaning 19001 clauses out of 38009 with flag 415361/200351
58.44/51.27	c cleaning 19999 clauses out of 40009 with flag 458939/221352
66.19/58.71	c cleaning 21000 clauses out of 42008 with flag 504654/243350
72.39/64.44	c cleaning 22002 clauses out of 44008 with flag 552391/266350
79.21/71.03	c cleaning 23000 clauses out of 46006 with flag 602094/290350
88.50/79.92	c cleaning 24000 clauses out of 48008 with flag 653987/315352
100.87/91.83	c cleaning 25004 clauses out of 50008 with flag 707932/341352
114.65/103.68	c cleaning 25998 clauses out of 52002 with flag 764026/368350
127.14/115.61	c cleaning 27000 clauses out of 54005 with flag 821796/396351
139.54/127.50	c cleaning 27996 clauses out of 56007 with flag 881415/425353
153.37/140.82	c cleaning 29001 clauses out of 58008 with flag 942902/455350
168.02/154.98	c cleaning 30001 clauses out of 60007 with flag 1006523/486350
181.86/166.72	c cleaning 31000 clauses out of 62006 with flag 1072313/518350
193.41/177.91	c cleaning 32001 clauses out of 64006 with flag 1140819/551350
207.63/191.43	c cleaning 32998 clauses out of 66005 with flag 1211055/585350
226.34/209.68	c cleaning 33996 clauses out of 68007 with flag 1283375/620350
242.20/225.06	c cleaning 35002 clauses out of 70012 with flag 1357469/656351
260.22/242.45	c cleaning 35995 clauses out of 72009 with flag 1434173/693350
278.89/260.32	c cleaning 37005 clauses out of 74015 with flag 1512474/731351
300.16/278.61	c cleaning 38002 clauses out of 76010 with flag 1592921/770351
318.25/296.12	c cleaning 39000 clauses out of 78007 with flag 1675525/810350
335.31/312.41	c cleaning 40002 clauses out of 80008 with flag 1760082/851351
353.22/329.70	c cleaning 40995 clauses out of 82005 with flag 1846819/893350
372.97/348.85	c cleaning 42001 clauses out of 84010 with flag 1936008/936350
391.33/366.59	c cleaning 43005 clauses out of 86012 with flag 2027143/980353
410.12/384.40	c cleaning 44001 clauses out of 88005 with flag 2119629/1025351
434.07/407.92	c cleaning 45001 clauses out of 90003 with flag 2215291/1071350
467.08/438.03	c cleaning 45996 clauses out of 92004 with flag 2312820/1118352
494.36/464.72	c cleaning 46999 clauses out of 94007 with flag 2412324/1166351
519.94/489.55	c cleaning 48001 clauses out of 96007 with flag 2513941/1215350
547.86/516.20	c cleaning 49000 clauses out of 98006 with flag 2616877/1265350
576.55/544.04	c cleaning 50004 clauses out of 100007 with flag 2722504/1316351
604.68/571.56	c cleaning 51000 clauses out of 102003 with flag 2830305/1368351
634.44/600.71	c cleaning 52001 clauses out of 104002 with flag 2940256/1421350
680.98/646.04	c cleaning 52998 clauses out of 106001 with flag 3051115/1475350
728.95/693.24	c cleaning 54000 clauses out of 108003 with flag 3163504/1530350
778.86/739.95	c cleaning 55003 clauses out of 110005 with flag 3278632/1586352
836.76/797.17	c cleaning 55996 clauses out of 112001 with flag 3395072/1643351
887.24/846.36	c cleaning 57002 clauses out of 114007 with flag 3513614/1701353
939.22/897.54	c cleaning 58001 clauses out of 116003 with flag 3634135/1760351
980.20/937.62	c cleaning 58998 clauses out of 118002 with flag 3758019/1820351
1023.79/980.41	c cleaning 59998 clauses out of 120003 with flag 3883521/1881350
1069.32/1024.82	c cleaning 60998 clauses out of 122006 with flag 4011474/1943351
1110.79/1065.63	c cleaning 62004 clauses out of 124008 with flag 4141146/2006351
1152.38/1106.63	c cleaning 62997 clauses out of 126003 with flag 4273193/2070350
1216.82/1166.74	c cleaning 63994 clauses out of 128006 with flag 4407787/2135350
1282.80/1231.80	c cleaning 65004 clauses out of 130014 with flag 4544466/2201352
1345.57/1293.76	c cleaning 66003 clauses out of 132008 with flag 4683436/2268350
1417.61/1364.32	c cleaning 66999 clauses out of 134006 with flag 4824635/2336351
1488.60/1434.55	c cleaning 67998 clauses out of 136007 with flag 4967649/2405351
1556.52/1501.37	c cleaning 68998 clauses out of 138008 with flag 5112994/2475350
1618.93/1562.83	c cleaning 70004 clauses out of 140014 with flag 5259879/2546354
1683.23/1621.61	c cleaning 70997 clauses out of 142006 with flag 5408443/2618350
1745.92/1683.65	c cleaning 72001 clauses out of 144009 with flag 5559682/2691350
1813.64/1750.02	c cleaning 73003 clauses out of 146012 with flag 5711602/2765354
1870.05/1805.37	c cleaning 74002 clauses out of 148006 with flag 5864513/2840351
1939.18/1872.95	c cleaning 74990 clauses out of 150003 with flag 6020697/2916350
2030.65/1963.07	c cleaning 76007 clauses out of 152015 with flag 6176624/2993352
2144.90/2073.04	c cleaning 76995 clauses out of 154006 with flag 6334795/3071350
2241.77/2168.73	c cleaning 78005 clauses out of 156013 with flag 6494761/3150352
2343.72/2269.38	c cleaning 79003 clauses out of 158006 with flag 6656769/3230350
2444.38/2368.50	c cleaning 79998 clauses out of 160003 with flag 6820707/3311350
2528.75/2452.02	c cleaning 80998 clauses out of 162006 with flag 6987715/3393351
2622.57/2538.29	c cleaning 81999 clauses out of 164007 with flag 7157733/3476350
2698.90/2613.39	c cleaning 83003 clauses out of 166009 with flag 7328586/3560351
2792.00/2704.85	c cleaning 83998 clauses out of 168005 with flag 7502928/3645350
2896.21/2807.44	c cleaning 85003 clauses out of 170007 with flag 7681208/3731350
3018.86/2922.06	c cleaning 85998 clauses out of 172004 with flag 7861172/3818350
3113.10/3014.90	c cleaning 86995 clauses out of 174006 with flag 8043874/3906350
3201.98/3102.53	c cleaning 88004 clauses out of 176015 with flag 8228587/3995354
3294.44/3193.85	c cleaning 89000 clauses out of 178007 with flag 8415476/4085350
3396.08/3294.49	c cleaning 90001 clauses out of 180008 with flag 8601495/4176351
3488.60/3381.47	c cleaning 91003 clauses out of 182010 with flag 8791877/4268354
3574.96/3466.21	c cleaning 91997 clauses out of 184006 with flag 8984468/4361353
3600.08/3491.03	c starts		: 193
3600.08/3491.03	c conflicts		: 4399686
3600.08/3491.03	c decisions		: 4739072
3600.08/3491.03	c propagations		: 23731505
3600.08/3491.03	c inspects		: 10627738253
3600.08/3491.03	c shortcuts		: 0
3600.08/3491.03	c learnt literals	: 0
3600.08/3491.03	c learnt binary clauses	: 0
3600.08/3491.03	c learnt ternary clauses	: 0
3600.08/3491.03	c learnt constraints	: 4399686
3600.08/3491.03	c ignored constraints	: 0
3600.08/3491.03	c root simplifications	: 0
3600.08/3491.03	c removed literals (reason simplification)	: 0
3600.08/3491.03	c reason swapping (by a shorter reason)	: 0
3600.08/3491.03	c Calls to reduceDB	: 89
3600.08/3491.03	c Number of update (reduction) of LBD	: 138757
3600.08/3491.03	c Imported unit clauses	: 0
3600.08/3491.03	c No decision after first conflict	: false
3600.08/3491.03	c number of reductions to clauses (during analyze)	: 0
3600.08/3491.03	c number of learned constraints concerned by reduction	: 0
3600.08/3491.03	c number of learning phase by resolution	: 0
3600.08/3491.03	c number of learning phase by cutting planes	: 0
3600.08/3491.03	c number of rounding to 1 operations	: 0
3600.08/3491.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3491.03	c number of reductions of the coefficients by power 2 	: 0
3600.08/3491.03	c number of right shift for reduction by power 2 	: 0
3600.08/3491.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3491.03	c number of ending skipping 	: 0
3600.08/3491.03	c number of internal skipping 	: 0
3600.08/3491.03	c number of derivation steps 	: 0
3600.08/3491.03	c number of skipped derivation steps 	: 0
3600.08/3491.03	c number of remaining unassigned 	: 0
3600.08/3491.03	c number of remaining assigned 	: 0
3600.08/3491.03	c number of falsified literals weakened from reason	: 0
3600.08/3491.03	c number of falsified literals weakened from conflict	: 0
3600.08/3491.03	c time for arithmetic operations	: 0
3600.08/3491.04	c minimum degree of deleted constraints	: null
3600.08/3491.05	c maximum degree of deleted constraints	: null
3600.08/3491.05	c number of deleted constraints	: 0
3600.08/3491.05	c speed (assignments/second)	: 6798.757507738718
3600.08/3491.05	c non guided choices	: 0
3600.08/3491.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 130342
3600.29/3491.11	s SATISFIABLE
3600.29/3491.11	c Found 4 solution(s)
3600.29/3491.12	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 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 
3600.29/3491.13	c objective function=-36
3600.29/3491.13	c Total wall clock time (in seconds): 3491.016

Verifier Data 

OK	-36

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=812279, runsolver pid=812276

[startup+0.10008 s]*
/proc/loadavg: 5.03 5.02 4.89 5/330 812297
/proc/meminfo: memFree=90973472/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=18975048 memory=63600 CPUtime=0.14 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 7226 0 0 0 12 2 0 0 20 0 18 0 158342772 19430449152 15900 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4743762 15900 5745 1 0 549343 0
[pid=812279/tid=812281] ppid=812276 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 158342772 19430449152 15900 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158342775 19430449152 15900 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=18975048 memory=14134437545800980 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158342775 19430449152 15900 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63600 KiB

[startup+0.213719 s]*
/proc/loadavg: 5.03 5.02 4.89 7/330 812297
/proc/meminfo: memFree=90952832/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=18975048 memory=86072 CPUtime=0.35 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 8462 0 0 0 33 2 0 0 20 0 18 0 158342772 19430449152 21518 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4743762 21518 5847 1 0 550262 0
[pid=812279/tid=812281] ppid=812276 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 5893 0 0 0 19 1 0 0 20 0 18 0 158342772 19430449152 21518 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=18975048 memory=15932 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158342775 19430449152 21518 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158342775 19430449152 21518 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 86072 KiB

[startup+0.305719 s]*
/proc/loadavg: 5.03 5.02 4.89 6/330 812297
/proc/meminfo: memFree=90913140/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=18975048 memory=125948 CPUtime=0.53 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 9475 0 0 0 50 3 0 0 20 0 18 0 158342772 19430449152 31487 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4743762 31487 5847 1 0 550835 0
[pid=812279/tid=812281] ppid=812276 vsize=18975048 memory=-8743290532896547516 CPUtime=0.29 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 5914 0 0 0 27 2 0 0 20 0 18 0 158342772 19430449152 31487 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158342775 19430449152 31487 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158342775 19430449152 31487 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 125948 KiB

[startup+0.707724 s]
/proc/loadavg: 5.03 5.02 4.89 5/332 812299
/proc/meminfo: memFree=90860948/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=187732 CPUtime=1.27 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 16312 0 0 0 121 6 0 0 20 0 20 0 158342772 19566772224 46933 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 46933 5917 1 0 556585 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=5500 CPUtime=0.64 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 6094 0 0 0 61 3 0 0 20 0 20 0 158342772 19566772224 46933 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=12512 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 46933 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=279927043973800 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 46933 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 46933 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187732 KiB

[startup+1.50072 s]
/proc/loadavg: 5.03 5.02 4.89 6/332 812299
/proc/meminfo: memFree=90848096/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=245708 CPUtime=2.85 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 26646 0 0 0 277 8 0 0 20 0 20 0 158342772 19566772224 61427 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 61427 5932 1 0 557899 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=12512 CPUtime=1.38 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 6275 0 0 0 135 3 0 0 20 0 20 0 158342772 19566772224 61427 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 61427 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 61427 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=279927043826960 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 61427 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 245708 KiB

[startup+3.1056 s]
/proc/loadavg: 5.03 5.02 4.89 6/332 812299
/proc/meminfo: memFree=90617276/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=445636 CPUtime=5.34 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 29090 0 0 0 522 12 0 0 20 0 20 0 158342772 19566772224 111409 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 111409 5932 1 0 557989 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=0 CPUtime=2.76 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 7081 0 0 0 273 3 0 0 20 0 20 0 158342772 19566772224 111409 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=12512 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 111409 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 111409 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=12088 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 111409 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 445636 KiB

[startup+6.30072 s]
/proc/loadavg: 5.03 5.02 4.89 5/332 812299
/proc/meminfo: memFree=89948972/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=1085992 CPUtime=9.14 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 30330 0 0 0 889 25 0 0 20 0 20 0 158342772 19566772224 271498 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 271498 5932 1 0 1084379 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=12512 CPUtime=5.56 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 7267 0 0 0 549 7 0 0 20 0 20 0 158342772 19566772224 271498 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 271498 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 271498 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=245956 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 271498 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1085992 KiB

[startup+12.7107 s]
/proc/loadavg: 4.95 5.00 4.89 5/332 812300
/proc/meminfo: memFree=89054692/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=2088896 CPUtime=16.11 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 32130 0 0 0 1565 46 0 0 20 0 20 0 158342772 19566772224 522224 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 522224 5932 1 0 1685983 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=0 CPUtime=11.3 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) S 812276 812279 811005 0 -1 1077936192 7768 0 0 0 1117 13 0 0 20 0 20 0 158342772 19566772224 522224 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 522224 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=1978304 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 522224 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=12512 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 522224 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 16.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2088896 KiB

[startup+25.5003 s]
/proc/loadavg: 4.73 4.95 4.87 5/332 812302
/proc/meminfo: memFree=87282612/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=3746964 CPUtime=30.02 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 36329 0 0 0 2924 78 0 0 20 0 20 0 158342772 19566772224 936741 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 936741 5932 1 0 2005586 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=1978304 CPUtime=22.9 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 8866 0 0 0 2271 19 0 0 20 0 20 0 158342772 19566772224 936741 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=-8743290532896547516 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 936741 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=40552 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 936741 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 936741 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 30.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3746964 KiB

[startup+51.1057 s]
/proc/loadavg: 4.60 4.90 4.86 5/332 812307
/proc/meminfo: memFree=85423308/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=5595532 CPUtime=58.35 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 59398 0 0 0 5717 118 0 0 20 0 20 0 158342772 19566772224 1398883 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 1398883 5932 1 0 2134092 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=4889940 CPUtime=46.6 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 11237 0 0 0 4634 26 0 0 20 0 20 0 158342772 19566772224 1398883 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=40552 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 1398883 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0

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

[startup+3162.3 s]
/proc/loadavg: 4.24 4.32 4.35 5/334 814273
/proc/meminfo: memFree=69966664/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958436 CPUtime=3262.38 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 474821 0 0 0 325794 444 0 0 20 0 20 0 158342772 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739609 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=14958424 CPUtime=3074.69 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 172908 0 0 0 307384 85 0 0 20 0 20 0 158342772 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=108 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=14958436 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1590 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=14958436 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3262.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.45 4.36 4.36 5/334 814284
/proc/meminfo: memFree=69965920/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958436 CPUtime=3323.02 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 476929 0 0 0 331857 445 0 0 20 0 20 0 158342772 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739609 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=108 CPUtime=3133.2 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 173962 0 0 0 313235 85 0 0 20 0 20 0 158342772 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=14958436 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=14958436 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1681 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=14958436 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3323.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.32 4.35 5/330 814294
/proc/meminfo: memFree=69964980/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958436 CPUtime=3384 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 478179 0 0 0 337953 447 0 0 20 0 20 0 158342772 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739609 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=14958436 CPUtime=3191.91 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 174608 0 0 0 319106 85 0 0 20 0 20 0 158342772 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=16052 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=25944 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1681 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=12512 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739609 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3384 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.29 4.34 5/330 814305
/proc/meminfo: memFree=69962052/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958444 CPUtime=3449.02 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 501682 0 0 0 344448 454 0 0 20 0 20 0 158342772 19566772224 3739611 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739611 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=14958444 CPUtime=3250.88 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 182777 0 0 0 325002 86 0 0 20 0 20 0 158342772 19566772224 3739611 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=16052 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739611 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=14958444 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1685 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739611 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=14958444 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739611 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3449.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958444 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.30 4.34 5/330 814315
/proc/meminfo: memFree=69953036/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958448 CPUtime=3510.06 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 503019 0 0 0 350551 455 0 0 20 0 20 0 158342772 19566772224 3739612 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739612 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=16052 CPUtime=3309.5 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 183196 0 0 0 330864 86 0 0 20 0 20 0 158342772 19566772224 3739612 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=14958444 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739612 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=14958448 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1685 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739612 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=14958448 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739612 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.32 4.34 5/330 814326
/proc/meminfo: memFree=69894756/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958452 CPUtime=3571.06 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 508107 0 0 0 356649 457 0 0 20 0 20 0 158342772 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739613 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=16052 CPUtime=3368.21 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 184543 0 0 0 336735 86 0 0 20 0 20 0 158342772 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=14958444 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=14958448 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1686 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=14958452 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3491 s]*
/proc/loadavg: 4.27 4.30 4.33 5/330 814330
/proc/meminfo: memFree=69315944/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19108176 memory=14958452 CPUtime=3600.08 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 509295 0 0 0 359550 458 0 0 20 0 20 0 158342772 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4777044 3739613 5964 1 0 4091081 0
[pid=812279/tid=812281] ppid=812276 vsize=19108176 memory=-9176199042782569148 CPUtime=3396.33 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 185232 0 0 0 339547 86 0 0 20 0 20 0 158342772 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19108176 memory=-8621784580799447455 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19108176 memory=7233736994252652628 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1731 0 0 0 0 0 0 0 20 0 20 0 158342775 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812299] ppid=812276 vsize=19108176 memory=3458826297764217333 CPUtime=0 cores=5,7
/proc/812279/task/812299/stat : 812299 (Timer-0) S 812276 812279 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158342820 19566772224 3739613 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958452 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.75 s, system=4.63583 s

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

[startup+3491.11 s]
/proc/loadavg: 4.27 4.30 4.33 5/330 814330
/proc/meminfo: memFree=69315944/131524600 swapFree=131071996/131071996
[pid=812279] ppid=812276 vsize=19307868 memory=14959140 CPUtime=3600.29 cores=5,7
/proc/812279/stat : 812279 (java) S 812276 812279 811005 0 -1 1077936128 511985 0 0 0 359570 459 0 0 20 0 21 0 158342772 19771256832 3739785 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
/proc/812279/statm: 4826967 3739785 5963 1 0 4091988 0
[pid=812279/tid=812281] ppid=812276 vsize=19307868 memory=12088 CPUtime=3396.43 cores=5,7
/proc/812279/task/812281/stat : 812281 (java) R 812276 812279 811005 0 -1 4194368 185375 0 0 0 339557 86 0 0 20 0 21 0 158342772 19771256832 3739785 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812290] ppid=812276 vsize=19307868 memory=14958452 CPUtime=0 cores=5,7
/proc/812279/task/812290/stat : 812290 (Finalizer) S 812276 812279 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158342775 19771256832 3739785 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
[pid=812279/tid=812297] ppid=812276 vsize=19307868 memory=12088 CPUtime=0 cores=5,7
/proc/812279/task/812297/stat : 812297 (Common-Cleaner) S 812276 812279 811005 0 -1 1077936192 1731 0 0 0 0 0 0 0 20 0 21 0 158342775 19771256832 3739785 134679101440 94015811203072 94015811206768 140727035983488 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94015811214584 94015811215376 94015816704000 140727035986951 140727035987041 140727035987041 140727035994056 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14959140 KiB

Child status: 143

Real time (s): 3491.18
CPU time (s): 3600.39
CPU user time (s): 3595.75
CPU system time (s): 4.63583
CPU usage (%): 103.128
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14959140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.63583
maximum resident set size= 14960036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111924
involuntary context switches= 15032


# summary of solver processes directly reported to runsolver:
#   pid: 812279
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3595.75
#   total CPU system time (s): 4.63583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58926 second user time and 17.1364 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 18:42:31
IDJOB=4432298
IDBENCH=146677
IDSOLVER=3058
FILE ID=nodeC032/4432298-1721061738
RUNJOBID= nodeC032-1721059308-811018
SLURM_JOB_ID= 7505498
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
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		: 3668.972
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		: 3669.754
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		: 3599.778
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		: 3616.606
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		: 3669.786
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		: 3666.392
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		: 3600.059
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		: 3647.283
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:        91015308 kB
MemAvailable:   92192364 kB
Buffers:          367088 kB
Cached:          1639208 kB
SwapCached:            0 kB
Active:           622856 kB
Inactive:       39202104 kB
Active(anon):       1580 kB
Inactive(anon): 37854840 kB
Active(file):     621276 kB
Inactive(file):  1347264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2984 kB
Writeback:             0 kB
AnonPages:      37818732 kB
Mapped:           123876 kB
Shmem:             37720 kB
KReclaimable:      96680 kB
Slab:             203120 kB
SReclaimable:      96680 kB
SUnreclaim:       106440 kB
KernelStack:        4988 kB
PageTables:        83604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   42231080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:  37472256 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:40:42