Trace number 4424852

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.69 3560.64

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MD5SUM12291a6fa56cb5d9903f2acb67174802
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.163633
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints39
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
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.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.19	c java.vm.version	22.0.1+8-16
0.13/0.19	c java.vm.vendor	Oracle Corporation
0.13/0.19	c sun.arch.data.model	64
0.13/0.19	c java.version		22.0.1
0.13/0.19	c os.name		Linux
0.13/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.19	c os.arch		amd64
0.13/0.21	c Free memory 		2115194816
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.30/0.22	c Number of processors 	2
0.30/0.30	--- Begin Solver configuration ---
0.30/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.30	Learn all clauses as in MiniSAT
0.30/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.30	No reason simplification
0.30/0.30	Glucose 2.1 dynamic restart strategy
0.30/0.30	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.30/0.30	timeout=2147483s
0.30/0.30	DB Simplification allowed=false
0.30/0.30	Listener: none
0.30/0.30	--- End Solver configuration ---
0.30/0.30	c Pseudo Boolean Optimization by upper bound
0.30/0.30	c --- Begin Solver configuration ---
0.30/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.30	c Learn all clauses as in MiniSAT
0.30/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.30	c No reason simplification
0.30/0.30	c Glucose 2.1 dynamic restart strategy
0.30/0.30	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.30/0.30	c timeout=2147483s
0.30/0.30	c DB Simplification allowed=false
0.30/0.30	c Listener: none
0.30/0.30	c --- End Solver configuration ---
0.30/0.30	c solving HOME/instance-4424852-1720881329.wbo
0.30/0.30	c reading problem ... 
0.63/0.47	c ... done. Wall clock time 0.158s.
0.63/0.47	c declared #vars     3900
0.63/0.47	c internal #vars     3939
0.63/0.47	c #constraints  126
0.63/0.47	c constraints type 
0.63/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 45
0.63/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
0.63/0.47	c org.sat4j.specs.Constr$1 => 1
0.63/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65
0.63/0.47	c 126 constraints processed.
0.63/0.49	c objective function length is 39 literals
2.94/1.89	c cleaning 2495 clauses out of 5000 with flag 33474/5000
4.63/3.16	c cleaning 4250 clauses out of 8505 with flag 76301/11000
6.36/4.86	c cleaning 5623 clauses out of 11256 with flag 124129/18001
10.26/8.08	c cleaning 6809 clauses out of 13632 with flag 181326/26000
12.16/9.86	c SATISFIABLE
12.16/9.86	c OPTIMIZING...
12.16/9.86	c Got one! Elapsed wall clock time (in seconds):9.561
12.16/9.87	o 48
14.37/11.69	c Got one! Elapsed wall clock time (in seconds):11.392
14.37/11.69	o 4
14.62/11.86	c cleaning 9378 clauses out of 18770 with flag 5099/37947
16.02/12.78	c cleaning 7685 clauses out of 15392 with flag 44834/43947
18.24/14.95	c cleaning 7329 clauses out of 14708 with flag 87981/50948
20.94/17.51	c cleaning 7664 clauses out of 15378 with flag 143089/58947
25.16/21.53	c cleaning 8328 clauses out of 16716 with flag 207295/67949
29.67/25.91	c cleaning 9166 clauses out of 18387 with flag 281057/77948
35.68/31.86	c cleaning 10088 clauses out of 20225 with flag 360978/88952
38.89/35.05	c cleaning 11044 clauses out of 22132 with flag 448846/100947
42.52/38.62	c cleaning 12029 clauses out of 24090 with flag 533339/113949
47.76/43.77	c cleaning 13009 clauses out of 26059 with flag 633560/127947
54.05/49.83	c cleaning 14007 clauses out of 28050 with flag 748622/142947
58.26/53.93	c cleaning 14999 clauses out of 30043 with flag 860668/158947
62.38/57.96	c cleaning 15996 clauses out of 32045 with flag 969283/175948
72.14/67.43	c cleaning 17021 clauses out of 34048 with flag 1111342/193947
85.19/80.35	c cleaning 18014 clauses out of 36029 with flag 1262032/212949
105.43/99.50	c cleaning 19004 clauses out of 38014 with flag 1438192/232948
125.50/119.32	c cleaning 20000 clauses out of 40009 with flag 1631652/253947
152.05/145.63	c cleaning 20996 clauses out of 42009 with flag 1825753/275947
179.83/173.18	c cleaning 21995 clauses out of 44013 with flag 2027127/298947
213.71/206.76	c cleaning 23006 clauses out of 46018 with flag 2238017/322947
225.61/217.34	c cleaning 23996 clauses out of 48012 with flag 2460345/347947
242.55/233.62	c cleaning 24999 clauses out of 50019 with flag 2789391/373950
257.66/248.28	c cleaning 26003 clauses out of 52019 with flag 3159912/400949
277.05/265.91	c cleaning 26994 clauses out of 54014 with flag 3455748/428947
296.57/285.12	c cleaning 28004 clauses out of 56020 with flag 3732952/457947
315.75/303.84	c cleaning 29001 clauses out of 58016 with flag 4105040/487947
337.47/325.02	c cleaning 29995 clauses out of 60015 with flag 4486089/518947
361.11/348.13	c cleaning 30998 clauses out of 62022 with flag 4871199/550949
380.94/367.67	c cleaning 32003 clauses out of 64023 with flag 5255545/583948
407.11/392.29	c cleaning 32999 clauses out of 66019 with flag 5673826/617947
421.87/406.63	c cleaning 33997 clauses out of 68022 with flag 6024353/652949
442.02/426.12	c cleaning 35002 clauses out of 70024 with flag 6391136/688948
452.92/436.64	c cleaning 35992 clauses out of 72021 with flag 6726222/725947
489.92/473.21	c cleaning 36975 clauses out of 74030 with flag 7104301/763948
536.71/519.46	c cleaning 37990 clauses out of 76054 with flag 7522706/802947
588.08/570.44	c cleaning 38993 clauses out of 78065 with flag 7905627/842948
631.33/613.39	c cleaning 39998 clauses out of 80071 with flag 8331875/883947
675.81/656.67	c cleaning 41000 clauses out of 82074 with flag 8796114/925948
729.04/709.35	c cleaning 42001 clauses out of 84075 with flag 9298223/968949
782.23/762.10	c cleaning 42997 clauses out of 86072 with flag 9805232/1012947
846.07/825.26	c cleaning 44003 clauses out of 88079 with flag 10280207/1057951
912.12/890.76	c cleaning 45003 clauses out of 90072 with flag 10786043/1103947
976.50/954.50	c cleaning 46000 clauses out of 92071 with flag 11241158/1150949
1034.36/1012.06	c cleaning 46992 clauses out of 94069 with flag 11702204/1198947
1103.08/1079.70	c cleaning 48002 clauses out of 96077 with flag 12146787/1247947
1157.17/1133.38	c cleaning 48998 clauses out of 98075 with flag 12650133/1297947
1246.45/1222.25	c cleaning 50002 clauses out of 100078 with flag 13181052/1348948
1314.53/1289.45	c cleaning 50994 clauses out of 102075 with flag 13746105/1400947
1386.87/1361.29	c cleaning 52004 clauses out of 104081 with flag 14290166/1453947
1472.27/1446.65	c cleaning 53004 clauses out of 106077 with flag 14830201/1507947
1545.27/1519.77	c cleaning 53997 clauses out of 108074 with flag 15377697/1562948
1634.97/1609.35	c cleaning 55003 clauses out of 110078 with flag 15944891/1618949
1719.31/1693.71	c cleaning 55998 clauses out of 112073 with flag 16566944/1675947
1813.65/1786.63	c cleaning 57002 clauses out of 114075 with flag 17181345/1733947
1920.82/1893.10	c cleaning 58000 clauses out of 116073 with flag 17872771/1792947
2019.97/1992.41	c cleaning 58998 clauses out of 118076 with flag 18561467/1852950
2111.00/2083.18	c cleaning 59999 clauses out of 120075 with flag 19170077/1913947
2155.95/2127.41	c cleaning 61003 clauses out of 122077 with flag 19835000/1975948
2224.67/2195.33	c cleaning 61998 clauses out of 124074 with flag 20533313/2038948
2289.45/2259.35	c cleaning 62993 clauses out of 126075 with flag 21205079/2102947
2355.09/2324.26	c cleaning 64003 clauses out of 128083 with flag 21900081/2167948
2446.19/2414.68	c cleaning 64998 clauses out of 130079 with flag 22550183/2233947
2533.30/2501.04	c cleaning 66005 clauses out of 132081 with flag 23109948/2300947
2606.47/2573.45	c cleaning 66999 clauses out of 134077 with flag 23761309/2368948
2683.44/2648.76	c cleaning 68004 clauses out of 136083 with flag 24426033/2437953
2761.06/2726.37	c cleaning 69000 clauses out of 138075 with flag 25080275/2507949
2838.62/2803.94	c cleaning 69999 clauses out of 140076 with flag 25771022/2578950
2938.88/2903.56	c cleaning 70997 clauses out of 142074 with flag 26521466/2650947
3006.47/2970.65	c cleaning 72025 clauses out of 144080 with flag 27197465/2723950
3103.00/3066.28	c cleaning 73016 clauses out of 146052 with flag 27789359/2797947
3200.16/3162.82	c cleaning 74005 clauses out of 148036 with flag 28361212/2872947
3274.21/3236.45	c cleaning 75007 clauses out of 150033 with flag 29045106/2948949
3362.16/3323.78	c cleaning 75998 clauses out of 152024 with flag 29694558/3025947
3450.44/3412.12	c cleaning 77002 clauses out of 154026 with flag 30332931/3103947
3536.86/3497.56	c cleaning 78002 clauses out of 156024 with flag 31085016/3182947
3600.07/3560.32	c starts		: 2806
3600.07/3560.34	c conflicts		: 3244207
3600.07/3560.35	c decisions		: 5392997
3600.07/3560.36	c propagations		: 94638050
3600.07/3560.36	c inspects		: 13325641257
3600.07/3560.36	c shortcuts		: 0
3600.07/3560.36	c learnt literals	: 0
3600.07/3560.36	c learnt binary clauses	: 0
3600.07/3560.36	c learnt ternary clauses	: 0
3600.07/3560.36	c learnt constraints	: 3244207
3600.07/3560.36	c ignored constraints	: 0
3600.07/3560.36	c root simplifications	: 0
3600.07/3560.36	c removed literals (reason simplification)	: 0
3600.07/3560.36	c reason swapping (by a shorter reason)	: 0
3600.07/3560.36	c Calls to reduceDB	: 79
3600.07/3560.36	c Number of update (reduction) of LBD	: 1772873
3600.07/3560.36	c Imported unit clauses	: 0
3600.07/3560.36	c No decision after first conflict	: false
3600.07/3560.36	c number of reductions to clauses (during analyze)	: 0
3600.07/3560.36	c number of learned constraints concerned by reduction	: 0
3600.07/3560.36	c number of learning phase by resolution	: 0
3600.07/3560.36	c number of learning phase by cutting planes	: 0
3600.07/3560.36	c number of rounding to 1 operations	: 0
3600.07/3560.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3560.39	c number of reductions of the coefficients by power 2 	: 0
3600.07/3560.39	c number of right shift for reduction by power 2 	: 0
3600.07/3560.39	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3560.39	c number of ending skipping 	: 0
3600.07/3560.39	c number of internal skipping 	: 0
3600.07/3560.39	c number of derivation steps 	: 0
3600.07/3560.39	c number of skipped derivation steps 	: 0
3600.07/3560.39	c number of remaining unassigned 	: 0
3600.07/3560.39	c number of remaining assigned 	: 0
3600.07/3560.39	c number of falsified literals weakened from reason	: 0
3600.07/3560.39	c number of falsified literals weakened from conflict	: 0
3600.07/3560.39	c time for arithmetic operations	: 0
3600.07/3560.39	c minimum degree of deleted constraints	: null
3600.07/3560.39	c maximum degree of deleted constraints	: null
3600.07/3560.40	c number of deleted constraints	: 0
3600.07/3560.40	c speed (assignments/second)	: 26584.48360037282
3600.07/3560.40	c non guided choices	: 25128
3600.48/3560.55	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 139282
3600.48/3560.56	s SATISFIABLE
3600.48/3560.56	c Found 2 solution(s)
3600.48/3560.59	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 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 
3600.48/3560.59	c objective function=4
3600.48/3560.59	c Total wall clock time (in seconds): 3560.291

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424852-1720881329/watcher-4424852-1720881329 -o /tmp/evaluation-result-4424852-1720881329/solver-4424852-1720881329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702390 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424852-1720881329.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=702447, runsolver pid=702442

[startup+0.104872 s]*
/proc/loadavg: 1.07 1.16 1.19 14/308 702519
/proc/meminfo: memFree=129936284/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=18975048 memory=56076 CPUtime=0.13 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 6440 0 0 0 10 3 0 0 20 0 18 0 140288786 19430449152 14019 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4743762 14019 5685 1 0 550801 0
[pid=702447/tid=702449] ppid=702442 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 5371 0 0 0 6 2 0 0 20 0 18 0 140288787 19430449152 14019 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=18975048 memory=3715 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140288792 19430449152 14019 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140288793 19430449152 14019 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56076 KiB

[startup+0.213903 s]*
/proc/loadavg: 1.07 1.16 1.19 16/309 702520
/proc/meminfo: memFree=129912088/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=18975048 memory=60820 CPUtime=0.3 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 7109 0 0 0 26 4 0 0 20 0 18 0 140288786 19430449152 15205 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4743762 15205 5694 1 0 551342 0
[pid=702447/tid=702449] ppid=702442 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 5669 0 0 0 16 3 0 0 20 0 18 0 140288787 19430449152 15205 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=18975048 memory=3715 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140288792 19430449152 15238 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140288793 19430449152 15238 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60820 KiB

[startup+0.31809 s]*
/proc/loadavg: 1.07 1.16 1.19 13/310 702521
/proc/meminfo: memFree=129893072/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=18975048 memory=65884 CPUtime=0.45 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 7390 0 0 0 41 4 0 0 20 0 18 0 140288786 19430449152 16471 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4743762 16471 5708 1 0 551563 0
[pid=702447/tid=702449] ppid=702442 vsize=18975048 memory=-8887684996942701244 CPUtime=0.27 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 1077936192 5855 0 0 0 24 3 0 0 20 0 18 0 140288787 19430449152 16471 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140288792 19430449152 16471 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140288793 19430449152 16471 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65884 KiB

[startup+0.700857 s]
/proc/loadavg: 1.07 1.16 1.19 15/312 702523
/proc/meminfo: memFree=129862568/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19041612 memory=80948 CPUtime=1.15 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 9331 0 0 0 109 6 0 0 20 0 19 0 140288786 19498610688 20237 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4760403 20237 5892 1 0 552777 0
[pid=702447/tid=702449] ppid=702442 vsize=19041612 memory=5476 CPUtime=0.59 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 5997 0 0 0 55 4 0 0 20 0 19 0 140288787 19498610688 20237 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19041612 memory=12320 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140288792 19498610688 20237 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19041612 memory=2244 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140288793 19498610688 20237 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140288837 19498610688 20237 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80948 KiB

[startup+1.50085 s]
/proc/loadavg: 1.07 1.16 1.19 11/313 702524
/proc/meminfo: memFree=129810488/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19041612 memory=105612 CPUtime=2.57 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 12463 0 0 0 250 7 0 0 20 0 19 0 140288786 19498610688 26403 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4760403 26403 5892 1 0 553669 0
[pid=702447/tid=702449] ppid=702442 vsize=19041612 memory=12320 CPUtime=1.36 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 6166 0 0 0 132 4 0 0 20 0 19 0 140288787 19498610688 26403 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140288792 19498610688 26403 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140288793 19498610688 26403 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19041612 memory=280144476546288 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140288837 19498610688 26403 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105612 KiB

[startup+3.10585 s]
/proc/loadavg: 1.31 1.21 1.20 8/314 702525
/proc/meminfo: memFree=129534796/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19041612 memory=168328 CPUtime=4.63 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 16609 0 0 0 453 10 0 0 20 0 19 0 140288786 19498610688 42082 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4760403 42082 5892 1 0 554516 0
[pid=702447/tid=702449] ppid=702442 vsize=19041612 memory=0 CPUtime=2.94 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 7201 0 0 0 288 6 0 0 20 0 19 0 140288787 19498610688 42082 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19041612 memory=12320 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140288792 19498610688 42082 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140288793 19498610688 42082 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19041612 memory=12712 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140288837 19498610688 42082 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 4.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168328 KiB

[startup+6.30045 s]
/proc/loadavg: 1.31 1.21 1.20 8/316 702527
/proc/meminfo: memFree=129358888/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=273112 CPUtime=8.01 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 17690 0 0 0 788 13 0 0 20 0 20 0 140288786 19566772224 68278 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 68278 5924 1 0 554807 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=0 CPUtime=5.91 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 7269 0 0 0 585 6 0 0 20 0 20 0 140288787 19566772224 68278 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=7391413433648273289 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 68278 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140288793 19566772224 68278 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 68278 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 8.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 273112 KiB

[startup+12.7004 s]
/proc/loadavg: 1.76 1.31 1.24 8/316 702529
/proc/meminfo: memFree=128782836/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=429920 CPUtime=16.02 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 24610 0 0 0 1585 17 0 0 20 0 20 0 140288786 19566772224 107480 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 107480 5924 1 0 555328 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=12320 CPUtime=12.06 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 8986 0 0 0 1200 6 0 0 20 0 20 0 140288787 19566772224 107480 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 107480 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=2164 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140288793 19566772224 107480 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=353156 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 107480 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 16.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 429920 KiB

[startup+25.5005 s]
/proc/loadavg: 2.26 1.44 1.28 7/316 702530
/proc/meminfo: memFree=127436120/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=811380 CPUtime=29.25 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 30165 0 0 0 2898 27 0 0 20 0 20 0 140288786 19566772224 202845 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 202845 5940 1 0 682735 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=686292 CPUtime=24.28 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 9895 0 0 0 2419 9 0 0 20 0 20 0 140288787 19566772224 202845 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=678100 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 202845 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=639184 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140288793 19566772224 202845 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 202845 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 811380 KiB

[startup+51.1131 s]
/proc/loadavg: 2.85 1.64 1.35 9/317 702536
/proc/meminfo: memFree=125774164/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=1288780 CPUtime=55.48 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 36262 0 0 0 5509 39 0 0 20 0 20 0 140288786 19566772224 322195 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 322195 5953 1 0 843572 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=1162480 CPUtime=49.11 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 11262 0 0 0 4902 9 0 0 20 0 20 0 140288787 19566772224 322195 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=1060060 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 322195 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=-8887684996942701244 CPUtime=0 cores=4,6

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

Current children cumulated memory: 10005392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.18 4.17 6/321 705302
/proc/meminfo: memFree=95532116/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=10007464 CPUtime=3320.51 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 302802 0 0 0 331612 439 0 0 20 0 20 0 140288786 19566772224 2501866 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 2501866 5969 1 0 3346115 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=10007464 CPUtime=3229.28 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 116976 0 0 0 322867 61 0 0 20 0 20 0 140288787 19566772224 2501866 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=37200 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 2501866 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=12712 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 2952 0 0 0 0 0 0 0 20 0 20 0 140288793 19566772224 2501866 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=10007464 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 2501866 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3320.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10007464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.16 7/318 705312
/proc/meminfo: memFree=95525276/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=10009548 CPUtime=3381.2 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 307906 0 0 0 337678 442 0 0 20 0 20 0 140288786 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 2502387 5969 1 0 3346115 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=10007500 CPUtime=3287.41 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 119113 0 0 0 328680 61 0 0 20 0 20 0 140288787 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=10007500 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=10007500 CPUtime=0 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 2952 0 0 0 0 0 0 0 20 0 20 0 140288793 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=10007500 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3381.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10009548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.15 6/318 705323
/proc/meminfo: memFree=95525036/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=10009548 CPUtime=3440.71 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 309262 0 0 0 343626 445 0 0 20 0 20 0 140288786 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 2502387 5969 1 0 3346115 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=10007500 CPUtime=3346.87 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 120230 0 0 0 334626 61 0 0 20 0 20 0 140288787 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=10009548 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=10009548 CPUtime=0.01 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 3093 0 0 0 0 1 0 0 20 0 20 0 140288793 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=10009548 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 2502387 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3440.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10009548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.15 6/318 705333
/proc/meminfo: memFree=95423956/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=10011616 CPUtime=3501.05 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 313910 0 0 0 349656 449 0 0 20 0 20 0 140288786 19566772224 2502904 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 2502904 5969 1 0 3346115 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=10007500 CPUtime=3406.19 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 122583 0 0 0 340557 62 0 0 20 0 20 0 140288787 19566772224 2502904 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=10009548 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 2502904 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=10011616 CPUtime=0.01 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 3093 0 0 0 0 1 0 0 20 0 20 0 140288793 19566772224 2502904 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=10011616 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 2502904 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3501.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10011616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/318 705343
/proc/meminfo: memFree=95360028/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=10011688 CPUtime=3561.62 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 318270 0 0 0 355709 453 0 0 20 0 20 0 140288786 19566772224 2502922 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 2502922 5969 1 0 3346115 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=10011688 CPUtime=3465.38 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 124772 0 0 0 346476 62 0 0 20 0 20 0 140288787 19566772224 2502922 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=10011616 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 2502922 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=10011688 CPUtime=0.01 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 3145 0 0 0 0 1 0 0 20 0 20 0 140288793 19566772224 2502922 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=10011688 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 2502922 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3561.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10011688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3560.3 s]
/proc/loadavg: 3.93 4.10 4.14 6/292 705385
/proc/meminfo: memFree=109090940/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19108176 memory=10211056 CPUtime=3600.07 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 319619 0 0 0 359548 459 0 0 20 0 20 0 140288786 19566772224 2552764 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4777044 2552764 5969 1 0 3346115 0
[pid=702447/tid=702449] ppid=702442 vsize=19108176 memory=10211056 CPUtime=3502.76 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 125220 0 0 0 350214 62 0 0 20 0 20 0 140288787 19566772224 2552764 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288792 19566772224 2552764 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19108176 memory=10211056 CPUtime=0.01 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 3145 0 0 0 0 1 0 0 20 0 20 0 140288793 19566772224 2552764 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702523] ppid=702442 vsize=19108176 memory=31984 CPUtime=0 cores=4,6
/proc/702447/task/702523/stat : 702523 (Timer-0) S 702442 702447 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288837 19566772224 2552764 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10211056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.06 s, system=4.63265 s

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

[startup+3560.41 s]
/proc/loadavg: 3.93 4.10 4.14 6/292 705385
/proc/meminfo: memFree=109090940/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19307868 memory=10211724 CPUtime=3600.28 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 322548 0 0 0 359568 460 0 0 20 0 21 0 140288786 19771256832 2552931 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4826967 2552931 5968 1 0 3347037 0
[pid=702447/tid=702449] ppid=702442 vsize=19307868 memory=5496 CPUtime=3502.87 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) R 702442 702447 698245 0 -1 4194368 125709 0 0 0 350224 63 0 0 20 0 21 0 140288787 19771256832 2552931 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19307868 memory=31984 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140288792 19771256832 2552931 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19307868 memory=-9032363134971978428 CPUtime=0.01 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 3145 0 0 0 0 1 0 0 20 0 21 0 140288793 19771256832 2552931 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10211724 KiB

[startup+3560.6 s]
/proc/loadavg: 3.93 4.10 4.14 6/292 705385
/proc/meminfo: memFree=109090940/131655788 swapFree=131071996/131071996
[pid=702447] ppid=702442 vsize=19307868 memory=10211872 CPUtime=3600.65 cores=4,6
/proc/702447/stat : 702447 (java) S 702442 702447 698245 0 -1 1077936128 323518 0 0 0 359605 460 0 0 20 0 16 0 140288786 19771256832 2552968 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
/proc/702447/statm: 4826967 2552968 5984 1 0 3347037 0
[pid=702447/tid=702449] ppid=702442 vsize=19307868 memory=-9032363134971978428 CPUtime=3503.04 cores=4,6
/proc/702447/task/702449/stat : 702449 (java) S 702442 702447 698245 0 -1 1077936192 125927 0 0 0 350241 63 0 0 20 0 16 0 140288787 19771256832 2552968 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702500] ppid=702442 vsize=19307868 memory=20788 CPUtime=0 cores=4,6
/proc/702447/task/702500/stat : 702500 (Finalizer) S 702442 702447 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 140288792 19771256832 2552968 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
[pid=702447/tid=702509] ppid=702442 vsize=19307868 memory=28028 CPUtime=0.01 cores=4,6
/proc/702447/task/702509/stat : 702509 (Common-Cleaner) S 702442 702447 698245 0 -1 1077936192 3145 0 0 0 0 1 0 0 20 0 16 0 140288793 19771256832 2552968 134679101440 94890484850688 94890484854384 140722977929952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94890484862200 94890484862992 94890498985984 140722977932269 140722977932359 140722977932359 140722977939400 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10211872 KiB

Child status: 143

Real time (s): 3560.64
CPU time (s): 3600.69
CPU user time (s): 3596.06
CPU system time (s): 4.63265
CPU usage (%): 101.125
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10211872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 4.63265
maximum resident set size= 10212696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111065
involuntary context switches= 15403


# summary of solver processes directly reported to runsolver:
#   pid: 702447
#   total CPU time (s): 3600.69
#   total CPU user time (s): 3596.06
#   total CPU system time (s): 4.63265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9183 second user time and 32.9349 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-13 16:35:42
IDJOB=4424852
IDBENCH=143516
IDSOLVER=3037
FILE ID=nodeC004/4424852-1720881329
RUNJOBID= nodeC004-1720881342-702390
SLURM_JOB_ID= 7483752
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424852-1720881329/watcher-4424852-1720881329 -o /tmp/evaluation-result-4424852-1720881329/solver-4424852-1720881329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702390 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424852-1720881329.wbo

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

MD5SUM BENCH= 12291a6fa56cb5d9903f2acb67174802
RANDOM SEED=1714481271

nodeC004.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	: 0xb00001f
cpu MHz		: 3492.151
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.298
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.308
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.445
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.317
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.313
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.311
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.307
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130077804 kB
MemAvailable:   129973248 kB
Buffers:          322644 kB
Cached:           422512 kB
SwapCached:            0 kB
Active:           477000 kB
Inactive:         605236 kB
Active(anon):       3248 kB
Inactive(anon):   371576 kB
Active(file):     473752 kB
Inactive(file):   233660 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2196 kB
Writeback:             0 kB
AnonPages:        336532 kB
Mapped:           100856 kB
Shmem:             37700 kB
KReclaimable:      56464 kB
Slab:             145644 kB
SReclaimable:      56464 kB
SUnreclaim:        89180 kB
KernelStack:        3664 kB
PageTables:         9076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     657380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45920 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      166728 kB
DirectMap2M:     7077888 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC004 at 2024-07-13 17:35:03