Trace number 4424850

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.67 3559.75

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MD5SUM624a339f0217b19ce83ed2965f11f6c0
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.02071
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints16
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 916
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 915
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
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

Quality of the solution as a function of time


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

Solver Data 

0.13/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.12	c See www.sat4j.org for details.
0.13/0.13	c version CUSTOM.v20240707
0.13/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.14	c java.vm.version	22.0.1+8-16
0.13/0.14	c java.vm.vendor	Oracle Corporation
0.13/0.14	c sun.arch.data.model	64
0.13/0.14	c java.version		22.0.1
0.13/0.14	c os.name		Linux
0.13/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.14	c os.arch		amd64
0.13/0.14	c Free memory 		2113181440
0.13/0.14	c Max memory 		16282288128
0.13/0.14	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.13/0.21	--- Begin Solver configuration ---
0.13/0.21	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.21	Learn all clauses as in MiniSAT
0.13/0.21	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.21	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.21	No reason simplification
0.13/0.21	Glucose 2.1 dynamic restart strategy
0.13/0.21	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.21	timeout=2147483s
0.13/0.21	DB Simplification allowed=false
0.13/0.21	Listener: none
0.13/0.21	--- End Solver configuration ---
0.30/0.23	c Pseudo Boolean Optimization by upper bound
0.30/0.23	c --- Begin Solver configuration ---
0.30/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.23	c Learn all clauses as in MiniSAT
0.30/0.23	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.23	c No reason simplification
0.30/0.23	c Glucose 2.1 dynamic restart strategy
0.30/0.23	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.30/0.23	c timeout=2147483s
0.30/0.23	c DB Simplification allowed=false
0.30/0.23	c Listener: none
0.30/0.23	c --- End Solver configuration ---
0.30/0.23	c solving HOME/instance-4424850-1720881336.wbo
0.30/0.23	c reading problem ... 
0.30/0.29	c ... done. Wall clock time 0.059s.
0.30/0.29	c declared #vars     930
0.30/0.29	c internal #vars     946
0.30/0.29	c #constraints  62
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
0.30/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.30/0.29	c org.sat4j.specs.Constr$1 => 1
0.30/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31
0.30/0.29	c 62 constraints processed.
0.30/0.31	c objective function length is 16 literals
1.45/0.98	c SATISFIABLE
1.45/0.98	c OPTIMIZING...
1.45/0.98	c Got one! Elapsed wall clock time (in seconds):0.743
1.45/0.98	o 51
1.59/1.02	c Got one! Elapsed wall clock time (in seconds):0.78
1.59/1.02	o 15
1.97/1.28	c cleaning 3110 clauses out of 6228 with flag 11318/6228
2.17/1.30	c Got one! Elapsed wall clock time (in seconds):1.061
2.17/1.30	o 14
2.36/1.45	c Got one! Elapsed wall clock time (in seconds):1.221
2.36/1.45	o 1
2.60/1.69	c cleaning 4419 clauses out of 8962 with flag 18813/12072
4.01/2.80	c cleaning 5271 clauses out of 10543 with flag 83113/18072
7.02/5.42	c cleaning 6130 clauses out of 12271 with flag 160878/25071
10.42/8.65	c cleaning 7072 clauses out of 14146 with flag 256291/33076
13.21/11.36	c cleaning 8031 clauses out of 16071 with flag 348516/42073
16.21/14.14	c cleaning 9017 clauses out of 18038 with flag 440323/52071
19.97/17.77	c cleaning 10007 clauses out of 20021 with flag 517078/63071
26.53/23.97	c cleaning 11006 clauses out of 22015 with flag 601367/75072
32.26/29.46	c cleaning 11996 clauses out of 24011 with flag 696397/88074
39.39/36.36	c cleaning 13003 clauses out of 26016 with flag 821208/102075
48.41/45.17	c cleaning 14001 clauses out of 28012 with flag 957832/117074
57.08/53.53	c cleaning 14997 clauses out of 30008 with flag 1080153/133071
68.10/64.01	c cleaning 15992 clauses out of 32013 with flag 1245070/150073
84.75/79.70	c cleaning 17004 clauses out of 34021 with flag 1407039/168073
104.93/99.55	c cleaning 18004 clauses out of 36020 with flag 1596156/187076
121.02/115.47	c cleaning 18997 clauses out of 38011 with flag 1817039/207071
137.57/131.73	c cleaning 20000 clauses out of 40016 with flag 2025502/228073
154.75/148.57	c cleaning 21003 clauses out of 42015 with flag 2233182/250072
175.08/168.40	c cleaning 21995 clauses out of 44011 with flag 2449331/273071
196.25/188.42	c cleaning 23000 clauses out of 46016 with flag 2664801/297071
219.98/211.74	c cleaning 24003 clauses out of 48017 with flag 2891055/322072
245.24/236.67	c cleaning 25002 clauses out of 50013 with flag 3182827/348071
273.07/264.06	c cleaning 25997 clauses out of 52011 with flag 3498630/375071
299.46/290.08	c cleaning 27000 clauses out of 54014 with flag 3836337/403071
332.00/321.34	c cleaning 27998 clauses out of 56014 with flag 4159527/432071
364.02/353.24	c cleaning 28999 clauses out of 58016 with flag 4463215/462071
395.43/384.33	c cleaning 30001 clauses out of 60017 with flag 4791231/493071
431.07/419.85	c cleaning 31003 clauses out of 62018 with flag 5130951/525073
465.06/453.37	c cleaning 32003 clauses out of 64014 with flag 5468774/558072
506.26/493.91	c cleaning 32999 clauses out of 66012 with flag 5789690/592073
548.06/534.55	c cleaning 34002 clauses out of 68013 with flag 6137315/627073
601.44/587.36	c cleaning 34999 clauses out of 70009 with flag 6505274/663071
646.30/631.71	c cleaning 36001 clauses out of 72010 with flag 6891194/700071
694.37/679.07	c cleaning 36997 clauses out of 74010 with flag 7320366/738072
751.36/735.42	c cleaning 37998 clauses out of 76013 with flag 7769409/777072
811.14/794.56	c cleaning 39002 clauses out of 78014 with flag 8237422/817071
873.97/856.19	c cleaning 40001 clauses out of 80014 with flag 8689689/858073
921.94/903.66	c cleaning 41000 clauses out of 82012 with flag 9169031/900072
978.20/959.44	c cleaning 42001 clauses out of 84014 with flag 9614138/943074
1037.44/1018.18	c cleaning 43002 clauses out of 86011 with flag 10069778/987072
1122.40/1102.49	c cleaning 43997 clauses out of 88008 with flag 10488647/1032071
1218.86/1198.47	c cleaning 45000 clauses out of 90011 with flag 10925517/1078071
1331.24/1310.71	c cleaning 45996 clauses out of 92011 with flag 11371102/1125071
1434.27/1413.79	c cleaning 47002 clauses out of 94018 with flag 11908548/1173074
1544.68/1522.48	c cleaning 48000 clauses out of 96015 with flag 12360309/1222073
1638.03/1615.13	c cleaning 48999 clauses out of 98014 with flag 12913474/1272072
1738.94/1715.44	c cleaning 49999 clauses out of 100015 with flag 13453489/1323072
1837.01/1812.72	c cleaning 50993 clauses out of 102015 with flag 14110986/1375071
1932.94/1907.64	c cleaning 52006 clauses out of 104024 with flag 14730464/1428073
2019.74/1993.76	c cleaning 52998 clauses out of 106016 with flag 15332686/1482071
2095.73/2069.04	c cleaning 53998 clauses out of 108018 with flag 15963177/1537071
2172.12/2144.71	c cleaning 54999 clauses out of 110020 with flag 16626747/1593071
2261.10/2233.04	c cleaning 56002 clauses out of 112021 with flag 17356422/1650071
2339.02/2309.56	c cleaning 57003 clauses out of 114019 with flag 17928861/1708071
2433.11/2403.35	c cleaning 57993 clauses out of 116016 with flag 18540305/1767071
2531.75/2501.72	c cleaning 59005 clauses out of 118023 with flag 19099186/1827071
2627.03/2596.66	c cleaning 59996 clauses out of 120018 with flag 19722442/1888071
2718.13/2686.85	c cleaning 61002 clauses out of 122023 with flag 20333429/1950072
2802.33/2770.24	c cleaning 62002 clauses out of 124021 with flag 20969786/2013072
2898.18/2865.29	c cleaning 63004 clauses out of 126021 with flag 21622555/2077074
2992.70/2958.82	c cleaning 64000 clauses out of 128014 with flag 22245883/2142071
3102.60/3067.95	c cleaning 64995 clauses out of 130014 with flag 22885259/2208071
3203.85/3168.21	c cleaning 65998 clauses out of 132021 with flag 23549861/2275073
3302.75/3264.05	c cleaning 67003 clauses out of 134021 with flag 24187805/2343071
3420.64/3381.50	c cleaning 67998 clauses out of 136018 with flag 24793525/2412071
3550.73/3510.50	c cleaning 69000 clauses out of 138020 with flag 25396991/2482071
3600.03/3559.42	c starts		: 687
3600.03/3559.44	c conflicts		: 2522312
3600.03/3559.45	c decisions		: 3200852
3600.03/3559.45	c propagations		: 39660764
3600.03/3559.45	c inspects		: 11182893018
3600.03/3559.45	c shortcuts		: 0
3600.03/3559.45	c learnt literals	: 0
3600.03/3559.45	c learnt binary clauses	: 0
3600.03/3559.45	c learnt ternary clauses	: 0
3600.03/3559.47	c learnt constraints	: 2522312
3600.03/3559.47	c ignored constraints	: 0
3600.03/3559.47	c root simplifications	: 0
3600.03/3559.47	c removed literals (reason simplification)	: 0
3600.03/3559.47	c reason swapping (by a shorter reason)	: 0
3600.03/3559.47	c Calls to reduceDB	: 67
3600.03/3559.47	c Number of update (reduction) of LBD	: 1406944
3600.03/3559.47	c Imported unit clauses	: 0
3600.03/3559.47	c No decision after first conflict	: false
3600.03/3559.47	c number of reductions to clauses (during analyze)	: 0
3600.03/3559.47	c number of learned constraints concerned by reduction	: 0
3600.03/3559.47	c number of learning phase by resolution	: 0
3600.03/3559.47	c number of learning phase by cutting planes	: 0
3600.03/3559.47	c number of rounding to 1 operations	: 0
3600.03/3559.47	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3559.47	c number of reductions of the coefficients by power 2 	: 0
3600.03/3559.47	c number of right shift for reduction by power 2 	: 0
3600.03/3559.47	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3559.47	c number of ending skipping 	: 0
3600.03/3559.47	c number of internal skipping 	: 0
3600.03/3559.47	c number of derivation steps 	: 0
3600.03/3559.47	c number of skipped derivation steps 	: 0
3600.03/3559.47	c number of remaining unassigned 	: 0
3600.03/3559.47	c number of remaining assigned 	: 0
3600.03/3559.47	c number of falsified literals weakened from reason	: 0
3600.03/3559.47	c number of falsified literals weakened from conflict	: 0
3600.03/3559.47	c time for arithmetic operations	: 0
3600.03/3559.49	c minimum degree of deleted constraints	: null
3600.03/3559.49	c maximum degree of deleted constraints	: null
3600.03/3559.49	c number of deleted constraints	: 0
3600.03/3559.49	c speed (assignments/second)	: 11143.268314392577
3600.24/3559.50	c non guided choices	: 3378
3600.43/3559.66	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 109261
3600.43/3559.66	s SATISFIABLE
3600.43/3559.66	c Found 4 solution(s)
3600.43/3559.69	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 
3600.43/3559.69	c objective function=1
3600.43/3559.69	c Total wall clock time (in seconds): 3559.45

Verifier Data 

OK	1

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: 64059 MiB (51360 MiB free)
  memory of node 1: 64510 MiB (57388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424850-1720881336/watcher-4424850-1720881336 -o /tmp/evaluation-result-4424850-1720881336/solver-4424850-1720881336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699781 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424850-1720881336.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=703063, runsolver pid=703060

[startup+0.109366 s]*
/proc/loadavg: 4.10 4.27 4.24 5/316 703081
/proc/meminfo: memFree=111323464/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=18975048 memory=56424 CPUtime=0.13 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 6617 0 0 0 10 3 0 0 20 0 18 0 140290265 19430449152 14106 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4743762 14106 5610 1 0 550924 0
[pid=703063/tid=703065] ppid=703060 vsize=18975048 memory=4026561586 CPUtime=0.1 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 5536 0 0 0 8 2 0 0 20 0 18 0 140290265 19430449152 14106 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140290271 19430449152 14106 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140290271 19430449152 14106 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56424 KiB

[startup+0.222553 s]*
/proc/loadavg: 4.10 4.27 4.24 8/316 703081
/proc/meminfo: memFree=111313428/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=18975048 memory=65808 CPUtime=0.3 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 7406 0 0 0 27 3 0 0 20 0 18 0 140290265 19430449152 16452 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4743762 16452 5678 1 0 551540 0
[pid=703063/tid=703065] ppid=703060 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 1077936192 5874 0 0 0 17 2 0 0 20 0 18 0 140290265 19430449152 16452 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=18975048 memory=5822 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140290271 19430449152 16452 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140290271 19430449152 16452 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65808 KiB

[startup+0.3156 s]*
/proc/loadavg: 4.10 4.27 4.24 5/317 703082
/proc/meminfo: memFree=111310252/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=18976076 memory=69460 CPUtime=0.45 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 7704 0 0 0 41 4 0 0 20 0 19 0 140290265 19431501824 17365 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4744019 17365 5822 1 0 551977 0
[pid=703063/tid=703065] ppid=703060 vsize=18976076 memory=-9175919766845956796 CPUtime=0.27 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) S 703060 703063 697515 0 -1 1077936192 6020 0 0 0 24 3 0 0 20 0 19 0 140290265 19431501824 17365 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=18976076 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140290271 19431501824 17365 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=18976076 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140290271 19431501824 17365 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=18976076 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (java) R 703060 703063 697515 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 140290296 19431501824 17365 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18976076 KiB
Current children cumulated memory: 69460 KiB

[startup+0.700371 s]
/proc/loadavg: 4.10 4.27 4.24 6/317 703082
/proc/meminfo: memFree=111300680/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19041612 memory=83740 CPUtime=1.16 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 10785 0 0 0 112 4 0 0 20 0 19 0 140290265 19498610688 20935 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4760403 20935 5857 1 0 553893 0
[pid=703063/tid=703065] ppid=703060 vsize=19041612 memory=12724 CPUtime=0.6 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 6045 0 0 0 57 3 0 0 20 0 19 0 140290265 19498610688 20935 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19041612 memory=12724 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140290271 19498610688 20935 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140290271 19498610688 20935 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19041612 memory=26396 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140290296 19498610688 20935 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83740 KiB

[startup+1.50032 s]
/proc/loadavg: 4.10 4.27 4.24 7/317 703082
/proc/meminfo: memFree=111291256/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19041612 memory=108288 CPUtime=2.51 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 16695 0 0 0 245 6 0 0 20 0 19 0 140290265 19498610688 27072 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4760403 27072 5857 1 0 555236 0
[pid=703063/tid=703065] ppid=703060 vsize=19041612 memory=12724 CPUtime=1.38 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 7210 0 0 0 134 4 0 0 20 0 19 0 140290265 19498610688 27072 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140290271 19498610688 27072 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140290271 19498610688 27072 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140290296 19498610688 27072 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108288 KiB

[startup+3.11318 s]
/proc/loadavg: 4.25 4.29 4.25 6/318 703083
/proc/meminfo: memFree=111157784/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=221704 CPUtime=4.67 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 17778 0 0 0 459 8 0 0 20 0 20 0 140290265 19566772224 55426 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 55426 5889 1 0 555532 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=0 CPUtime=2.92 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 7600 0 0 0 287 5 0 0 20 0 20 0 140290265 19566772224 55426 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 55426 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=145388 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 55426 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=12724 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 55426 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221704 KiB

[startup+6.30046 s]
/proc/loadavg: 4.25 4.29 4.25 6/318 703083
/proc/meminfo: memFree=111011116/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=368056 CPUtime=8.02 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 18575 0 0 0 790 12 0 0 20 0 20 0 140290265 19566772224 92014 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 92014 5889 1 0 555532 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=12724 CPUtime=5.8 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 7607 0 0 0 575 5 0 0 20 0 20 0 140290265 19566772224 92014 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 92014 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 92014 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=11408 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 92014 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 368056 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.29 4.25 5/318 703085
/proc/meminfo: memFree=110695736/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=848636 CPUtime=14.79 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 20347 0 0 0 1457 22 0 0 20 0 20 0 140290265 19566772224 212159 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 212159 5889 1 0 912719 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=0 CPUtime=11.77 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 8015 0 0 0 1169 8 0 0 20 0 20 0 140290265 19566772224 212159 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=659952 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 212159 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=12724 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 212159 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 212159 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 14.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 848636 KiB

[startup+25.5004 s]
/proc/loadavg: 4.38 4.32 4.26 5/318 703154
/proc/meminfo: memFree=113487428/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=1375208 CPUtime=28.14 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 24116 0 0 0 2780 34 0 0 20 0 20 0 140290265 19566772224 343802 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 343802 5893 1 0 1157112 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=6944656592387989600 CPUtime=23.91 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 9210 0 0 0 2381 10 0 0 20 0 20 0 140290265 19566772224 343802 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=856836 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 343802 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=1334248 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 343802 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=-9175919766845956796 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 343802 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 28.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1375208 KiB

[startup+51.1132 s]
/proc/loadavg: 4.30 4.31 4.26 6/317 703358
/proc/meminfo: memFree=112622708/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=2276620 CPUtime=54.7 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 28645 0 0 0 5416 54 0 0 20 0 20 0 140290265 19566772224 569155 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 569155 5893 1 0 1157122 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=2089996 CPUtime=48.44 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 10523 0 0 0 4832 12 0 0 20 0 20 0 140290265 19566772224 569155 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=2090016 CPUtime=0 cores=1,3

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

Current children cumulated memory: 10715448 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.32 3.73 4/295 705895
/proc/meminfo: memFree=117536992/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=11059512 CPUtime=3321.02 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 245902 0 0 0 331662 440 0 0 20 0 20 0 140290265 19566772224 2764878 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 2764878 5900 1 0 3591863 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=11059512 CPUtime=3228.66 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 97751 0 0 0 322803 63 0 0 20 0 20 0 140290265 19566772224 2764878 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=11059512 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2764878 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=-9175919766845956796 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1665 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2764878 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=12724 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 2764878 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3321.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11059512 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.27 3.69 4/295 705906
/proc/meminfo: memFree=117421840/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=11174204 CPUtime=3381.51 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 247339 0 0 0 337706 445 0 0 20 0 20 0 140290265 19566772224 2793551 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 2793551 5900 1 0 3591863 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=11174204 CPUtime=3287.91 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 98612 0 0 0 328728 63 0 0 20 0 20 0 140290265 19566772224 2793551 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=11174204 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793551 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=11174204 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1666 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793551 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=11174204 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 2793551 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3381.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11174204 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.25 3.65 4/295 705917
/proc/meminfo: memFree=117322776/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=11174284 CPUtime=3441.96 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 251946 0 0 0 343747 449 0 0 20 0 20 0 140290265 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 2793571 5900 1 0 3591865 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=11408 CPUtime=3347.16 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 99975 0 0 0 334652 64 0 0 20 0 20 0 140290265 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=35380 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=11408 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1666 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=11174212 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3441.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11174284 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.22 3.61 4/295 705927
/proc/meminfo: memFree=117322528/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=11174284 CPUtime=3501.88 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 253589 0 0 0 349736 452 0 0 20 0 20 0 140290265 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 2793571 5900 1 0 3591865 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=11174204 CPUtime=3407.03 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 101566 0 0 0 340639 64 0 0 20 0 20 0 140290265 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=35380 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=35380 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1713 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=11174284 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 2793571 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3501.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11174284 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.19 3.58 4/294 705937
/proc/meminfo: memFree=117322228/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=11174296 CPUtime=3562.5 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 255920 0 0 0 355795 455 0 0 20 0 20 0 140290265 19566772224 2793574 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 2793574 5900 1 0 3591865 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=11174296 CPUtime=3466.18 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 102909 0 0 0 346554 64 0 0 20 0 20 0 140290265 19566772224 2793574 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=11174284 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793574 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=11174284 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1714 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793574 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=11174284 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 2793574 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3562.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11174296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559.4 s]
/proc/loadavg: 3.05 3.17 3.55 4/294 705945
/proc/meminfo: memFree=117221276/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19108176 memory=11174300 CPUtime=3600.03 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 260325 0 0 0 359544 459 0 0 20 0 20 0 140290265 19566772224 2793575 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4777044 2793575 5900 1 0 3591865 0
[pid=703063/tid=703065] ppid=703060 vsize=19108176 memory=2560 CPUtime=3502.69 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 104169 0 0 0 350205 64 0 0 20 0 20 0 140290265 19566772224 2793575 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19108176 memory=2288 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793575 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19108176 memory=26396 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1857 0 0 0 0 0 0 0 20 0 20 0 140290271 19566772224 2793575 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703082] ppid=703060 vsize=19108176 memory=5524 CPUtime=0 cores=1,3
/proc/703063/task/703082/stat : 703082 (Timer-0) S 703060 703063 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140290296 19566772224 2793575 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11174300 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.02 s, system=4.64773 s

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

[startup+3559.6 s]
/proc/loadavg: 3.05 3.17 3.55 4/294 705945
/proc/meminfo: memFree=117221276/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19307868 memory=11175048 CPUtime=3600.43 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 263195 0 0 0 359583 460 0 0 20 0 21 0 140290265 19771256832 2793762 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4826967 2793762 5915 1 0 3592774 0
[pid=703063/tid=703065] ppid=703060 vsize=19307868 memory=5620 CPUtime=3502.89 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) R 703060 703063 697515 0 -1 4194368 104407 0 0 0 350225 64 0 0 20 0 21 0 140290265 19771256832 2793762 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19307868 memory=2560 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 140290271 19771256832 2793762 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19307868 memory=2288 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1857 0 0 0 0 0 0 0 20 0 21 0 140290271 19771256832 2793762 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11175048 KiB

[startup+3559.7 s]
/proc/loadavg: 3.05 3.17 3.55 4/294 705945
/proc/meminfo: memFree=117221276/131655788 swapFree=131071996/131071996
[pid=703063] ppid=703060 vsize=19307868 memory=11175060 CPUtime=3600.62 cores=1,3
/proc/703063/stat : 703063 (java) S 703060 703063 697515 0 -1 1077936128 264095 0 0 0 359602 460 0 0 20 0 15 0 140290265 19771256832 2793765 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
/proc/703063/statm: 4826967 2793765 5930 1 0 3592774 0
[pid=703063/tid=703065] ppid=703060 vsize=19307868 memory=11174300 CPUtime=3502.98 cores=1,3
/proc/703063/task/703065/stat : 703065 (java) S 703060 703063 697515 0 -1 1077936192 104407 0 0 0 350234 64 0 0 20 0 15 0 140290265 19771256832 2793765 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703074] ppid=703060 vsize=19307868 memory=11174300 CPUtime=0 cores=1,3
/proc/703063/task/703074/stat : 703074 (Finalizer) S 703060 703063 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 15 0 140290271 19771256832 2793765 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
[pid=703063/tid=703081] ppid=703060 vsize=19307868 memory=11408 CPUtime=0 cores=1,3
/proc/703063/task/703081/stat : 703081 (Common-Cleaner) S 703060 703063 697515 0 -1 1077936192 1857 0 0 0 0 0 0 0 20 0 15 0 140290271 19771256832 2793765 134679101440 94867862745088 94867862748784 140733144502144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94867862756600 94867862757392 94867871805440 140733144511469 140733144511559 140733144511559 140733144518600 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11175060 KiB

Child status: 143

Real time (s): 3559.75
CPU time (s): 3600.67
CPU user time (s): 3596.02
CPU system time (s): 4.64773
CPU usage (%): 101.149
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11175060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.02
system time used= 4.64773
maximum resident set size= 11176068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109853
involuntary context switches= 12417


# summary of solver processes directly reported to runsolver:
#   pid: 703063
#   total CPU time (s): 3600.67
#   total CPU user time (s): 3596.02
#   total CPU system time (s): 4.64773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.195 second user time and 33.3831 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-13 16:35:49
IDJOB=4424850
IDBENCH=143523
IDSOLVER=3037
FILE ID=nodeC007/4424850-1720881336
RUNJOBID= nodeC007-1720877762-699781
SLURM_JOB_ID= 7483755
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 624a339f0217b19ce83ed2965f11f6c0
RANDOM SEED=1733574896

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        111358440 kB
MemAvailable:   111260096 kB
Buffers:          322696 kB
Cached:           428232 kB
SwapCached:            0 kB
Active:           476732 kB
Inactive:       19285164 kB
Active(anon):       1468 kB
Inactive(anon): 19047212 kB
Active(file):     475264 kB
Inactive(file):   237952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:      19010728 kB
Mapped:           121916 kB
Shmem:             37704 kB
KReclaimable:      56940 kB
Slab:             146716 kB
SReclaimable:      56940 kB
SUnreclaim:        89776 kB
KernelStack:        4788 kB
PageTables:        46928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   22199940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45696 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18706432 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC007 at 2024-07-13 17:35:09