Trace number 4524542

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-06MSAT (TO) 3600.22 3601.59

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMf4fc3ffba48e986bbe8a03138b243a62
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.076513
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables840
Total number of constraints82
Number of soft constraints82
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 4216
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4215
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.11/0.10	c java.vm.vendor	Oracle Corporation
0.11/0.10	c sun.arch.data.model	64
0.11/0.10	c java.version		22.0.1
0.11/0.10	c os.name		Linux
0.11/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.10	c os.arch		amd64
0.11/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.15	c Pseudo Boolean Optimization by upper bound
0.11/0.15	c --- Begin Solver configuration ---
0.11/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.15	c Learn all clauses as in MiniSAT
0.11/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.15	c Expensive reason simplification
0.11/0.15	c Glucose 2.1 dynamic restart strategy
0.11/0.15	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.11/0.15	c timeout=2147483s
0.11/0.15	c DB Simplification allowed=false
0.11/0.15	c Listener: none
0.11/0.15	c --- End Solver configuration ---
0.11/0.15	c solving HOME/instance-4524542-1751612920.wbo
0.11/0.15	c reading problem ... 
0.11/0.18	c ... done. Wall clock time 0.036s.
0.11/0.18	c declared #vars     840
0.11/0.18	c internal #vars     922
0.11/0.18	c #constraints  83
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
0.11/0.18	c org.sat4j.specs.Constr$1 => 1
0.11/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 42
0.11/0.18	c 83 constraints processed.
0.11/0.19	c objective function length is 82 literals
1.07/0.62	c SATISFIABLE
1.07/0.62	c OPTIMIZING...
1.07/0.62	c Got one! Elapsed wall clock time (in seconds):0.476
1.07/0.62	o 76
1.25/0.70	c cleaning 2887 clauses out of 5778 with flag 4881/5778
2.01/1.21	c cleaning 4438 clauses out of 8890 with flag 43231/11777
2.01/1.27	c Got one! Elapsed wall clock time (in seconds):1.123
2.01/1.27	o 35
2.18/1.30	c Got one! Elapsed wall clock time (in seconds):1.156
2.18/1.30	o 22
2.48/1.69	c cleaning 5292 clauses out of 10596 with flag 29523/17921
3.18/2.33	c cleaning 5648 clauses out of 11302 with flag 61839/23919
3.79/2.97	c Got one! Elapsed wall clock time (in seconds):2.827
3.79/2.97	o 2
4.89/4.04	c cleaning 8322 clauses out of 16658 with flag 27391/34923
5.99/5.14	c cleaning 7162 clauses out of 14337 with flag 62962/40924
6.85/5.90	c cleaning 7078 clauses out of 14175 with flag 107945/47924
7.77/6.86	c cleaning 7536 clauses out of 15096 with flag 165223/55923
9.16/8.20	c cleaning 8265 clauses out of 16562 with flag 229508/64925
10.46/9.59	c cleaning 9136 clauses out of 18295 with flag 294660/74923
12.26/11.34	c cleaning 10071 clauses out of 20162 with flag 364583/85926
13.46/12.52	c cleaning 10978 clauses out of 22088 with flag 445660/97923
15.06/14.18	c cleaning 12033 clauses out of 24110 with flag 557359/110923
18.47/17.57	c cleaning 13025 clauses out of 26078 with flag 687663/124924
21.89/20.95	c cleaning 14023 clauses out of 28052 with flag 836241/139923
28.66/27.60	c cleaning 15016 clauses out of 30034 with flag 992712/155928
36.95/35.99	c cleaning 16002 clauses out of 32014 with flag 1163343/172924
47.28/46.20	c cleaning 17001 clauses out of 34011 with flag 1366750/190923
59.03/57.97	c cleaning 18001 clauses out of 36010 with flag 1558287/209923
71.60/70.59	c cleaning 19000 clauses out of 38009 with flag 1756150/229923
86.83/85.78	c cleaning 20000 clauses out of 40009 with flag 1961222/250923
103.36/102.20	c cleaning 20999 clauses out of 42009 with flag 2189977/272923
112.15/111.01	c cleaning 22002 clauses out of 44011 with flag 2418093/295924
119.88/118.78	c cleaning 23004 clauses out of 46009 with flag 2644942/319924
127.42/126.25	c cleaning 23996 clauses out of 48004 with flag 2828665/344923
138.35/137.11	c cleaning 25004 clauses out of 50008 with flag 2999770/370923
145.84/144.67	c cleaning 25997 clauses out of 52004 with flag 3215367/397923
157.07/155.86	c cleaning 27001 clauses out of 54007 with flag 3431600/425923
169.20/167.94	c cleaning 28003 clauses out of 56007 with flag 3628596/454924
186.33/185.03	c cleaning 28994 clauses out of 58003 with flag 3934275/484923
202.05/200.71	c cleaning 29999 clauses out of 60010 with flag 4171447/515924
221.11/219.82	c cleaning 31001 clauses out of 62012 with flag 4403979/547925
237.64/236.17	c cleaning 31999 clauses out of 64009 with flag 4673283/580923
255.13/253.62	c cleaning 32998 clauses out of 66012 with flag 4963193/614925
278.42/276.91	c cleaning 34004 clauses out of 68013 with flag 5300053/649924
294.44/292.92	c cleaning 35001 clauses out of 70008 with flag 5671572/685923
309.96/308.48	c cleaning 36001 clauses out of 72007 with flag 6024338/722923
325.11/323.66	c cleaning 36996 clauses out of 74006 with flag 6374456/760923
343.37/341.98	c cleaning 37998 clauses out of 76010 with flag 6722913/799923
365.79/364.33	c cleaning 39002 clauses out of 78012 with flag 7068139/839923
390.32/388.86	c cleaning 40000 clauses out of 80012 with flag 7417315/880925
424.75/423.37	c cleaning 41003 clauses out of 82011 with flag 7761431/922924
460.46/459.05	c cleaning 42003 clauses out of 84009 with flag 8142528/965925
493.76/492.30	c cleaning 42996 clauses out of 86005 with flag 8540096/1009924
529.02/527.21	c cleaning 43998 clauses out of 88009 with flag 8906279/1054924
565.65/563.92	c cleaning 44999 clauses out of 90010 with flag 9294744/1100923
609.44/607.77	c cleaning 46000 clauses out of 92013 with flag 9663207/1147925
651.65/650.01	c cleaning 47003 clauses out of 94012 with flag 10040014/1195924
705.75/704.15	c cleaning 48000 clauses out of 96009 with flag 10455732/1244924
755.56/754.01	c cleaning 49000 clauses out of 98008 with flag 10829577/1294923
806.05/804.65	c cleaning 50000 clauses out of 100008 with flag 11213245/1345923
861.58/860.11	c cleaning 50997 clauses out of 102008 with flag 11580972/1397923
931.83/930.55	c cleaning 51995 clauses out of 104011 with flag 12021255/1450923
1009.07/1007.98	c cleaning 53006 clauses out of 106016 with flag 12492410/1504923
1071.68/1070.51	c cleaning 54000 clauses out of 108011 with flag 12952305/1559924
1119.89/1118.88	c cleaning 55003 clauses out of 110012 with flag 13422128/1615925
1179.49/1178.45	c cleaning 55998 clauses out of 112008 with flag 13923301/1672924
1230.61/1229.15	c cleaning 57002 clauses out of 114009 with flag 14361497/1730923
1299.76/1298.48	c cleaning 58000 clauses out of 116008 with flag 14840662/1789924
1382.87/1381.61	c cleaning 59000 clauses out of 118009 with flag 15346240/1849925
1462.26/1461.29	c cleaning 59997 clauses out of 120007 with flag 15853981/1910923
1533.02/1532.05	c cleaning 60998 clauses out of 122011 with flag 16313938/1972924
1604.35/1603.52	c cleaning 62003 clauses out of 124012 with flag 16807052/2035923
1681.14/1680.30	c cleaning 63002 clauses out of 126009 with flag 17299325/2099923
1782.41/1781.89	c cleaning 63997 clauses out of 128007 with flag 17840416/2164923
1894.09/1893.60	c cleaning 64997 clauses out of 130010 with flag 18403965/2230923
2004.01/2003.89	c cleaning 65995 clauses out of 132013 with flag 18943965/2297923
2115.27/2115.22	c cleaning 67004 clauses out of 134020 with flag 19499035/2365925
2220.50/2220.68	c cleaning 68001 clauses out of 136014 with flag 20052124/2434923
2339.80/2340.26	c cleaning 69003 clauses out of 138013 with flag 20634888/2504923
2457.29/2457.52	c cleaning 70002 clauses out of 140011 with flag 21203664/2575924
2598.24/2598.73	c cleaning 71001 clauses out of 142012 with flag 21778264/2647927
2668.03/2668.58	c cleaning 72000 clauses out of 144008 with flag 22484409/2720924
2743.27/2743.92	c cleaning 72998 clauses out of 146008 with flag 23128747/2794924
2864.36/2865.19	c cleaning 74000 clauses out of 148009 with flag 23776516/2869923
2990.68/2991.79	c cleaning 74999 clauses out of 150011 with flag 24396674/2945925
3126.63/3127.87	c cleaning 75997 clauses out of 152013 with flag 24993016/3022926
3248.21/3249.55	c cleaning 76998 clauses out of 154014 with flag 25609424/3100924
3375.23/3376.29	c cleaning 77998 clauses out of 156015 with flag 26206618/3179923
3478.96/3480.14	c cleaning 79004 clauses out of 158021 with flag 26781267/3259927
3595.07/3596.55	c cleaning 79999 clauses out of 160014 with flag 27385331/3340924
3600.06/3601.51	c starts		: 3830
3600.06/3601.51	c conflicts		: 3347101
3600.06/3601.51	c decisions		: 4432105
3600.06/3601.51	c propagations		: 47133636
3600.06/3601.51	c inspects		: 21787069985
3600.06/3601.51	c shortcuts		: 0
3600.06/3601.51	c learnt literals	: 0
3600.06/3601.51	c learnt binary clauses	: 0
3600.06/3601.51	c learnt ternary clauses	: 0
3600.06/3601.51	c learnt constraints	: 3347101
3600.06/3601.51	c ignored constraints	: 0
3600.06/3601.51	c root simplifications	: 0
3600.06/3601.51	c removed literals (reason simplification)	: 10186703
3600.06/3601.51	c reason swapping (by a shorter reason)	: 0
3600.06/3601.51	c Calls to reduceDB	: 81
3600.06/3601.51	c Number of update (reduction) of LBD	: 1904774
3600.06/3601.51	c Imported unit clauses	: 0
3600.06/3601.51	c No decision after first conflict	: false
3600.06/3601.51	c number of reductions to clauses (during analyze)	: 0
3600.06/3601.51	c number of learned constraints concerned by reduction	: 0
3600.06/3601.51	c number of learning phase by resolution	: 0
3600.06/3601.51	c number of learning phase by cutting planes	: 0
3600.06/3601.51	c number of rounding to 1 operations	: 0
3600.06/3601.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3601.52	c number of reductions of the coefficients by power 2 	: 0
3600.06/3601.52	c number of right shift for reduction by power 2 	: 0
3600.06/3601.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3601.52	c number of ending skipping 	: 0
3600.06/3601.52	c number of internal skipping 	: 0
3600.06/3601.52	c number of derivation steps 	: 0
3600.06/3601.52	c number of skipped derivation steps 	: 0
3600.06/3601.52	c number of remaining unassigned 	: 0
3600.06/3601.52	c number of remaining assigned 	: 0
3600.06/3601.52	c number of falsified literals weakened from reason	: 0
3600.06/3601.52	c number of falsified literals weakened from conflict	: 0
3600.06/3601.52	c time for arithmetic operations	: 0
3600.06/3601.52	c minimum degree of deleted constraints	: null
3600.06/3601.52	c maximum degree of deleted constraints	: null
3600.06/3601.52	c number of deleted constraints	: 0
3600.06/3601.52	c speed (assignments/second)	: 13087.859607227896
3600.06/3601.52	c non guided choices	: 4928
3600.06/3601.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 86192
3600.06/3601.57	s SATISFIABLE
3600.06/3601.57	c Found 4 solution(s)
3600.06/3601.57	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 
3600.06/3601.57	c objective function=2
3600.06/3601.57	c Total wall clock time (in seconds): 3601.426

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524542-1751612920/watcher-4524542-1751612920 -o /tmp/evaluation-result-4524542-1751612920/solver-4524542-1751612920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93505 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524542-1751612920.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=94117, runsolver pid=94113
Current StackSize limit: 8192 KiB


[startup+0.100025 s]*
/proc/loadavg: 4.21 4.67 5.64 7/322 94144
/proc/meminfo: memFree=128306352/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18930384 memory=53040 CPUtime=0.11 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 6444 0 0 0 9 2 0 0 20 0 18 0 76972277 19384713216 13260 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4732596 13260 5345 1 0 547531 0
[pid=94117/tid=94119] ppid=94113 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 4977 0 0 0 6 1 0 0 20 0 18 0 76972279 19384713216 13260 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18930384 memory=19950 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76972281 19384713216 13260 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 76972281 19384713216 13260 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53040 KiB

[startup+0.205919 s]*
/proc/loadavg: 4.21 4.67 5.64 7/340 94162
/proc/meminfo: memFree=128249264/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18996948 memory=62564 CPUtime=0.3 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 7161 0 0 0 27 3 0 0 20 0 19 0 76972277 19452874752 15641 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4749237 15641 5473 1 0 548320 0
[pid=94117/tid=94119] ppid=94113 vsize=18996948 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 5361 0 0 0 15 1 0 0 20 0 19 0 76972279 19452874752 15641 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18996948 memory=19950 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 15641 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 15641 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972297 19452874752 15641 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62564 KiB

[startup+0.305824 s]*
/proc/loadavg: 4.21 4.67 5.64 9/340 94162
/proc/meminfo: memFree=128236348/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18996948 memory=70444 CPUtime=0.49 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 9664 0 0 0 46 3 0 0 20 0 19 0 76972277 19452874752 17611 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4749237 17611 5473 1 0 549702 0
[pid=94117/tid=94119] ppid=94113 vsize=18996948 memory=-6000919507083290726 CPUtime=0.25 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 5369 0 0 0 24 1 0 0 20 0 19 0 76972279 19452874752 17611 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 17611 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 17611 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972297 19452874752 17611 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70444 KiB

[startup+0.700227 s]
/proc/loadavg: 4.21 4.67 5.64 8/341 94163
/proc/meminfo: memFree=128220912/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18996948 memory=82720 CPUtime=1.25 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 11890 0 0 0 121 4 0 0 20 0 19 0 76972277 19452874752 20680 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4749237 20680 5473 1 0 551130 0
[pid=94117/tid=94119] ppid=94113 vsize=18996948 memory=15104 CPUtime=0.62 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 5432 0 0 0 61 1 0 0 20 0 19 0 76972279 19452874752 20680 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 20680 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 20680 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972297 19452874752 20680 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82720 KiB

[startup+1.50023 s]
/proc/loadavg: 4.21 4.67 5.64 6/341 94163
/proc/meminfo: memFree=128197096/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18996948 memory=97256 CPUtime=2.38 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 16271 0 0 0 233 5 0 0 20 0 19 0 76972277 19452874752 24314 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4749237 24314 5473 1 0 551584 0
[pid=94117/tid=94119] ppid=94113 vsize=18996948 memory=0 CPUtime=1.41 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 6210 0 0 0 139 2 0 0 20 0 19 0 76972279 19452874752 24314 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 24314 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 24314 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972297 19452874752 24314 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97256 KiB

[startup+3.10573 s]
/proc/loadavg: 4.28 4.68 5.63 4/317 94173
/proc/meminfo: memFree=128683380/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18996948 memory=113768 CPUtime=4 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 16955 0 0 0 394 6 0 0 20 0 19 0 76972277 19452874752 28442 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4749237 28442 5473 1 0 551586 0
[pid=94117/tid=94119] ppid=94113 vsize=18996948 memory=10752 CPUtime=3 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 6527 0 0 0 298 2 0 0 20 0 19 0 76972279 19452874752 28442 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18996948 memory=-6000919494248720486 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 28442 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 28442 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972297 19452874752 28442 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113768 KiB

[startup+6.3002 s]
/proc/loadavg: 4.28 4.68 5.63 5/339 94228
/proc/meminfo: memFree=128592040/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=18996948 memory=134100 CPUtime=7.27 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 20483 0 0 0 719 8 0 0 20 0 19 0 76972277 19452874752 33525 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4749237 33525 5473 1 0 551586 0
[pid=94117/tid=94119] ppid=94113 vsize=18996948 memory=0 CPUtime=6.18 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 7187 0 0 0 614 4 0 0 20 0 19 0 76972279 19452874752 33525 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 33525 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 76972281 19452874752 33525 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=18996948 memory=97256 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972297 19452874752 33525 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134100 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.66 5.62 5/341 94230
/proc/meminfo: memFree=128387448/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=177672 CPUtime=13.66 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 23499 0 0 0 1357 9 0 0 20 0 20 0 76972277 19521036288 44418 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 44418 5505 1 0 551891 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=97256 CPUtime=12.55 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 7888 0 0 0 1250 5 0 0 20 0 20 0 76972279 19521036288 44418 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 44418 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 44418 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=-6000919494248720486 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 44418 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 13.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177672 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.65 5.60 5/343 94233
/proc/meminfo: memFree=127723428/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=274240 CPUtime=26.57 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 26356 0 0 0 2645 12 0 0 20 0 20 0 76972277 19521036288 68560 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 68560 5505 1 0 551891 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=194188 CPUtime=25.23 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 8417 0 0 0 2518 5 0 0 20 0 20 0 76972279 19521036288 68560 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=5044 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 68560 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 68560 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 68560 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 26.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 274240 KiB

[startup+51.1057 s]
/proc/loadavg: 4.25 4.62 5.56 5/341 94233
/proc/meminfo: memFree=126286312/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=393152 CPUtime=52.22 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 27674 0 0 0 5207 15 0 0 20 0 20 0 76972277 19521036288 98288 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 98288 5537 1 0 551891 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=274240 CPUtime=50.67 cores=4,6

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

/proc/meminfo: memFree=114270752/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2024860 CPUtime=3280.93 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 69764 0 0 0 327968 125 0 0 20 0 20 0 76972277 19521036288 506215 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 506215 5537 1 0 552943 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=15104 CPUtime=3269.59 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 28147 0 0 0 326939 20 0 0 20 0 20 0 76972279 19521036288 506215 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=15104 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 506215 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=15104 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 506215 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=-6000919494248720486 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 506215 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3280.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2024860 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.18 3.44 4/317 94497
/proc/meminfo: memFree=114166244/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2133772 CPUtime=3341.42 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 73065 0 0 0 334014 128 0 0 20 0 20 0 76972277 19521036288 533443 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 533443 5537 1 0 584780 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=14720 CPUtime=3329.28 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 29450 0 0 0 332907 21 0 0 20 0 20 0 76972279 19521036288 533443 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=2127628 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 533443 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=2119436 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 533443 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=2131724 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 533443 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3341.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2133772 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.16 3.42 4/317 94498
/proc/meminfo: memFree=114079344/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2215692 CPUtime=3401.34 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 74305 0 0 0 340003 131 0 0 20 0 20 0 76972277 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 553923 5537 1 0 584784 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=2131724 CPUtime=3389 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 30193 0 0 0 338877 23 0 0 20 0 20 0 76972279 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=2024860 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1231 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=21608 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3401.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2215692 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.14 3.39 4/317 94500
/proc/meminfo: memFree=114079472/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2215692 CPUtime=3461.2 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 74681 0 0 0 345988 132 0 0 20 0 20 0 76972277 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 553923 5537 1 0 584784 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=2215692 CPUtime=3448.84 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 30411 0 0 0 344861 23 0 0 20 0 20 0 76972279 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=2131724 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=2024860 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3461.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2215692 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.14 3.38 4/317 94502
/proc/meminfo: memFree=114079568/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2215692 CPUtime=3521.04 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 75023 0 0 0 351972 132 0 0 20 0 20 0 76972277 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 553923 5537 1 0 584784 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=2174732 CPUtime=3508.67 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 30700 0 0 0 350844 23 0 0 20 0 20 0 76972279 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=2209548 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=2215692 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=2215692 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 553923 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3521.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2215692 KiB

[startup+3582.3 s]
/proc/loadavg: 3.01 3.12 3.35 3/291 94538
/proc/meminfo: memFree=124407680/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2234216 CPUtime=3580.89 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 76196 0 0 0 357956 133 0 0 20 0 20 0 76972277 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 558554 5537 1 0 584784 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=1792 CPUtime=3568.22 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 31444 0 0 0 356799 23 0 0 20 0 20 0 76972279 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=2234216 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2234216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.5 s]
/proc/loadavg: 2.86 3.08 3.33 3/291 94539
/proc/meminfo: memFree=124375152/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2234216 CPUtime=3600.06 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 76594 0 0 0 359872 134 0 0 20 0 20 0 76972277 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 558554 5537 1 0 584784 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=3200 CPUtime=3587.37 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 31810 0 0 0 358714 23 0 0 20 0 20 0 76972279 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=-4050210904893603218 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=15104 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=2234216 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2234216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.86 s, system=1.35706 s

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

[startup+3601.5 s]
/proc/loadavg: 2.86 3.08 3.33 3/291 94539
/proc/meminfo: memFree=124375152/131250000 swapFree=33008100/33010684
[pid=94117] ppid=94113 vsize=19063512 memory=2234216 CPUtime=3600.06 cores=4,6
/proc/94117/stat : 94117 (java) S 94113 94117 92287 0 -1 4194304 76594 0 0 0 359872 134 0 0 20 0 20 0 76972277 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
/proc/94117/statm: 4765878 558554 5537 1 0 584784 0
[pid=94117/tid=94119] ppid=94113 vsize=19063512 memory=3200 CPUtime=3587.37 cores=4,6
/proc/94117/task/94119/stat : 94119 (java) R 94113 94117 92287 0 -1 4194368 31810 0 0 0 358714 23 0 0 20 0 20 0 76972279 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94131] ppid=94113 vsize=19063512 memory=-4050210904893603218 CPUtime=0 cores=4,6
/proc/94117/task/94131/stat : 94131 (Finalizer) S 94113 94117 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94138] ppid=94113 vsize=19063512 memory=15104 CPUtime=0 cores=4,6
/proc/94117/task/94138/stat : 94138 (Common-Cleaner) S 94113 94117 92287 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 76972281 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
[pid=94117/tid=94162] ppid=94113 vsize=19063512 memory=2234216 CPUtime=0 cores=4,6
/proc/94117/task/94162/stat : 94162 (Timer-0) S 94113 94117 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972297 19521036288 558554 18446744073709551615 94252226101248 94252226104944 140720881148384 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94252226112760 94252226113552 94252228476928 140720881150335 140720881150436 140720881150436 140720881156040 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2234216 KiB

Child status: 143

Real time (s): 3601.59
CPU time (s): 3600.22
CPU user time (s): 3598.86
CPU system time (s): 1.35706
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2234216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.35706
maximum resident set size= 2235240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105254
involuntary context switches= 3527


# summary of solver processes directly reported to runsolver:
#   pid: 94117
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.86
#   total CPU system time (s): 1.35706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03275 second user time and 16.8892 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-04 09:08:40
IDJOB=4524542
IDBENCH=143127
IDSOLVER=3380
FILE ID=nodeC013/4524542-1751612920
RUNJOBID= nodeC013-1751612909-93505
SLURM_JOB_ID= 9598886
Free space on /tmp= 432624 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524542-1751612920/watcher-4524542-1751612920 -o /tmp/evaluation-result-4524542-1751612920/solver-4524542-1751612920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93505 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524542-1751612920.wbo

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

MD5SUM BENCH= f4fc3ffba48e986bbe8a03138b243a62
RANDOM SEED=1050147145

nodeC013 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.824
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.67
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.833
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.67
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		: 3600.956
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.67
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		: 3600.103
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.67
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.842
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.67
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		: 3576.592
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.964
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.67
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		: 3599.869
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128324456 kB
MemAvailable:   128599936 kB
Buffers:            1668 kB
Cached:          1069176 kB
SwapCached:         1908 kB
Active:          1609524 kB
Inactive:         704804 kB
Active(anon):    1237228 kB
Inactive(anon):    17628 kB
Active(file):     372296 kB
Inactive(file):   687176 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18996 kB
Writeback:             0 kB
AnonPages:       1245068 kB
Mapped:           119600 kB
Shmem:             11368 kB
KReclaimable:     110092 kB
Slab:             200356 kB
SReclaimable:     110092 kB
SUnreclaim:        90264 kB
KernelStack:        4912 kB
PageTables:         5844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   10436220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151096 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1083392 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432644 MiB
End job on nodeC013 at 2025-07-04 10:08:42