Trace number 4427589

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 Partial RoundingSAT 2024 2024-07-12SAT (TO)352 3600.26 3561.93

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
MD5SUMe9a18706671e83c85382be3233ac0f60
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	 - never skip resolution steps
0.14/0.15	 - Auto-division on coefficients is disabled
0.14/0.15	 - No postprocessing
0.14/0.15	 - Conflict is considered as is when resolving
0.14/0.15	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	 - Weaken first using unassigned literals
0.14/0.15	 - Bump strategy: ALWAYS_ONE
0.14/0.15	 - Bumper: ASSIGNED
0.14/0.15	--- Begin Solver configuration ---
0.14/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	Learn all clauses as in MiniSAT
0.14/0.15	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	No reason simplification
0.14/0.15	Armin Biere (Picosat) restarts strategy
0.14/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	timeout=2147483s
0.14/0.15	DB Simplification allowed=false
0.14/0.15	Listener: none
0.14/0.15	--- End Solver configuration ---
0.14/0.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	c  - never skip resolution steps
0.14/0.15	c  - Auto-division on coefficients is disabled
0.14/0.15	c  - No postprocessing
0.14/0.15	c  - Conflict is considered as is when resolving
0.14/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	c  - Weaken first using unassigned literals
0.14/0.15	c  - Bump strategy: ALWAYS_ONE
0.14/0.15	c  - Bumper: ASSIGNED
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	c No reason simplification
0.14/0.15	c Armin Biere (Picosat) restarts strategy
0.14/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4427589-1720998105.opb
0.14/0.15	c reading problem ... 
0.14/0.15	c  objective function found
1.66/0.93	c ... done. Wall clock time 0.77s.
1.66/0.93	c declared #vars     2700
1.66/0.93	c #constraints  43070
1.66/0.93	c constraints type 
1.66/0.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
1.66/0.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
1.66/0.93	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 21600
1.66/0.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
1.66/0.93	c 43070 constraints processed.
1.66/0.94	c objective function length is 900 literals
4.41/2.34	c SATISFIABLE
4.41/2.34	c OPTIMIZING...
4.41/2.34	c Got one! Elapsed wall clock time (in seconds):2.193
4.41/2.34	o 412
4.81/2.54	c Got one! Elapsed wall clock time (in seconds):2.387
4.81/2.54	o 406
7.17/3.72	c Got one! Elapsed wall clock time (in seconds):3.567
7.17/3.72	o 402
9.39/5.10	c Got one! Elapsed wall clock time (in seconds):4.947
9.39/5.10	o 390
12.03/7.53	c Got one! Elapsed wall clock time (in seconds):7.375
12.03/7.53	o 388
13.15/8.66	c cleaning 3695 clauses out of 7403 with flag 0/7403
19.02/14.35	c Got one! Elapsed wall clock time (in seconds):14.201
19.02/14.35	o 384
22.96/18.21	c cleaning 4647 clauses out of 9306 with flag 0/13001
24.05/19.28	c Got one! Elapsed wall clock time (in seconds):19.124
24.05/19.28	o 382
30.11/25.25	c Got one! Elapsed wall clock time (in seconds):25.094
30.11/25.25	o 378
34.27/29.37	c cleaning 5714 clauses out of 11501 with flag 0/19843
46.88/41.71	c cleaning 5885 clauses out of 11788 with flag 0/25844
50.84/45.54	c Got one! Elapsed wall clock time (in seconds):45.386
50.84/45.54	o 372
52.46/47.07	c cleaning 5314 clauses out of 11055 with flag 0/30996
62.70/57.30	c cleaning 5185 clauses out of 11741 with flag 0/36996
96.12/90.06	c cleaning 6133 clauses out of 13556 with flag 0/43996
126.87/120.38	c Got one! Elapsed wall clock time (in seconds):120.23
126.87/120.38	o 366
151.65/145.19	c cleaning 9279 clauses out of 18594 with flag 0/55167
183.91/177.09	c cleaning 5639 clauses out of 15316 with flag 0/61168
227.86/220.50	c cleaning 6205 clauses out of 16677 with flag 0/68168
232.21/224.74	c Got one! Elapsed wall clock time (in seconds):224.592
232.21/224.74	o 362
235.92/228.25	c cleaning 4338 clauses out of 15700 with flag 0/73396
258.47/250.61	c cleaning 5135 clauses out of 17362 with flag 0/79396
307.85/299.62	c cleaning 6214 clauses out of 19227 with flag 0/86396
364.44/355.32	c cleaning 7065 clauses out of 21013 with flag 0/94396
421.50/411.56	c cleaning 7951 clauses out of 22948 with flag 0/103396
526.79/515.82	c cleaning 8844 clauses out of 24998 with flag 0/113397
587.09/575.51	c cleaning 9350 clauses out of 27154 with flag 0/124397
632.57/620.20	c cleaning 10130 clauses out of 29803 with flag 0/136396
659.26/646.66	c Got one! Elapsed wall clock time (in seconds):646.506
659.26/646.66	o 360
660.35/647.77	c cleaning 5194 clauses out of 25646 with flag 0/142369
664.77/652.08	c cleaning 4677 clauses out of 26452 with flag 0/148369
671.78/658.85	c cleaning 5381 clauses out of 28775 with flag 0/155369
700.02/686.01	c cleaning 6513 clauses out of 31394 with flag 0/163369
814.13/799.84	c cleaning 7991 clauses out of 33881 with flag 0/172369
851.91/837.20	c cleaning 8395 clauses out of 35892 with flag 0/182371
954.57/939.39	c cleaning 9714 clauses out of 38495 with flag 0/193369
1030.62/1014.36	c cleaning 10499 clauses out of 40782 with flag 0/205370
1134.83/1117.15	c cleaning 11354 clauses out of 43282 with flag 0/218369
1329.94/1310.04	c cleaning 12443 clauses out of 45928 with flag 0/232369
1333.03/1313.11	c Got one! Elapsed wall clock time (in seconds):1312.955
1333.03/1313.11	o 356
1338.55/1318.54	c cleaning 4844 clauses out of 39402 with flag 0/238286
1344.85/1324.78	c cleaning 4903 clauses out of 40557 with flag 0/244285
1356.79/1336.43	c cleaning 5725 clauses out of 42654 with flag 0/251285
1368.94/1348.37	c cleaning 6535 clauses out of 44928 with flag 0/259284
1427.02/1404.76	c cleaning 7984 clauses out of 47393 with flag 0/268284
1497.51/1474.76	c cleaning 8755 clauses out of 49412 with flag 0/278287
1610.82/1587.42	c cleaning 9802 clauses out of 51654 with flag 0/289284
1737.10/1712.33	c cleaning 10660 clauses out of 53853 with flag 0/301285
1935.16/1908.74	c cleaning 11586 clauses out of 56192 with flag 0/314284
1965.47/1938.73	c Got one! Elapsed wall clock time (in seconds):1938.576
1965.47/1938.73	o 352
1978.45/1951.58	c cleaning 10143 clauses out of 56863 with flag 0/326541
1987.76/1960.73	c cleaning 4859 clauses out of 52718 with flag 0/332539
2003.58/1976.25	c cleaning 5664 clauses out of 54861 with flag 0/339541
2029.25/2001.73	c cleaning 6674 clauses out of 57196 with flag 0/347540
2227.57/2198.32	c cleaning 8149 clauses out of 59521 with flag 0/356539
2446.18/2416.02	c cleaning 8995 clauses out of 61373 with flag 0/366540
2702.47/2671.19	c cleaning 9994 clauses out of 63379 with flag 0/377541
3058.17/3025.35	c cleaning 10755 clauses out of 65385 with flag 0/389541
3240.09/3206.52	c cleaning 11601 clauses out of 67628 with flag 0/402539
3413.30/3376.71	c cleaning 12450 clauses out of 70028 with flag 0/416540
3600.03/3561.82	c starts		: 164
3600.03/3561.82	c conflicts		: 431130
3600.03/3561.82	c decisions		: 701317
3600.03/3561.82	c propagations		: 49855755
3600.03/3561.82	c inspects		: 2193157373
3600.03/3561.82	c shortcuts		: 0
3600.03/3561.82	c learnt literals	: 0
3600.03/3561.82	c learnt binary clauses	: 0
3600.03/3561.82	c learnt ternary clauses	: 1
3600.03/3561.82	c learnt constraints	: 431130
3600.03/3561.82	c ignored constraints	: 0
3600.03/3561.82	c root simplifications	: 0
3600.03/3561.82	c removed literals (reason simplification)	: 0
3600.03/3561.82	c reason swapping (by a shorter reason)	: 0
3600.03/3561.82	c Calls to reduceDB	: 47
3600.03/3561.82	c Number of update (reduction) of LBD	: 21131
3600.03/3561.82	c Imported unit clauses	: 0
3600.03/3561.82	c No decision after first conflict	: false
3600.03/3561.82	c number of reductions to clauses (during analyze)	: 0
3600.03/3561.82	c number of learned constraints concerned by reduction	: 0
3600.03/3561.82	c number of learning phase by resolution	: 0
3600.03/3561.82	c number of learning phase by cutting planes	: 0
3600.03/3561.82	c number of rounding to 1 operations	: 1634076
3600.03/3561.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3561.82	c number of reductions of the coefficients by power 2 	: 0
3600.03/3561.82	c number of right shift for reduction by power 2 	: 0
3600.03/3561.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3561.82	c number of ending skipping 	: 0
3600.03/3561.82	c number of internal skipping 	: 0
3600.03/3561.82	c number of derivation steps 	: 10519354
3600.03/3561.82	c number of skipped derivation steps 	: 0
3600.03/3561.82	c number of remaining unassigned 	: 72944
3600.03/3561.82	c number of remaining assigned 	: 208277444
3600.03/3561.82	c number of falsified literals weakened from reason	: 0
3600.03/3561.82	c number of falsified literals weakened from conflict	: 0
3600.03/3561.82	c time for arithmetic operations	: 21881036420
3600.03/3561.83	c minimum degree of deleted constraints	: 4
3600.03/3561.83	c maximum degree of deleted constraints	: 33162409
3600.03/3561.83	c number of deleted constraints	: 358962
3600.03/3561.83	c speed (assignments/second)	: 14000.971388549242
3600.03/3561.83	c non guided choices	: 5211
3600.03/3561.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 42963
3600.03/3561.90	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 9004
3600.03/3561.90	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 20201
3600.03/3561.90	s SATISFIABLE
3600.03/3561.90	c Found 14 solution(s)
3600.03/3561.90	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 
3600.03/3561.90	c objective function=352
3600.03/3561.90	c Total wall clock time (in seconds): 3561.748

Verifier Data 

OK	352

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59057 MiB free)
  memory of node 1: 64473 MiB (59157 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=776088, runsolver pid=776085

[startup+0.101176 s]*
/proc/loadavg: 4.74 4.32 4.15 8/331 776106
/proc/meminfo: memFree=120981504/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=18975048 memory=64328 CPUtime=0.14 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 7121 0 0 0 12 2 0 0 20 0 18 0 151979433 19430449152 16082 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4743762 16082 5542 1 0 549355 0
[pid=776088/tid=776090] ppid=776085 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 5697 0 0 0 7 1 0 0 20 0 18 0 151979433 19430449152 16082 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151979436 19430449152 16082 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=18975048 memory=14134437545800980 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151979436 19430449152 16082 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64328 KiB

[startup+0.206221 s]*
/proc/loadavg: 4.74 4.32 4.15 9/331 776106
/proc/meminfo: memFree=120847864/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=18975048 memory=77864 CPUtime=0.34 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 7641 0 0 0 32 2 0 0 20 0 18 0 151979433 19430449152 19466 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4743762 19466 5830 1 0 549697 0
[pid=776088/tid=776090] ppid=776085 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 5980 0 0 0 17 2 0 0 20 0 18 0 151979433 19430449152 19466 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=18975048 memory=15932 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151979436 19430449152 19466 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151979436 19430449152 19466 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77864 KiB

[startup+0.307538 s]*
/proc/loadavg: 4.74 4.32 4.15 9/332 776107
/proc/meminfo: memFree=120345416/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19041612 memory=164236 CPUtime=0.53 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 9382 0 0 0 48 5 0 0 20 0 19 0 151979433 19498610688 41059 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4760403 41059 5845 1 0 551091 0
[pid=776088/tid=776090] ppid=776085 vsize=19041612 memory=-8815068833700553404 CPUtime=0.27 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 1077936192 6031 0 0 0 23 4 0 0 20 0 19 0 151979433 19498610688 41059 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151979436 19498610688 41059 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151979436 19498610688 41059 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164236 KiB

[startup+0.707222 s]
/proc/loadavg: 4.74 4.32 4.15 7/332 776107
/proc/meminfo: memFree=119839320/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19041612 memory=634376 CPUtime=1.27 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 13981 0 0 0 113 14 0 0 20 0 19 0 151979433 19498610688 158594 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4760403 158594 5861 1 0 553236 0
[pid=776088/tid=776090] ppid=776085 vsize=19041612 memory=5500 CPUtime=0.61 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) S 776085 776088 772986 0 -1 1077936192 6266 0 0 0 49 12 0 0 20 0 19 0 151979433 19498610688 158594 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19041612 memory=12512 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151979436 19498610688 158594 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151979436 19498610688 158594 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 634376 KiB

[startup+1.50021 s]
/proc/loadavg: 4.74 4.32 4.15 7/333 776108
/proc/meminfo: memFree=119326388/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=883340 CPUtime=2.83 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 21609 0 0 0 263 20 0 0 20 0 20 0 151979433 19566772224 220835 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 220835 5899 1 0 1083525 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=12512 CPUtime=1.24 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 6498 0 0 0 108 16 0 0 20 0 20 0 151979433 19566772224 220835 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 220835 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 220835 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 220835 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 883340 KiB

[startup+3.10621 s]
/proc/loadavg: 4.74 4.32 4.15 6/333 776110
/proc/meminfo: memFree=118803080/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=1008012 CPUtime=6 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 23587 0 0 0 577 23 0 0 20 0 20 0 151979433 19566772224 252003 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 252003 5915 1 0 1775296 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=0 CPUtime=2.68 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 6549 0 0 0 251 17 0 0 20 0 20 0 151979433 19566772224 252003 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 252003 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 252003 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=12512 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 252003 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1008012 KiB

[startup+6.30122 s]
/proc/loadavg: 4.68 4.31 4.15 5/333 776110
/proc/meminfo: memFree=117566860/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=1786684 CPUtime=10.81 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 24176 0 0 0 1041 40 0 0 20 0 20 0 151979433 19566772224 446671 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 446671 5915 1 0 1775317 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=0 CPUtime=5.76 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 6914 0 0 0 544 32 0 0 20 0 20 0 151979433 19566772224 446671 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=12512 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 446671 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 446671 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=38924 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 446671 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 10.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1786684 KiB

[startup+12.7002 s]
/proc/loadavg: 4.62 4.31 4.15 5/333 776110
/proc/meminfo: memFree=116039064/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=3126640 CPUtime=17.39 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 27392 0 0 0 1671 68 0 0 20 0 20 0 151979433 19566772224 781660 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 781660 5915 1 0 1775342 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=644916 CPUtime=12.03 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) S 776085 776088 772986 0 -1 1077936192 8665 0 0 0 1145 58 0 0 20 0 20 0 151979433 19566772224 781660 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=3126492 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 781660 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=1051020 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 781660 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 781660 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 17.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3126640 KiB

[startup+25.5012 s]
/proc/loadavg: 4.56 4.31 4.15 5/333 776113
/proc/meminfo: memFree=114685792/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=3913592 CPUtime=30.41 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 31188 0 0 0 2956 85 0 0 20 0 20 0 151979433 19566772224 978398 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 978398 5947 1 0 1775387 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=3126492 CPUtime=24.44 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 10409 0 0 0 2371 73 0 0 20 0 20 0 151979433 19566772224 978398 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=3127144 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 978398 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 978398 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=6944656592455360604 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 978398 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 30.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3913592 KiB

[startup+51.1062 s]
/proc/loadavg: 4.44 4.30 4.15 5/334 776118
/proc/meminfo: memFree=114027984/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=4065368 CPUtime=56.53 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 38720 0 0 0 5564 89 0 0 20 0 20 0 151979433 19566772224 1016342 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1016342 5947 1 0 1775388 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=3921868 CPUtime=49.37 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 13080 0 0 0 4864 73 0 0 20 0 20 0 151979433 19566772224 1016342 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=3921868 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1016342 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1016342 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0

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

[startup+3222.3 s]
/proc/loadavg: 4.31 4.24 4.24 5/333 777325
/proc/meminfo: memFree=96605340/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053028 CPUtime=3256.1 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 433373 0 0 0 325312 298 0 0 20 0 20 0 151979433 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763257 5979 1 0 1776629 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=7052992 CPUtime=3155.41 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 213232 0 0 0 315416 125 0 0 20 0 20 0 151979433 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=7053024 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4251 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3256.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.22 4.23 5/333 777719
/proc/meminfo: memFree=96604216/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053028 CPUtime=3316.57 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 436413 0 0 0 331357 300 0 0 20 0 20 0 151979433 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763257 5979 1 0 1776629 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=7053028 CPUtime=3214.02 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 215648 0 0 0 321276 126 0 0 20 0 20 0 151979433 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=7053028 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=13868 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4332 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=7053028 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763257 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3316.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053028 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.24 4.24 5/332 777731
/proc/meminfo: memFree=96603736/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053216 CPUtime=3378.46 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 458399 0 0 0 337540 306 0 0 20 0 20 0 151979433 19566772224 1763304 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763304 5979 1 0 1776660 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=7053216 CPUtime=3273 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 220500 0 0 0 327173 127 0 0 20 0 20 0 151979433 19566772224 1763304 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=7053028 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763304 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=16052 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4384 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763304 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=7053216 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763304 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3378.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.24 4.24 5/332 777742
/proc/meminfo: memFree=96602748/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053220 CPUtime=3439.24 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 465316 0 0 0 343616 308 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763305 5979 1 0 1776660 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=16052 CPUtime=3331.76 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 223931 0 0 0 333048 128 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4460 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=-8815068833700553404 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3439.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.56 4.32 4.27 5/332 778054
/proc/meminfo: memFree=111958364/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053220 CPUtime=3499.52 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 471094 0 0 0 349640 312 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763305 5979 1 0 1776660 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=16052 CPUtime=3390.54 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 227274 0 0 0 338925 129 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=7053216 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4460 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3499.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.24 4.24 6/306 778097
/proc/meminfo: memFree=116430044/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053220 CPUtime=3560.27 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 477209 0 0 0 355713 314 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763305 5979 1 0 1776660 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=5500 CPUtime=3449.47 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 230579 0 0 0 344818 129 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4559 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3560.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3561.8 s]
/proc/loadavg: 3.70 4.12 4.20 4/310 778122
/proc/meminfo: memFree=116347440/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19108176 memory=7053220 CPUtime=3600.03 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 478878 0 0 0 359687 316 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4777044 1763305 5979 1 0 1776660 0
[pid=776088/tid=776090] ppid=776085 vsize=19108176 memory=-8815068833700553404 CPUtime=3488.53 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 231839 0 0 0 348723 130 0 0 20 0 20 0 151979433 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19108176 memory=2656 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19108176 memory=37404 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4640 0 0 0 0 0 0 0 20 0 20 0 151979436 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776108] ppid=776085 vsize=19108176 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776108/stat : 776108 (Timer-0) S 776085 776088 772986 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151979528 19566772224 1763305 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7053220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.07 s, system=3.19136 s

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

[startup+3561.9 s]
/proc/loadavg: 3.70 4.12 4.20 4/310 778122
/proc/meminfo: memFree=116347440/131524600 swapFree=131071996/131071996
[pid=776088] ppid=776085 vsize=19307868 memory=7053844 CPUtime=3600.22 cores=1,3
/proc/776088/stat : 776088 (java) S 776085 776088 772986 0 -1 1077936128 482420 0 0 0 359706 316 0 0 20 0 20 0 151979433 19771256832 1763461 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
/proc/776088/statm: 4826967 1763461 5978 1 0 1777598 0
[pid=776088/tid=776090] ppid=776085 vsize=19307868 memory=7053220 CPUtime=3488.63 cores=1,3
/proc/776088/task/776090/stat : 776090 (java) R 776085 776088 772986 0 -1 4194368 231913 0 0 0 348733 130 0 0 20 0 20 0 151979433 19771256832 1763461 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776099] ppid=776085 vsize=19307868 memory=7053220 CPUtime=0 cores=1,3
/proc/776088/task/776099/stat : 776099 (Finalizer) S 776085 776088 772986 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151979436 19771256832 1763461 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
[pid=776088/tid=776106] ppid=776085 vsize=19307868 memory=-8815068833700553404 CPUtime=0 cores=1,3
/proc/776088/task/776106/stat : 776106 (Common-Cleaner) S 776085 776088 772986 0 -1 1077936192 4640 0 0 0 0 0 0 0 20 0 20 0 151979436 19771256832 1763461 134679101440 94120589672448 94120589676144 140729980202672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94120589683960 94120589684752 94120622587904 140729980204016 140729980204129 140729980204129 140729980211144 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7053844 KiB

Child status: 143

Real time (s): 3561.93
CPU time (s): 3600.26
CPU user time (s): 3597.07
CPU system time (s): 3.19136
CPU usage (%): 101.076
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7053844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.07
system time used= 3.19136
maximum resident set size= 7054756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120651
involuntary context switches= 25422


# summary of solver processes directly reported to runsolver:
#   pid: 776088
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3597.07
#   total CPU system time (s): 3.19136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17726 second user time and 17.5444 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 01:01:57
IDJOB=4427589
IDBENCH=155380
IDSOLVER=3046
FILE ID=nodeC032/4427589-1720998105
RUNJOBID= nodeC032-1720994549-772998
SLURM_JOB_ID= 7505326
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427589-1720998105/watcher-4427589-1720998105 -o /tmp/evaluation-result-4427589-1720998105/solver-4427589-1720998105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720994549-772998 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427589-1720998105.opb

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

MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=716307364

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121054492 kB
MemAvailable:   122075908 kB
Buffers:          341976 kB
Cached:          1511328 kB
SwapCached:            0 kB
Active:           551576 kB
Inactive:        9303368 kB
Active(anon):       1556 kB
Inactive(anon):  8037796 kB
Active(file):     550020 kB
Inactive(file):  1265572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23180 kB
Writeback:            56 kB
AnonPages:       8001704 kB
Mapped:           123200 kB
Shmem:             37720 kB
KReclaimable:      91292 kB
Slab:             195148 kB
SReclaimable:      91292 kB
SUnreclaim:       103856 kB
KernelStack:        5056 kB
PageTables:        25808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13847524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7641088 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:      201428 kB
DirectMap2M:    14252032 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-15 02:01:19