Trace number 4514418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT 831.448 831.399

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
MD5SUMd72c9af15efabd1511f4b6b7bd2b83d4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.01726
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2256
Total number of constraints10862
Number of constraints which are clauses10857
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint47
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4514418-1751227543.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.52/0.31	c ... done. Wall clock time 0.185s.
0.52/0.31	c declared #vars     2256
0.52/0.31	c #constraints  10866
0.52/0.31	c constraints type 
0.52/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4370
0.52/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.52/0.32	c org.sat4j.specs.Constr$1 => 4
0.52/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6486
0.52/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.52/0.32	c 10866 constraints processed.
2.16/1.22	c cleaning 2502 clauses out of 5005 with flag 19563/5005
3.01/1.92	c cleaning 4249 clauses out of 8498 with flag 43312/11000
3.72/2.62	c cleaning 5625 clauses out of 11249 with flag 71173/18000
4.59/3.41	c cleaning 6808 clauses out of 13627 with flag 105667/26003
5.59/4.32	c cleaning 7902 clauses out of 15817 with flag 142315/35001
6.80/5.58	c cleaning 8957 clauses out of 17914 with flag 188549/45000
8.19/6.98	c cleaning 9976 clauses out of 19958 with flag 238063/56001
9.69/8.40	c cleaning 10992 clauses out of 21986 with flag 293218/68005
11.19/9.92	c cleaning 11995 clauses out of 23991 with flag 360077/81002
12.79/11.51	c cleaning 12998 clauses out of 26000 with flag 428415/95006
14.39/13.17	c cleaning 13995 clauses out of 27998 with flag 501131/110002
16.40/15.14	c cleaning 14998 clauses out of 30002 with flag 583902/126001
18.72/17.43	c cleaning 15994 clauses out of 32005 with flag 684448/143002
20.93/19.68	c cleaning 16999 clauses out of 34009 with flag 780172/161000
23.63/22.35	c cleaning 18002 clauses out of 36014 with flag 897768/180004
26.22/25.00	c cleaning 19003 clauses out of 38010 with flag 1029511/200002
29.14/27.88	c cleaning 20001 clauses out of 40005 with flag 1165562/221000
32.34/31.08	c cleaning 20993 clauses out of 42005 with flag 1322493/243001
35.82/34.57	c cleaning 22006 clauses out of 44011 with flag 1483886/266000
39.21/37.91	c cleaning 22998 clauses out of 46006 with flag 1610662/290001
42.80/41.50	c cleaning 23996 clauses out of 48007 with flag 1742845/315000
46.64/45.36	c cleaning 25004 clauses out of 50016 with flag 1894636/341005
50.34/49.07	c cleaning 26000 clauses out of 52008 with flag 2049474/368001
55.02/53.73	c cleaning 26999 clauses out of 54008 with flag 2238959/396001
59.32/58.05	c cleaning 28001 clauses out of 56008 with flag 2433358/425000
64.35/63.10	c cleaning 28998 clauses out of 58007 with flag 2646679/455000
69.23/68.00	c cleaning 30003 clauses out of 60009 with flag 2860575/486000
75.02/73.78	c cleaning 31003 clauses out of 62014 with flag 3079835/518008
80.90/79.68	c cleaning 31999 clauses out of 64004 with flag 3332835/551001
87.04/85.72	c cleaning 32995 clauses out of 66006 with flag 3562981/585002
94.12/92.83	c cleaning 34005 clauses out of 68011 with flag 3852329/620002
100.60/99.37	c cleaning 34998 clauses out of 70008 with flag 4098213/656004
107.72/106.47	c cleaning 35998 clauses out of 72007 with flag 4383749/693001
115.04/113.75	c cleaning 36996 clauses out of 74010 with flag 4685031/731002
122.61/121.34	c cleaning 38001 clauses out of 76012 with flag 5017513/770000
130.40/129.13	c cleaning 39003 clauses out of 78012 with flag 5334802/810001
138.58/137.31	c cleaning 40000 clauses out of 80008 with flag 5629990/851000
146.71/145.42	c cleaning 41001 clauses out of 82009 with flag 5951083/893001
156.29/155.10	c cleaning 41999 clauses out of 84008 with flag 6342737/936001
164.66/163.44	c cleaning 42999 clauses out of 86008 with flag 6600967/980000
173.99/172.76	c cleaning 44005 clauses out of 88011 with flag 6877392/1025002
184.86/183.61	c cleaning 44996 clauses out of 90005 with flag 7192487/1071001
196.53/195.31	c cleaning 46006 clauses out of 92011 with flag 7555362/1118003
208.05/206.84	c cleaning 47002 clauses out of 94009 with flag 7906941/1166007
218.52/217.32	c cleaning 48001 clauses out of 96001 with flag 8309384/1215001
229.99/228.87	c cleaning 48997 clauses out of 98003 with flag 8640383/1265004
241.81/240.68	c cleaning 49999 clauses out of 100005 with flag 8992200/1316003
253.19/252.08	c cleaning 51001 clauses out of 102005 with flag 9342790/1368002
267.25/266.13	c cleaning 51998 clauses out of 104005 with flag 9756911/1421003
279.86/278.74	c cleaning 52992 clauses out of 106004 with flag 10204897/1475000
291.33/290.24	c cleaning 54008 clauses out of 108016 with flag 10583866/1530004
306.70/305.65	c cleaning 54999 clauses out of 110004 with flag 10993020/1586000
321.21/320.12	c cleaning 55996 clauses out of 112005 with flag 11451414/1643000
337.08/336.02	c cleaning 57000 clauses out of 114010 with flag 11993037/1701001
350.04/349.00	c cleaning 58004 clauses out of 116014 with flag 12439845/1760005
366.93/365.95	c cleaning 59002 clauses out of 118009 with flag 12945248/1820004
384.79/383.82	c cleaning 59995 clauses out of 120005 with flag 13562809/1881002
402.75/401.84	c cleaning 60997 clauses out of 122008 with flag 14213990/1943000
419.25/418.38	c cleaning 62005 clauses out of 124014 with flag 14689201/2006003
435.21/434.38	c cleaning 63000 clauses out of 126006 with flag 15174620/2070000
453.67/452.86	c cleaning 63996 clauses out of 128006 with flag 15702267/2135000
474.72/473.94	c cleaning 65003 clauses out of 130010 with flag 16291324/2201000
494.42/493.64	c cleaning 66002 clauses out of 132007 with flag 16898865/2268000
515.87/515.18	c cleaning 67003 clauses out of 134007 with flag 17517218/2336002
535.50/534.87	c cleaning 68001 clauses out of 136002 with flag 18077975/2405000
556.05/555.45	c cleaning 68993 clauses out of 138001 with flag 18639269/2475000
576.68/576.16	c cleaning 69998 clauses out of 140009 with flag 19193825/2546001
598.21/597.70	c cleaning 70998 clauses out of 142011 with flag 19776897/2618001
619.82/619.34	c cleaning 72004 clauses out of 144013 with flag 20425530/2691001
645.94/645.58	c cleaning 72995 clauses out of 146008 with flag 21116081/2765000
669.48/669.11	c cleaning 74004 clauses out of 148013 with flag 21863209/2840000
691.32/691.02	c cleaning 75004 clauses out of 150010 with flag 22431107/2916001
713.35/713.18	c cleaning 75998 clauses out of 152005 with flag 22963698/2993000
735.65/735.43	c cleaning 77000 clauses out of 154011 with flag 23467588/3071004
761.99/761.89	c cleaning 77995 clauses out of 156007 with flag 24032054/3150000
785.03/784.97	c cleaning 79002 clauses out of 158012 with flag 24684111/3230000
807.87/807.89	c cleaning 80003 clauses out of 160018 with flag 25302942/3311008
831.31/831.30	c SATISFIABLE
831.31/831.31	c starts		: 3347
831.31/831.31	c conflicts		: 3390561
831.31/831.31	c decisions		: 5563170
831.31/831.31	c propagations		: 609118375
831.31/831.31	c inspects		: 11114660338
831.31/831.31	c shortcuts		: 0
831.31/831.32	c learnt literals	: 0
831.31/831.32	c learnt binary clauses	: 0
831.31/831.32	c learnt ternary clauses	: 556
831.31/831.32	c learnt constraints	: 3390561
831.31/831.32	c ignored constraints	: 0
831.31/831.32	c root simplifications	: 0
831.31/831.32	c removed literals (reason simplification)	: 103470790
831.31/831.32	c reason swapping (by a shorter reason)	: 0
831.31/831.32	c Calls to reduceDB	: 77
831.31/831.32	c Number of update (reduction) of LBD	: 862357
831.31/831.32	c Imported unit clauses	: 0
831.31/831.32	c No decision after first conflict	: false
831.31/831.32	c number of reductions to clauses (during analyze)	: 0
831.31/831.32	c number of learned constraints concerned by reduction	: 0
831.31/831.32	c number of learning phase by resolution	: 0
831.31/831.32	c number of learning phase by cutting planes	: 0
831.31/831.32	c number of rounding to 1 operations	: 0
831.31/831.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
831.31/831.32	c number of reductions of the coefficients by power 2 	: 0
831.31/831.32	c number of right shift for reduction by power 2 	: 0
831.31/831.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
831.31/831.32	c number of ending skipping 	: 0
831.31/831.32	c number of internal skipping 	: 0
831.31/831.32	c number of derivation steps 	: 0
831.31/831.32	c number of skipped derivation steps 	: 0
831.31/831.32	c number of remaining unassigned 	: 0
831.31/831.32	c number of remaining assigned 	: 0
831.31/831.32	c number of falsified literals weakened from reason	: 0
831.31/831.32	c number of falsified literals weakened from conflict	: 0
831.31/831.32	c time for arithmetic operations	: 0
831.31/831.32	c minimum degree of deleted constraints	: null
831.31/831.32	c maximum degree of deleted constraints	: null
831.31/831.32	c number of deleted constraints	: 0
831.31/831.32	c speed (assignments/second)	: 732997.962685741
831.31/831.32	c non guided choices	: 1390
831.31/831.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 159568
831.31/831.37	s SATISFIABLE
831.31/831.37	c Found 1 solution(s)
831.31/831.38	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 
831.31/831.38	c Total wall clock time (in seconds): 831.25

Verifier Data 

OK	0

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: 63665 MiB (61462 MiB free)
  memory of node 1: 64507 MiB (60268 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514418-1751227543/watcher-4514418-1751227543 -o /tmp/evaluation-result-4514418-1751227543/solver-4514418-1751227543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28439 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514418-1751227543.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29707, runsolver pid=29704
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.30 4.21 4.14 5/337 29725
/proc/meminfo: memFree=124618848/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=18930384 memory=57868 CPUtime=0.12 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 6581 0 0 0 11 1 0 0 20 0 18 0 38432077 19384713216 14467 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4732596 14467 5349 1 0 547620 0
[pid=29707/tid=29709] ppid=29704 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 5075 0 0 0 7 1 0 0 20 0 18 0 38432078 19384713216 14467 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38432080 19384713216 14467 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=18930384 memory=60684515966010 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38432081 19384713216 14467 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57868 KiB

[startup+0.205756 s]*
/proc/loadavg: 4.30 4.21 4.14 7/337 29725
/proc/meminfo: memFree=124608136/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=18930384 memory=72912 CPUtime=0.33 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 7195 0 0 0 31 2 0 0 20 0 18 0 38432077 19384713216 18228 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4732596 18228 5445 1 0 548094 0
[pid=29707/tid=29709] ppid=29704 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 5279 0 0 0 17 1 0 0 20 0 18 0 38432078 19384713216 18228 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38432080 19384713216 18228 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38432081 19384713216 18228 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72912 KiB

[startup+0.305651 s]*
/proc/loadavg: 4.30 4.21 4.14 6/337 29725
/proc/meminfo: memFree=124567996/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=18930384 memory=113332 CPUtime=0.52 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 8541 0 0 0 49 3 0 0 20 0 18 0 38432077 19384713216 28333 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4732596 28333 5445 1 0 548894 0
[pid=29707/tid=29709] ppid=29704 vsize=18930384 memory=-6000919489970135917 CPUtime=0.28 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 5308 0 0 0 26 2 0 0 20 0 18 0 38432078 19384713216 28333 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38432080 19384713216 28333 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38432081 19384713216 28333 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113332 KiB

[startup+0.700244 s]
/proc/loadavg: 4.30 4.21 4.14 6/338 29726
/proc/meminfo: memFree=124556024/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=18996948 memory=123360 CPUtime=1.28 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 10568 0 0 0 124 4 0 0 20 0 19 0 38432077 19452874752 30840 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4749237 30840 5445 1 0 550533 0
[pid=29707/tid=29709] ppid=29704 vsize=18996948 memory=17408 CPUtime=0.63 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 5346 0 0 0 61 2 0 0 20 0 19 0 38432078 19452874752 30840 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38432080 19452874752 30840 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38432081 19452874752 30840 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38432110 19452874752 30840 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123360 KiB

[startup+1.50023 s]
/proc/loadavg: 4.30 4.21 4.14 5/338 29726
/proc/meminfo: memFree=124548904/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=18996948 memory=133208 CPUtime=2.58 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 15220 0 0 0 253 5 0 0 20 0 19 0 38432077 19452874752 33302 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4749237 33302 5445 1 0 550790 0
[pid=29707/tid=29709] ppid=29704 vsize=18996948 memory=0 CPUtime=1.42 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 6407 0 0 0 139 3 0 0 20 0 19 0 38432078 19452874752 33302 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38432080 19452874752 33302 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38432081 19452874752 33302 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38432110 19452874752 33302 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133208 KiB

[startup+3.10551 s]
/proc/loadavg: 4.35 4.22 4.15 5/338 29726
/proc/meminfo: memFree=124531288/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=18996948 memory=145572 CPUtime=4.23 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 15920 0 0 0 418 5 0 0 20 0 19 0 38432077 19452874752 36393 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4749237 36393 5445 1 0 550801 0
[pid=29707/tid=29709] ppid=29704 vsize=18996948 memory=10752 CPUtime=3.01 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 6725 0 0 0 298 3 0 0 20 0 19 0 38432078 19452874752 36393 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=18996948 memory=-6000919489970135917 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38432080 19452874752 36393 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38432081 19452874752 36393 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38432110 19452874752 36393 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145572 KiB

[startup+6.30021 s]
/proc/loadavg: 4.35 4.22 4.15 5/339 29727
/proc/meminfo: memFree=124497512/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=173068 CPUtime=7.6 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 21425 0 0 0 754 6 0 0 20 0 20 0 38432077 19521036288 43267 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 43267 5477 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=0 CPUtime=6.18 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 7316 0 0 0 615 3 0 0 20 0 20 0 38432078 19521036288 43267 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 43267 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 43267 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=135256 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 43267 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173068 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.21 4.15 5/340 29729
/proc/meminfo: memFree=124497512/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=173196 CPUtime=13.99 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 23186 0 0 0 1393 6 0 0 20 0 20 0 38432077 19521036288 43299 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 43299 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=135256 CPUtime=12.56 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 7963 0 0 0 1253 3 0 0 20 0 20 0 38432078 19521036288 43299 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=173196 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 43299 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 43299 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 43299 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173196 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.21 4.14 5/340 29729
/proc/meminfo: memFree=124494152/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=180388 CPUtime=26.82 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 26524 0 0 0 2675 7 0 0 20 0 20 0 38432077 19521036288 45097 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 45097 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=-6000919489970135917 CPUtime=25.32 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 8439 0 0 0 2529 3 0 0 20 0 20 0 38432078 19521036288 45097 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=180388 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 45097 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 45097 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 45097 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180388 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.19 4.14 5/340 29729
/proc/meminfo: memFree=124310352/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=264648 CPUtime=52.43 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 27380 0 0 0 5233 10 0 0 20 0 20 0 38432077 19521036288 66162 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 66162 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=209248 CPUtime=50.78 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 8474 0 0 0 5075 3 0 0 20 0 20 0 38432078 19521036288 66162 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 66162 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=209248 CPUtime=0 cores=0,2

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

/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 284848 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 702.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1139392 KiB

[startup+762.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/338 30091
/proc/meminfo: memFree=126532944/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=762.49 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 35813 0 0 0 76204 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=14384 CPUtime=759.2 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12195 0 0 0 75911 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=1211072 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=1211072 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 762.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+822.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414128/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=822.33 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 35989 0 0 0 82188 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=3328 CPUtime=819.04 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12327 0 0 0 81895 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=1211072 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 822.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+831.399 s]
# the end of solver process 29707 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=830.98 s, system=0.467604 s

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

[startup+825.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414260/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=825.62 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 35994 0 0 0 82517 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=14384 CPUtime=822.33 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12332 0 0 0 82224 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=1211072 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=5168 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 825.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+828.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414260/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=828.82 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 35999 0 0 0 82837 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=17408 CPUtime=825.52 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12337 0 0 0 82543 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 828.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+830.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414468/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=830.41 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 36000 0 0 0 82996 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=17408 CPUtime=827.11 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12338 0 0 0 82702 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=-6000919489970135917 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 830.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+830.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414468/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=830.81 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 36002 0 0 0 83036 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=4764 CPUtime=827.51 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12338 0 0 0 82742 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=-6000919489970135917 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=46464 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 830.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+831.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414468/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=831.21 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 36002 0 0 0 83076 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=139874753945688 CPUtime=827.91 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12338 0 0 0 82782 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=1211072 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 831.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

[startup+831.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 30096
/proc/meminfo: memFree=126414468/131249996 swapFree=33010684/33010684
[pid=29707] ppid=29704 vsize=19063512 memory=1211072 CPUtime=831.31 cores=0,2
/proc/29707/stat : 29707 (java) S 29704 29707 28429 0 -1 4194304 36002 0 0 0 83086 45 0 0 20 0 20 0 38432077 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
/proc/29707/statm: 4765878 302768 5509 1 0 551318 0
[pid=29707/tid=29709] ppid=29704 vsize=19063512 memory=3328 CPUtime=828.01 cores=0,2
/proc/29707/task/29709/stat : 29709 (java) R 29704 29707 28429 0 -1 4194368 12338 0 0 0 82792 9 0 0 20 0 20 0 38432078 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29718] ppid=29704 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/29707/task/29718/stat : 29718 (Finalizer) S 29704 29707 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38432080 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29725] ppid=29704 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/29707/task/29725/stat : 29725 (Common-Cleaner) S 29704 29707 28429 0 -1 4194368 171 0 0 0 0 0 0 0 20 0 20 0 38432081 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
[pid=29707/tid=29726] ppid=29704 vsize=19063512 memory=1211072 CPUtime=0 cores=0,2
/proc/29707/task/29726/stat : 29726 (Timer-0) S 29704 29707 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38432110 19521036288 302768 18446744073709551615 94847000387584 94847000391280 140724335911744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94847000399096 94847000399888 94847029821440 140724335913345 140724335913446 140724335913446 140724335919048 0
Current children cumulated CPU time: 831.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1211072 KiB

Child status: 10

Real time (s): 831.399
CPU time (s): 831.448
CPU user time (s): 830.98
CPU system time (s): 0.467604
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1211072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 830.98
system time used= 0.467604
maximum resident set size= 1211968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26808
involuntary context switches= 2923


# summary of solver processes directly reported to runsolver:
#   pid: 29707
#   total CPU time (s): 831.448
#   total CPU user time (s): 830.98
#   total CPU system time (s): 0.467604

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67471 second user time and 4.00534 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 22:05:43
IDJOB=4514418
IDBENCH=162681
IDSOLVER=3363
FILE ID=nodeC022/4514418-1751227543
RUNJOBID= nodeC022-1751219267-28439
SLURM_JOB_ID= 9587670
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_15.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514418-1751227543/watcher-4514418-1751227543 -o /tmp/evaluation-result-4514418-1751227543/solver-4514418-1751227543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28439 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4514418-1751227543.opb

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

MD5SUM BENCH= d72c9af15efabd1511f4b6b7bd2b83d4
RANDOM SEED=345527499

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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.716
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.718
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3542.180
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3604.844
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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.722
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.729
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3843.432
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124653060 kB
MemAvailable:   125313416 kB
Buffers:            3280 kB
Cached:          1464872 kB
SwapCached:            0 kB
Active:          4800972 kB
Inactive:        1216508 kB
Active(anon):    4567392 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1216508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1748 kB
Writeback:             0 kB
AnonPages:       4552408 kB
Mapped:           122340 kB
Shmem:             18060 kB
KReclaimable:      98612 kB
Slab:             185808 kB
SReclaimable:      98612 kB
SUnreclaim:        87196 kB
KernelStack:        5164 kB
PageTables:        12800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7062720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4325376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC022 at 2025-06-29 22:19:35