Trace number 4462167

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-5873 3600.58 2612.8

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_250_005.opb
MD5SUMc1572c005e5d2804643966c7bf58bacf
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7323
Best CPU time to get the best result obtained on this benchmark0.041573
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4585
Total number of constraints168
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)159
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint645
Number of terms in the objective function 4583
Biggest coefficient in the objective function 253
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 556091
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 253
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 556091
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4462167-1722240201.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.20	c ... done. Wall clock time 0.072s.
0.13/0.20	c declared #vars     4585
0.13/0.20	c #constraints  168
0.13/0.20	c constraints type 
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9
0.13/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 159
0.13/0.20	c 168 constraints processed.
0.32/0.21	c objective function length is 4583 literals
0.32/0.24	c SATISFIABLE
0.32/0.24	c OPTIMIZING...
0.32/0.24	c Got one! Elapsed wall clock time (in seconds):0.11
0.32/0.24	o -5723
0.32/0.29	c Got one! Elapsed wall clock time (in seconds):0.158
0.32/0.29	o -5745
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.199
0.52/0.32	o -5759
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.217
0.52/0.34	o -5800
1.09/0.69	c Got one! Elapsed wall clock time (in seconds):0.557
1.09/0.69	o -5855
1.29/0.72	c Got one! Elapsed wall clock time (in seconds):0.589
1.29/0.72	o -5873
5.12/3.74	c cleaning 2632 clauses out of 5264 with flag 11596/5264
8.95/6.90	c cleaning 4318 clauses out of 8635 with flag 24516/11267
13.05/10.44	c cleaning 5658 clauses out of 11315 with flag 39504/18265
18.10/14.70	c cleaning 6828 clauses out of 13656 with flag 56608/26264
23.04/19.03	c cleaning 7909 clauses out of 15828 with flag 75544/35264
29.10/24.05	c cleaning 8960 clauses out of 17920 with flag 96698/45265
37.65/29.80	c cleaning 9980 clauses out of 19959 with flag 120226/56264
46.22/36.71	c cleaning 10988 clauses out of 21981 with flag 145258/68266
54.62/43.91	c cleaning 11993 clauses out of 23993 with flag 172498/81266
63.67/52.10	c cleaning 13000 clauses out of 25999 with flag 202439/95265
77.62/61.61	c cleaning 13993 clauses out of 28000 with flag 234048/110266
89.57/71.55	c cleaning 15004 clauses out of 30007 with flag 267698/126266
102.04/82.76	c cleaning 15999 clauses out of 32002 with flag 303625/143265
114.47/93.41	c cleaning 17001 clauses out of 34006 with flag 341195/161268
130.80/104.86	c cleaning 17998 clauses out of 36004 with flag 380601/180267
144.40/117.02	c cleaning 19002 clauses out of 38003 with flag 422748/200264
159.47/130.09	c cleaning 20000 clauses out of 40002 with flag 466813/221265
174.26/143.56	c cleaning 20995 clauses out of 42001 with flag 512543/243264
192.75/157.34	c cleaning 22002 clauses out of 44006 with flag 560708/266264
214.02/172.79	c cleaning 22999 clauses out of 46006 with flag 611218/290266
231.68/188.13	c cleaning 24004 clauses out of 48008 with flag 663521/315267
257.71/206.33	c cleaning 24998 clauses out of 50002 with flag 718179/341265
280.54/224.99	c cleaning 25999 clauses out of 52003 with flag 774668/368264
302.38/244.30	c cleaning 27002 clauses out of 54004 with flag 833611/396264
330.42/263.66	c cleaning 27999 clauses out of 56002 with flag 893928/425264
356.98/287.38	c cleaning 29002 clauses out of 58003 with flag 956984/455264
388.32/309.79	c cleaning 30001 clauses out of 60001 with flag 1022434/486264
417.95/334.02	c cleaning 30998 clauses out of 62001 with flag 1089644/518265
446.08/359.43	c cleaning 32001 clauses out of 64003 with flag 1158340/551265
481.44/385.99	c cleaning 32998 clauses out of 66004 with flag 1228619/585267
512.86/413.74	c cleaning 34002 clauses out of 68003 with flag 1301888/620264
551.90/442.20	c cleaning 35002 clauses out of 70004 with flag 1377266/656267
586.33/473.01	c cleaning 35995 clauses out of 71999 with flag 1454663/693264
633.08/508.44	c cleaning 36998 clauses out of 74004 with flag 1534293/731264
671.59/543.65	c cleaning 38003 clauses out of 76006 with flag 1615713/770264
718.99/579.41	c cleaning 38995 clauses out of 78003 with flag 1699072/810264
769.28/619.39	c cleaning 40002 clauses out of 80012 with flag 1783996/851268
811.58/651.40	c cleaning 41003 clauses out of 82006 with flag 1871651/893264
863.23/693.50	c cleaning 42000 clauses out of 84003 with flag 1961185/936264
916.85/732.91	c cleaning 42995 clauses out of 86003 with flag 2052867/980264
964.24/774.03	c cleaning 44001 clauses out of 88009 with flag 2146501/1025265
1019.49/819.50	c cleaning 45004 clauses out of 90008 with flag 2242473/1071265
1073.10/856.96	c cleaning 46000 clauses out of 92004 with flag 2340335/1118265
1120.36/900.64	c cleaning 47003 clauses out of 94005 with flag 2440286/1166266
1185.47/955.36	c cleaning 47999 clauses out of 96001 with flag 2541915/1215265
1242.28/996.61	c cleaning 48999 clauses out of 98002 with flag 2645671/1265265
1312.52/1052.74	c cleaning 49997 clauses out of 100003 with flag 2751705/1316265
1376.65/1101.98	c cleaning 51002 clauses out of 102006 with flag 2859628/1368265
1447.48/1155.59	c cleaning 52000 clauses out of 104007 with flag 2969206/1421268
1520.96/1213.33	c cleaning 53001 clauses out of 106003 with flag 3081633/1475264
1599.25/1271.62	c cleaning 53994 clauses out of 108002 with flag 3194570/1530264
1661.61/1319.02	c cleaning 55003 clauses out of 110008 with flag 3309498/1586264
1741.12/1382.39	c cleaning 56001 clauses out of 112007 with flag 3427417/1643266
1805.90/1432.12	c cleaning 57002 clauses out of 114005 with flag 3546565/1701265
1911.48/1502.67	c cleaning 58001 clauses out of 116003 with flag 3667745/1760265
2019.30/1573.03	c cleaning 58999 clauses out of 118003 with flag 3790876/1820266
2092.31/1629.64	c cleaning 60001 clauses out of 120003 with flag 3916438/1881265
2189.34/1697.92	c cleaning 61000 clauses out of 122002 with flag 4044189/1943265
2296.83/1765.89	c cleaning 61991 clauses out of 124001 with flag 4174394/2006264
2421.61/1844.10	c cleaning 62998 clauses out of 126010 with flag 4307127/2070264
2534.92/1917.90	c cleaning 64004 clauses out of 128012 with flag 4441122/2135264
2632.86/1985.17	c cleaning 65005 clauses out of 130014 with flag 4578400/2201270
2729.56/2051.05	c cleaning 65998 clauses out of 132005 with flag 4716397/2268266
2866.03/2144.25	c cleaning 67004 clauses out of 134007 with flag 4856674/2336266
2995.75/2227.04	c cleaning 67999 clauses out of 136002 with flag 4998555/2405265
3134.06/2313.70	c cleaning 68994 clauses out of 138002 with flag 5142541/2475264
3274.65/2403.27	c cleaning 70004 clauses out of 140010 with flag 5288416/2546266
3423.67/2494.55	c cleaning 71003 clauses out of 142005 with flag 5436572/2618265
3540.74/2574.07	c cleaning 71994 clauses out of 144002 with flag 5586211/2691265
3600.06/2612.55	c starts		: 42
3600.06/2612.55	c conflicts		: 2723278
3600.06/2612.55	c decisions		: 2986123
3600.06/2612.55	c propagations		: 26639854
3600.06/2612.55	c inspects		: 5268606176
3600.06/2612.55	c shortcuts		: 0
3600.06/2612.55	c learnt literals	: 0
3600.06/2612.55	c learnt binary clauses	: 0
3600.06/2612.55	c learnt ternary clauses	: 0
3600.06/2612.55	c learnt constraints	: 2723278
3600.06/2612.55	c ignored constraints	: 0
3600.06/2612.55	c root simplifications	: 0
3600.06/2612.55	c removed literals (reason simplification)	: 0
3600.06/2612.55	c reason swapping (by a shorter reason)	: 0
3600.06/2612.55	c Calls to reduceDB	: 69
3600.06/2612.55	c Number of update (reduction) of LBD	: 106884
3600.06/2612.55	c Imported unit clauses	: 0
3600.06/2612.55	c No decision after first conflict	: false
3600.06/2612.55	c number of reductions to clauses (during analyze)	: 0
3600.06/2612.55	c number of learned constraints concerned by reduction	: 0
3600.06/2612.55	c number of learning phase by resolution	: 0
3600.06/2612.55	c number of learning phase by cutting planes	: 0
3600.06/2612.55	c number of rounding to 1 operations	: 0
3600.06/2612.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/2612.55	c number of reductions of the coefficients by power 2 	: 0
3600.06/2612.55	c number of right shift for reduction by power 2 	: 0
3600.06/2612.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/2612.55	c number of ending skipping 	: 0
3600.06/2612.55	c number of internal skipping 	: 0
3600.06/2612.55	c number of derivation steps 	: 0
3600.06/2612.55	c number of skipped derivation steps 	: 0
3600.06/2612.55	c number of remaining unassigned 	: 0
3600.06/2612.55	c number of remaining assigned 	: 0
3600.06/2612.55	c number of falsified literals weakened from reason	: 0
3600.06/2612.55	c number of falsified literals weakened from conflict	: 0
3600.06/2612.55	c time for arithmetic operations	: 0
3600.06/2612.57	c minimum degree of deleted constraints	: null
3600.06/2612.57	c maximum degree of deleted constraints	: null
3600.06/2612.57	c number of deleted constraints	: 0
3600.06/2612.57	c speed (assignments/second)	: 10197.649398836988
3600.06/2612.57	c non guided choices	: 0
3600.27/2612.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 104022
3600.27/2612.69	s SATISFIABLE
3600.27/2612.70	c Found 6 solution(s)
3600.27/2612.70	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 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 
3600.47/2612.72	c objective function=-5873
3600.47/2612.72	c Total wall clock time (in seconds): 2612.594

Verifier Data 

OK	-5873

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61343 MiB free)
  memory of node 1: 64510 MiB (59444 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=409538, runsolver pid=409532

[startup+0.100059 s]*
/proc/loadavg: 1.32 1.14 1.10 9/308 409603
/proc/meminfo: memFree=123559544/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=18975048 memory=62800 CPUtime=0.13 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 7224 0 0 0 11 2 0 0 20 0 18 0 60548610 19430449152 15700 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4743762 15700 5604 1 0 549320 0
[pid=409538/tid=409542] ppid=409532 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 5767 0 0 0 7 1 0 0 20 0 18 0 60548611 19430449152 15700 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=18975048 memory=1554078 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 60548614 19430449152 15700 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=18975048 memory=13563786715989445 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 60548614 19430449152 15700 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62800 KiB

[startup+0.206002 s]*
/proc/loadavg: 1.32 1.14 1.10 14/331 409631
/proc/meminfo: memFree=123460176/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=18975048 memory=86116 CPUtime=0.32 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 8426 0 0 0 30 2 0 0 20 0 18 0 60548610 19430449152 21529 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4743762 21529 5883 1 0 550190 0
[pid=409538/tid=409542] ppid=409532 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 6014 0 0 0 16 2 0 0 20 0 18 0 60548611 19430449152 21529 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=18975048 memory=1555553 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 60548614 19430449152 21529 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=18975048 memory=16098173902915238 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 60548614 19430449152 21529 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 86116 KiB

[startup+0.305982 s]*
/proc/loadavg: 1.32 1.14 1.10 15/333 409633
/proc/meminfo: memFree=123344748/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19041612 memory=93008 CPUtime=0.52 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 9427 0 0 0 49 3 0 0 20 0 19 0 60548610 19498610688 23252 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4760403 23252 5886 1 0 551040 0
[pid=409538/tid=409542] ppid=409532 vsize=19041612 memory=-9177320518890136252 CPUtime=0.28 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 6092 0 0 0 26 2 0 0 20 0 19 0 60548611 19498610688 23252 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 60548614 19498610688 23252 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 60548614 19498610688 23252 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 60548632 19498610688 23252 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93008 KiB

[startup+0.701221 s]
/proc/loadavg: 1.32 1.14 1.10 12/334 409634
/proc/meminfo: memFree=123148724/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19042604 memory=131540 CPUtime=1.29 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 13022 0 0 0 125 4 0 0 20 0 19 0 60548610 19499626496 32885 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4760651 32885 5902 1 0 553045 0
[pid=409538/tid=409542] ppid=409532 vsize=19042604 memory=12348 CPUtime=0.67 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 6140 0 0 0 64 3 0 0 20 0 19 0 60548611 19499626496 32885 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19042604 memory=12348 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 60548614 19499626496 32885 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19042604 memory=140374093866161 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 60548614 19499626496 32885 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19042604 memory=1768 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 60548632 19499626496 32885 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19042604 KiB
Current children cumulated memory: 131540 KiB

[startup+1.50027 s]
/proc/loadavg: 1.32 1.14 1.10 11/338 409638
/proc/meminfo: memFree=122529704/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=319416 CPUtime=2.57 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 14304 0 0 0 250 7 0 0 20 0 20 0 60548610 19566772224 79854 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 79854 5902 1 0 553879 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=12348 CPUtime=1.31 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 6212 0 0 0 128 3 0 0 20 0 20 0 60548611 19566772224 79854 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=1768 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 79854 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 79854 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 79854 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 319416 KiB

[startup+3.10632 s]
/proc/loadavg: 1.32 1.14 1.10 9/339 409639
/proc/meminfo: memFree=120458096/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=610076 CPUtime=4.49 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 15795 0 0 0 436 13 0 0 20 0 20 0 60548610 19566772224 152519 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 152519 5902 1 0 1084440 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=319416 CPUtime=2.66 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 6359 0 0 0 262 4 0 0 20 0 20 0 60548611 19566772224 152519 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 152519 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 152519 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 152519 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 610076 KiB

[startup+6.30026 s]
/proc/loadavg: 1.54 1.18 1.12 6/339 409641
/proc/meminfo: memFree=118227028/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=1317384 CPUtime=8.3 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 22469 0 0 0 802 28 0 0 20 0 20 0 60548610 19566772224 329346 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 329346 5902 1 0 1084511 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=0 CPUtime=5.35 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 7956 0 0 0 528 7 0 0 20 0 20 0 60548611 19566772224 329346 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 329346 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 329346 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=669488 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 329346 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1317384 KiB

[startup+12.7012 s]
/proc/loadavg: 1.73 1.23 1.14 7/338 409643
/proc/meminfo: memFree=112550108/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=2970824 CPUtime=15.78 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 24956 0 0 0 1518 60 0 0 20 0 20 0 60548610 19566772224 742706 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 742706 5902 1 0 2220864 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=2452492 CPUtime=10.51 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 8557 0 0 0 1036 15 0 0 20 0 20 0 60548611 19566772224 742706 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 742706 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 742706 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=132 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 742706 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 15.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970824 KiB

[startup+25.5012 s]
/proc/loadavg: 2.32 1.38 1.19 7/338 409646
/proc/meminfo: memFree=101429280/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=6261476 CPUtime=30.89 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 29061 0 0 0 2964 125 0 0 20 0 20 0 60548610 19566772224 1565369 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 1565369 5902 1 0 2594789 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=-9032643480372486844 CPUtime=20.85 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) S 409532 409538 407473 0 -1 1077936192 9747 0 0 0 2056 29 0 0 20 0 20 0 60548611 19566772224 1565369 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=11468 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 1565369 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=5575392 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 1565369 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=2164 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 1565369 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 30.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6261476 KiB

[startup+51.1064 s]
/proc/loadavg: 3.41 1.72 1.31 8/337 409649
/proc/meminfo: memFree=86005932/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=9409732 CPUtime=62.77 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 56455 0 0 0 6083 194 0 0 20 0 20 0 60548610 19566772224 2352433 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 2352433 5899 1 0 3132324 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=11468 CPUtime=42.47 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 12224 0 0 0 4197 50 0 0 20 0 20 0 60548611 19566772224 2352433 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548611 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0

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

Current children cumulated memory: 16304924 KiB

[startup+2322.3 s]
/proc/loadavg: 5.49 5.82 5.53 5/333 410964
/proc/meminfo: memFree=61387288/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=16305004 CPUtime=3143.34 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 869318 0 0 0 313771 563 0 0 20 0 20 0 60548610 19566772224 4076251 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 4076251 5971 1 0 4088873 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=76216 CPUtime=1907.22 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 282442 0 0 0 190583 139 0 0 20 0 20 0 60548611 19566772224 4076251 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=16304924 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076251 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=16305004 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 935 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076251 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=16305004 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 4076251 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3143.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16305004 KiB

[startup+2382.3 s]
/proc/loadavg: 5.64 5.83 5.55 6/333 410974
/proc/meminfo: memFree=60879092/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=16305028 CPUtime=3234.19 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 872208 0 0 0 322849 570 0 0 20 0 20 0 60548610 19566772224 4076257 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 4076257 5971 1 0 4088873 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=16305028 CPUtime=1953.36 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 284163 0 0 0 195196 140 0 0 20 0 20 0 60548611 19566772224 4076257 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=16305028 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076257 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=16305028 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 935 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076257 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=16305028 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 4076257 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3234.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16305028 KiB

[startup+2442.3 s]
/proc/loadavg: 5.96 5.89 5.59 6/333 410986
/proc/meminfo: memFree=60869212/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=16305064 CPUtime=3335.19 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 881505 0 0 0 332941 578 0 0 20 0 20 0 60548610 19566772224 4076266 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 4076266 5971 1 0 4088873 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=76216 CPUtime=1999.41 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 291542 0 0 0 199800 141 0 0 20 0 20 0 60548611 19566772224 4076266 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=-9032643480372486844 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076266 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=199682 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 935 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076266 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=16305056 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 4076266 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3335.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16305064 KiB

[startup+2502.3 s]
/proc/loadavg: 5.82 5.84 5.59 6/333 410997
/proc/meminfo: memFree=60867552/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=16305204 CPUtime=3439.13 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 908012 0 0 0 343323 590 0 0 20 0 20 0 60548610 19566772224 4076301 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 4076301 5971 1 0 4088873 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=-9032643480372486844 CPUtime=2051.51 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) S 409532 409538 407473 0 -1 1077936192 309226 0 0 0 205009 142 0 0 20 0 20 0 60548611 19566772224 4076301 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=5500 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076301 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=16305064 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 958 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076301 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=16305064 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 4076301 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3439.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16305204 KiB

[startup+2562.3 s]
/proc/loadavg: 5.68 5.78 5.58 7/330 411007
/proc/meminfo: memFree=60864756/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=16305076 CPUtime=3528.5 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 915355 0 0 0 352252 598 0 0 20 0 20 0 60548610 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 4076269 5971 1 0 4088873 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=16305076 CPUtime=2100.24 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 310874 0 0 0 209881 143 0 0 20 0 20 0 60548611 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=11468 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=40920 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 958 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=16305076 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3528.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16305076 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2612.5 s]
/proc/loadavg: 5.86 5.82 5.61 7/330 411016
/proc/meminfo: memFree=60863848/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19108176 memory=16305076 CPUtime=3600.06 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 916887 0 0 0 359403 603 0 0 20 0 20 0 60548610 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4777044 4076269 5971 1 0 4088873 0
[pid=409538/tid=409542] ppid=409532 vsize=19108176 memory=16305076 CPUtime=2136.64 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 311451 0 0 0 213521 143 0 0 20 0 20 0 60548611 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19108176 memory=16305076 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19108176 memory=16305076 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 958 0 0 0 0 0 0 0 20 0 20 0 60548614 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409632] ppid=409532 vsize=19108176 memory=16305076 CPUtime=0 cores=0,2
/proc/409538/task/409632/stat : 409632 (Timer-0) S 409532 409538 407473 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60548632 19566772224 4076269 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16305076 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.5 s, system=6.08518 s

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

[startup+2612.61 s]
/proc/loadavg: 5.86 5.82 5.61 7/330 411016
/proc/meminfo: memFree=60863848/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19307868 memory=16305820 CPUtime=3600.27 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 918547 0 0 0 359424 603 0 0 20 0 21 0 60548610 19771256832 4076455 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4826967 4076455 5972 1 0 4089807 0
[pid=409538/tid=409542] ppid=409532 vsize=19307868 memory=26588 CPUtime=2136.72 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 311507 0 0 0 213529 143 0 0 20 0 21 0 60548611 19771256832 4076455 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19307868 memory=3332 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60548614 19771256832 4076455 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19307868 memory=28236 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 958 0 0 0 0 0 0 0 20 0 21 0 60548614 19771256832 4076455 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16305820 KiB

[startup+2612.72 s]
/proc/loadavg: 5.86 5.82 5.61 7/330 411016
/proc/meminfo: memFree=60863848/131524600 swapFree=131056028/131071996
[pid=409538] ppid=409532 vsize=19307868 memory=16305928 CPUtime=3600.47 cores=0,2
/proc/409538/stat : 409538 (java) S 409532 409538 407473 0 -1 1077936128 918947 0 0 0 359444 603 0 0 20 0 21 0 60548610 19771256832 4076482 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
/proc/409538/statm: 4826967 4076482 5972 1 0 4089817 0
[pid=409538/tid=409542] ppid=409532 vsize=19307868 memory=16305076 CPUtime=2136.77 cores=0,2
/proc/409538/task/409542/stat : 409542 (java) R 409532 409538 407473 0 -1 4194368 311507 0 0 0 213534 143 0 0 20 0 21 0 60548611 19771256832 4076482 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60548662 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409565] ppid=409532 vsize=19307868 memory=16305076 CPUtime=0 cores=0,2
/proc/409538/task/409565/stat : 409565 (Finalizer) S 409532 409538 407473 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60548614 19771256832 4076482 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
[pid=409538/tid=409579] ppid=409532 vsize=19307868 memory=16305076 CPUtime=0 cores=0,2
/proc/409538/task/409579/stat : 409579 (Common-Cleaner) S 409532 409538 407473 0 -1 1077936192 958 0 0 0 0 0 0 0 20 0 21 0 60548614 19771256832 4076482 134679101440 94873998852096 94873998855792 140720449776304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94873998863608 94873998864400 94874011422720 140720449782790 140720449782880 140720449782880 140720449789896 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16305928 KiB

Child status: 143

Real time (s): 2612.8
CPU time (s): 3600.58
CPU user time (s): 3594.5
CPU system time (s): 6.08518
CPU usage (%): 137.806
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16305928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.5
system time used= 6.08518
maximum resident set size= 16306764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 919485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98449
involuntary context switches= 65413


# summary of solver processes directly reported to runsolver:
#   pid: 409538
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3594.5
#   total CPU system time (s): 6.08518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82382 second user time and 13.0804 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-29 10:03:21
IDJOB=4462167
IDBENCH=178879
IDSOLVER=3058
FILE ID=nodeC016/4462167-1722240201
RUNJOBID= nodeC016-1722240201-409500
SLURM_JOB_ID= 8248753
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_250_005.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462167-1722240201/watcher-4462167-1722240201 -o /tmp/evaluation-result-4462167-1722240201/solver-4462167-1722240201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722240201-409500 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4462167-1722240201.opb

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

MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=2049838780

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123696524 kB
MemAvailable:   129577752 kB
Buffers:          402660 kB
Cached:          6159980 kB
SwapCached:          284 kB
Active:          2497652 kB
Inactive:        4422696 kB
Active(anon):       2300 kB
Inactive(anon):   407804 kB
Active(file):    2495352 kB
Inactive(file):  4014892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              2400 kB
Writeback:             0 kB
AnonPages:        355800 kB
Mapped:           106988 kB
Shmem:             52400 kB
KReclaimable:     421264 kB
Slab:             546476 kB
SReclaimable:     421264 kB
SUnreclaim:       125212 kB
KernelStack:        3920 kB
PageTables:         9000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     728684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      377556 kB
DirectMap2M:    43436032 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-29 10:46:54