Trace number 4432300

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)-40 3600.51 3465.23

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM800a2d87d48167b6ff5ac999f92ec0b3
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-53
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
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 1272
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 1272
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 1272
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 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432300-1721060624.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.88/0.51	c ... done. Wall clock time 0.373s.
0.88/0.51	c declared #vars     1272
0.88/0.51	c #constraints  94289
0.88/0.51	c constraints type 
0.88/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94289
0.88/0.51	c 94289 constraints processed.
0.88/0.52	c objective function length is 1272 literals
0.88/0.53	c SATISFIABLE
0.88/0.54	c OPTIMIZING...
0.88/0.54	c Got one! Elapsed wall clock time (in seconds):0.408
0.88/0.54	o -39
1.26/0.79	c Got one! Elapsed wall clock time (in seconds):0.653
1.26/0.79	o -40
3.39/1.88	c cleaning 2692 clauses out of 5386 with flag 11095/5386
4.63/2.78	c cleaning 4348 clauses out of 8695 with flag 23820/11387
5.79/3.73	c cleaning 5673 clauses out of 11346 with flag 38032/18386
7.04/4.84	c cleaning 6837 clauses out of 13673 with flag 54262/26386
9.51/6.94	c cleaning 7917 clauses out of 15836 with flag 72563/35386
11.42/8.76	c cleaning 8960 clauses out of 17919 with flag 92876/45386
13.63/10.75	c cleaning 9976 clauses out of 19959 with flag 115175/56386
16.34/13.23	c cleaning 10992 clauses out of 21986 with flag 139569/68389
19.66/16.36	c cleaning 11996 clauses out of 23992 with flag 165945/81387
24.11/20.39	c cleaning 12996 clauses out of 25995 with flag 194352/95386
28.07/24.01	c cleaning 13998 clauses out of 28000 with flag 224807/110387
31.49/27.27	c cleaning 14998 clauses out of 30001 with flag 257246/126386
36.18/31.73	c cleaning 16001 clauses out of 32004 with flag 291782/143387
41.87/36.97	c cleaning 16998 clauses out of 34002 with flag 328348/161386
50.88/44.61	c cleaning 18002 clauses out of 36004 with flag 366946/180386
58.17/51.48	c cleaning 18999 clauses out of 38002 with flag 407525/200386
66.10/58.93	c cleaning 19994 clauses out of 40003 with flag 450323/221386
74.21/66.81	c cleaning 21007 clauses out of 42013 with flag 495079/243390
82.09/74.34	c cleaning 21997 clauses out of 44003 with flag 541824/266387
90.12/81.92	c cleaning 22998 clauses out of 46007 with flag 590588/290388
101.54/91.19	c cleaning 24004 clauses out of 48007 with flag 641421/315386
110.12/99.26	c cleaning 24999 clauses out of 50004 with flag 694186/341387
119.85/108.45	c cleaning 26003 clauses out of 52005 with flag 749038/368387
130.68/118.78	c cleaning 26997 clauses out of 54002 with flag 805865/396387
143.08/130.41	c cleaning 28000 clauses out of 56006 with flag 864818/425388
155.84/141.04	c cleaning 28995 clauses out of 58004 with flag 925828/455386
167.29/152.02	c cleaning 30005 clauses out of 60009 with flag 988768/486386
181.01/165.06	c cleaning 30998 clauses out of 62005 with flag 1053791/518387
197.03/180.56	c cleaning 32004 clauses out of 64007 with flag 1120673/551387
211.97/194.73	c cleaning 33003 clauses out of 66005 with flag 1189686/585389
228.60/210.66	c cleaning 34000 clauses out of 67999 with flag 1260720/620386
248.77/227.61	c cleaning 34994 clauses out of 70000 with flag 1333853/656387
265.96/243.67	c cleaning 35999 clauses out of 72005 with flag 1408878/693386
288.55/265.63	c cleaning 37001 clauses out of 74008 with flag 1485947/731388
310.18/286.63	c cleaning 38000 clauses out of 76005 with flag 1565154/770386
330.98/306.43	c cleaning 38999 clauses out of 78006 with flag 1646196/810387
358.67/333.62	c cleaning 40000 clauses out of 80006 with flag 1729146/851386
381.37/355.62	c cleaning 41001 clauses out of 82006 with flag 1814218/893386
410.29/381.03	c cleaning 42003 clauses out of 84005 with flag 1901344/936386
434.52/403.81	c cleaning 42998 clauses out of 86003 with flag 1990432/980387
455.70/424.36	c cleaning 43998 clauses out of 88005 with flag 2081632/1025387
473.51/441.57	c cleaning 45000 clauses out of 90007 with flag 2174898/1071387
496.83/463.71	c cleaning 46000 clauses out of 92008 with flag 2270205/1118388
516.98/483.12	c cleaning 47001 clauses out of 94006 with flag 2367638/1166386
543.11/508.25	c cleaning 48000 clauses out of 96008 with flag 2466941/1215389
577.01/541.30	c cleaning 48997 clauses out of 98005 with flag 2568347/1265386
628.00/588.37	c cleaning 50002 clauses out of 100010 with flag 2671706/1316388
667.12/626.49	c cleaning 50993 clauses out of 102007 with flag 2777304/1368387
710.44/669.14	c cleaning 52003 clauses out of 104013 with flag 2885331/1421386
749.20/706.30	c cleaning 52999 clauses out of 106010 with flag 2994951/1475386
798.21/754.27	c cleaning 54005 clauses out of 108013 with flag 3106851/1530388
837.27/792.43	c cleaning 54997 clauses out of 110006 with flag 3220620/1586386
879.00/833.22	c cleaning 56005 clauses out of 112009 with flag 3336449/1643386
923.88/877.28	c cleaning 57002 clauses out of 114004 with flag 3453922/1701386
967.46/916.71	c cleaning 58001 clauses out of 116002 with flag 3573462/1760386
1016.35/964.90	c cleaning 58997 clauses out of 118001 with flag 3695164/1820386
1068.90/1016.92	c cleaning 60002 clauses out of 120005 with flag 3818972/1881387
1114.55/1061.53	c cleaning 60994 clauses out of 122003 with flag 3944794/1943387
1168.97/1115.39	c cleaning 62003 clauses out of 124008 with flag 4072793/2006386
1225.26/1170.43	c cleaning 62998 clauses out of 126006 with flag 4202829/2070387
1273.71/1218.01	c cleaning 64000 clauses out of 128008 with flag 4335233/2135387
1326.55/1266.34	c cleaning 65004 clauses out of 130007 with flag 4469411/2201386
1379.10/1317.56	c cleaning 66003 clauses out of 132006 with flag 4605574/2268389
1444.63/1382.06	c cleaning 66993 clauses out of 134000 with flag 4743756/2336386
1509.36/1445.35	c cleaning 67998 clauses out of 136009 with flag 4883758/2405388
1571.27/1506.15	c cleaning 68996 clauses out of 138009 with flag 5026016/2475386
1631.11/1565.21	c cleaning 70006 clauses out of 140016 with flag 5170463/2546389
1682.27/1611.60	c cleaning 71003 clauses out of 142007 with flag 5316779/2618386
1732.78/1660.95	c cleaning 71998 clauses out of 144006 with flag 5465168/2691388
1781.72/1708.26	c cleaning 73001 clauses out of 146010 with flag 5615793/2765390
1846.51/1771.65	c cleaning 73997 clauses out of 148007 with flag 5768292/2840388
1902.10/1825.87	c cleaning 75004 clauses out of 150008 with flag 5922909/2916386
1967.68/1883.85	c cleaning 75995 clauses out of 152006 with flag 6079618/2993388
2024.33/1939.14	c cleaning 77004 clauses out of 154010 with flag 6238493/3071387
2084.48/1998.16	c cleaning 77995 clauses out of 156005 with flag 6399169/3150386
2162.15/2074.22	c cleaning 79003 clauses out of 158010 with flag 6561816/3230386
2237.69/2148.66	c cleaning 79999 clauses out of 160007 with flag 6726206/3311386
2335.28/2240.17	c cleaning 80997 clauses out of 162011 with flag 6892668/3393389
2442.52/2345.83	c cleaning 82000 clauses out of 164012 with flag 7060998/3476387
2544.39/2446.05	c cleaning 83004 clauses out of 166013 with flag 7231552/3560388
2637.87/2538.21	c cleaning 84000 clauses out of 168008 with flag 7404177/3645387
2754.32/2645.93	c cleaning 85001 clauses out of 170009 with flag 7578760/3731388
2849.93/2740.00	c cleaning 86000 clauses out of 172007 with flag 7755304/3818387
2938.68/2827.44	c cleaning 86998 clauses out of 174007 with flag 7934119/3906387
3018.90/2905.65	c cleaning 88004 clauses out of 176008 with flag 8114941/3995386
3104.83/2983.37	c cleaning 89001 clauses out of 178004 with flag 8297627/4085386
3199.39/3076.06	c cleaning 89997 clauses out of 180003 with flag 8482729/4176386
3289.29/3163.89	c cleaning 90999 clauses out of 182006 with flag 8669605/4268386
3384.66/3257.86	c cleaning 92002 clauses out of 184008 with flag 8858509/4361387
3483.39/3350.20	c cleaning 93004 clauses out of 186009 with flag 9049426/4455390
3600.12/3465.09	c starts		: 124
3600.12/3465.09	c conflicts		: 4548907
3600.12/3465.09	c decisions		: 4762398
3600.12/3465.09	c propagations		: 24505882
3600.12/3465.09	c inspects		: 10595554634
3600.12/3465.09	c shortcuts		: 0
3600.12/3465.09	c learnt literals	: 0
3600.12/3465.09	c learnt binary clauses	: 0
3600.12/3465.09	c learnt ternary clauses	: 0
3600.12/3465.09	c learnt constraints	: 4548907
3600.12/3465.09	c ignored constraints	: 0
3600.12/3465.09	c root simplifications	: 0
3600.12/3465.09	c removed literals (reason simplification)	: 0
3600.12/3465.09	c reason swapping (by a shorter reason)	: 0
3600.12/3465.09	c Calls to reduceDB	: 90
3600.12/3465.09	c Number of update (reduction) of LBD	: 28220
3600.12/3465.09	c Imported unit clauses	: 0
3600.12/3465.09	c No decision after first conflict	: false
3600.12/3465.09	c number of reductions to clauses (during analyze)	: 0
3600.12/3465.09	c number of learned constraints concerned by reduction	: 0
3600.12/3465.09	c number of learning phase by resolution	: 0
3600.12/3465.09	c number of learning phase by cutting planes	: 0
3600.12/3465.09	c number of rounding to 1 operations	: 0
3600.12/3465.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.12/3465.09	c number of reductions of the coefficients by power 2 	: 0
3600.12/3465.09	c number of right shift for reduction by power 2 	: 0
3600.12/3465.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.12/3465.10	c number of ending skipping 	: 0
3600.12/3465.10	c number of internal skipping 	: 0
3600.12/3465.10	c number of derivation steps 	: 0
3600.12/3465.10	c number of skipped derivation steps 	: 0
3600.12/3465.10	c number of remaining unassigned 	: 0
3600.12/3465.10	c number of remaining assigned 	: 0
3600.12/3465.10	c number of falsified literals weakened from reason	: 0
3600.12/3465.10	c number of falsified literals weakened from conflict	: 0
3600.12/3465.10	c time for arithmetic operations	: 0
3600.12/3465.10	c minimum degree of deleted constraints	: null
3600.12/3465.10	c maximum degree of deleted constraints	: null
3600.12/3465.10	c number of deleted constraints	: 0
3600.12/3465.11	c speed (assignments/second)	: 7073.2864818932685
3600.12/3465.11	c non guided choices	: 0
3600.33/3465.17	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 186522
3600.33/3465.17	s SATISFIABLE
3600.33/3465.18	c Found 2 solution(s)
3600.33/3465.18	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 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 
3600.33/3465.18	c objective function=-40
3600.33/3465.18	c Total wall clock time (in seconds): 3465.046

Verifier Data 

OK	-40

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: 63931 MiB (30585 MiB free)
  memory of node 1: 64510 MiB (55116 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432300-1721060624/watcher-4432300-1721060624 -o /tmp/evaluation-result-4432300-1721060624/solver-4432300-1721060624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802438 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432300-1721060624.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=807921, runsolver pid=807918

[startup+0.101873 s]*
/proc/loadavg: 5.25 5.52 5.49 6/331 807939
/proc/meminfo: memFree=87717180/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=18975048 memory=63252 CPUtime=0.13 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 7189 0 0 0 12 1 0 0 20 0 18 0 158232113 19430449152 15813 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4743762 15813 5719 1 0 549299 0
[pid=807921/tid=807923] ppid=807918 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 1077936192 5724 0 0 0 7 1 0 0 20 0 18 0 158232114 19430449152 15813 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158232116 19430449152 15813 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 158232117 19430449152 15813 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63252 KiB

[startup+0.206232 s]*
/proc/loadavg: 5.25 5.52 5.49 7/331 807939
/proc/meminfo: memFree=87701164/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=18975048 memory=80420 CPUtime=0.32 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 7899 0 0 0 30 2 0 0 20 0 18 0 158232113 19430449152 20105 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4743762 20105 5852 1 0 549766 0
[pid=807921/tid=807923] ppid=807918 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 5887 0 0 0 16 2 0 0 20 0 18 0 158232114 19430449152 20105 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=18975048 memory=17963 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158232116 19430449152 20105 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 158232117 19430449152 20105 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80420 KiB

[startup+0.306231 s]*
/proc/loadavg: 5.23 5.51 5.49 6/331 807939
/proc/meminfo: memFree=87659988/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=18975048 memory=120672 CPUtime=0.52 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 9101 0 0 0 49 3 0 0 20 0 18 0 158232113 19430449152 30168 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4743762 30168 5852 1 0 550548 0
[pid=807921/tid=807923] ppid=807918 vsize=18975048 memory=-8600856476641501884 CPUtime=0.27 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 5910 0 0 0 25 2 0 0 20 0 18 0 158232114 19430449152 30168 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158232116 19430449152 30168 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 158232117 19430449152 30168 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 120672 KiB

[startup+0.70023 s]
/proc/loadavg: 5.23 5.51 5.49 7/332 807940
/proc/meminfo: memFree=87602948/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=180004 CPUtime=1.26 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 14928 0 0 0 121 5 0 0 20 0 20 0 158232113 19566772224 45001 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 45001 5914 1 0 554480 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=5492 CPUtime=0.59 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 6060 0 0 0 56 3 0 0 20 0 20 0 158232114 19566772224 45001 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 45001 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 45001 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180004 KiB

[startup+1.50124 s]
/proc/loadavg: 5.23 5.51 5.49 6/333 807941
/proc/meminfo: memFree=87599840/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=211364 CPUtime=2.85 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 15157 0 0 0 279 6 0 0 20 0 20 0 158232113 19566772224 52841 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 52841 5945 1 0 554486 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=12312 CPUtime=1.35 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 6074 0 0 0 132 3 0 0 20 0 20 0 158232114 19566772224 52841 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 52841 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 52841 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 52841 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211364 KiB

[startup+3.10588 s]
/proc/loadavg: 5.23 5.51 5.49 7/333 807941
/proc/meminfo: memFree=87278504/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=567568 CPUtime=5.19 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 19750 0 0 0 506 13 0 0 20 0 20 0 158232113 19566772224 141892 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 141892 5961 1 0 1080915 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=0 CPUtime=2.63 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 6460 0 0 0 260 3 0 0 20 0 20 0 158232114 19566772224 141892 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 141892 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 141892 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 141892 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 567568 KiB

[startup+6.30123 s]
/proc/loadavg: 5.29 5.52 5.49 6/333 807941
/proc/meminfo: memFree=86512904/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=1220452 CPUtime=8.86 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 22097 0 0 0 860 26 0 0 20 0 20 0 158232113 19566772224 305113 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 305113 5961 1 0 1080926 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=0 CPUtime=5.38 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) S 807918 807921 802425 0 -1 1077936192 6911 0 0 0 531 7 0 0 20 0 20 0 158232114 19566772224 305113 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 305113 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 305113 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 305113 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1220452 KiB

[startup+12.7003 s]
/proc/loadavg: 5.19 5.49 5.48 5/333 807943
/proc/meminfo: memFree=85087852/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=2295236 CPUtime=15.84 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 23580 0 0 0 1537 47 0 0 20 0 20 0 158232113 19566772224 573809 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 573809 5961 1 0 1707597 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=180004 CPUtime=11.08 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 7506 0 0 0 1095 13 0 0 20 0 20 0 158232114 19566772224 573809 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=2217412 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 573809 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=588048 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 573809 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 573809 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 15.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2295236 KiB

[startup+25.5012 s]
/proc/loadavg: 5.16 5.47 5.48 5/333 807945
/proc/meminfo: memFree=83406436/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=3696804 CPUtime=29.55 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 25480 0 0 0 2881 74 0 0 20 0 20 0 158232113 19566772224 924201 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 924201 5964 1 0 1985422 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=2217412 CPUtime=22.85 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 7885 0 0 0 2265 20 0 0 20 0 20 0 158232114 19566772224 924201 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=3043416 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 924201 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 924201 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 924201 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 29.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3696804 KiB

[startup+51.1059 s]
/proc/loadavg: 4.89 5.38 5.44 5/333 807949
/proc/meminfo: memFree=81147312/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=5588352 CPUtime=57.88 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 50762 0 0 0 5672 116 0 0 20 0 20 0 158232113 19566772224 1397088 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 1397088 5964 1 0 2110566 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=4714992 CPUtime=46.46 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 11178 0 0 0 4618 28 0 0 20 0 20 0 158232114 19566772224 1397088 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=5000164 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 1397088 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 1397088 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0

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

/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580421 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 1785 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580421 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580421 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3225.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321684 KiB

[startup+3162.3 s]
/proc/loadavg: 2.27 2.22 2.39 3/279 809778
/proc/meminfo: memFree=98350308/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321688 CPUtime=3287.79 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 540988 0 0 0 328298 481 0 0 20 0 20 0 158232113 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580422 5996 1 0 4087890 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=2000 CPUtime=3059.73 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 211910 0 0 0 305895 78 0 0 20 0 20 0 158232114 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=14321688 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 1786 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=14321688 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3287.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321688 KiB

[startup+3222.3 s]
/proc/loadavg: 2.14 2.19 2.36 3/279 809790
/proc/meminfo: memFree=98350180/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321688 CPUtime=3348.82 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 547624 0 0 0 334398 484 0 0 20 0 20 0 158232113 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580422 5996 1 0 4087890 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=2000 CPUtime=3118.4 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 214847 0 0 0 311761 79 0 0 20 0 20 0 158232114 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=14321688 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 1829 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=14321688 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580422 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3348.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321688 KiB

[startup+3282.3 s]
/proc/loadavg: 1.96 2.14 2.33 2/252 809833
/proc/meminfo: memFree=112565740/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321716 CPUtime=3414.52 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 571772 0 0 0 340962 490 0 0 20 0 20 0 158232113 19566772224 3580429 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580429 5996 1 0 4087893 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=14321708 CPUtime=3176.7 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 227344 0 0 0 317590 80 0 0 20 0 20 0 158232114 19566772224 3580429 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=14321708 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580429 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=-8600856476641501884 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 1829 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580429 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=14321708 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580429 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3414.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321716 KiB

[startup+3342.3 s]
/proc/loadavg: 1.42 1.95 2.25 2/252 809843
/proc/meminfo: memFree=112565360/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321720 CPUtime=3475.5 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 578415 0 0 0 347058 492 0 0 20 0 20 0 158232113 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580430 5996 1 0 4087893 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=14321716 CPUtime=3235.46 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 229271 0 0 0 323466 80 0 0 20 0 20 0 158232114 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=14321716 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 1921 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3475.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321720 KiB

[startup+3402.3 s]
/proc/loadavg: 1.27 1.80 2.18 2/252 809854
/proc/meminfo: memFree=112565032/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321720 CPUtime=3536.34 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 581501 0 0 0 353139 495 0 0 20 0 20 0 158232113 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580430 5996 1 0 4087893 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=14321716 CPUtime=3294.37 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 231284 0 0 0 329357 80 0 0 20 0 20 0 158232114 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=14321720 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=14321720 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 1921 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=14321720 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580430 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3536.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321720 KiB

[startup+3462.3 s]
/proc/loadavg: 1.28 1.70 2.12 2/254 809869
/proc/meminfo: memFree=112564612/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321740 CPUtime=3596.85 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 583489 0 0 0 359187 498 0 0 20 0 20 0 158232113 19566772224 3580435 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580435 5996 1 0 4087898 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=14321716 CPUtime=3353.63 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) R 807918 807921 802425 0 -1 4194368 232450 0 0 0 335283 80 0 0 20 0 20 0 158232114 19566772224 3580435 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=14321720 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580435 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 2009 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580435 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=14321728 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580435 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3596.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3465 s]*
/proc/loadavg: 1.28 1.70 2.12 3/254 809869
/proc/meminfo: memFree=112564612/131524600 swapFree=131071996/131071996
[pid=807921] ppid=807918 vsize=19108176 memory=14321744 CPUtime=3600.12 cores=5,7
/proc/807921/stat : 807921 (java) S 807918 807921 802425 0 -1 1077936128 586247 0 0 0 359514 498 0 0 20 0 20 0 158232113 19566772224 3580436 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
/proc/807921/statm: 4777044 3580436 5996 1 0 4087898 0
[pid=807921/tid=807923] ppid=807918 vsize=19108176 memory=5480 CPUtime=3355.74 cores=5,7
/proc/807921/task/807923/stat : 807923 (java) S 807918 807921 802425 0 -1 1077936192 232509 0 0 0 335494 80 0 0 20 0 20 0 158232114 19566772224 3580436 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807932] ppid=807918 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/807921/task/807932/stat : 807932 (Finalizer) S 807918 807921 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158232116 19566772224 3580436 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807939] ppid=807918 vsize=19108176 memory=17820 CPUtime=0 cores=5,7
/proc/807921/task/807939/stat : 807939 (Common-Cleaner) S 807918 807921 802425 0 -1 1077936192 2009 0 0 0 0 0 0 0 20 0 20 0 158232117 19566772224 3580436 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
[pid=807921/tid=807941] ppid=807918 vsize=19108176 memory=4673 CPUtime=0 cores=5,7
/proc/807921/task/807941/stat : 807941 (Timer-0) S 807918 807921 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158232166 19566772224 3580436 134679101440 94726502043648 94726502047344 140725248957088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94726502055160 94726502055952 94726525775872 140725248963591 140725248963681 140725248963681 140725248970696 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14321744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.49 s, system=5.02479 s

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

[startup+3465.22 s]*
/proc/loadavg: 1.28 1.70 2.12 2/236 809872
/proc/meminfo: memFree=126518464/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3465.23
CPU time (s): 3600.51
CPU user time (s): 3595.49
CPU system time (s): 5.02479
CPU usage (%): 103.904
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14322492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.49
system time used= 5.02479
maximum resident set size= 14323320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112640
involuntary context switches= 18254


# summary of solver processes directly reported to runsolver:
#   pid: 807921
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3595.49
#   total CPU system time (s): 5.02479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73549 second user time and 16.8161 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-15 18:23:56
IDJOB=4432300
IDBENCH=146673
IDSOLVER=3058
FILE ID=nodeC033/4432300-1721060624
RUNJOBID= nodeC033-1721051003-802438
SLURM_JOB_ID= 7505484
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/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432300-1721060624/watcher-4432300-1721060624 -o /tmp/evaluation-result-4432300-1721060624/solver-4432300-1721060624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802438 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432300-1721060624.opb

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

MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=33947237

nodeC033.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		: 3669.251
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.50
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		: 3668.229
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	: 7006.25
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.919
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.50
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		: 3601.017
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	: 7006.25
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		: 3599.942
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.50
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		: 3665.421
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	: 7006.25
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		: 3669.243
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.50
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		: 3650.889
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        87759248 kB
MemAvailable:   90632440 kB
Buffers:          378088 kB
Cached:          3302128 kB
SwapCached:            0 kB
Active:           600012 kB
Inactive:       42431432 kB
Active(anon):       1556 kB
Inactive(anon): 39387364 kB
Active(file):     598456 kB
Inactive(file):  3044068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2908 kB
Writeback:            68 kB
AnonPages:      39350560 kB
Mapped:           123776 kB
Shmem:             37716 kB
KReclaimable:     140628 kB
Slab:             251232 kB
SReclaimable:     140628 kB
SUnreclaim:       110604 kB
KernelStack:        5056 kB
PageTables:        87064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   41486860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38764544 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-15 19:21:41