Trace number 4525118

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.28 3599.04

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM3f98d9dae6e37ed8fccc9a6610b1b02a
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.236345
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1200
Total number of constraints100
Number of soft constraints35
Number of constraints which are clauses60
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 constraint30
Top cost 1842
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1841
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
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.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4525118-1751618357.wbo
0.11/0.14	c reading problem ... 
0.11/0.19	c ... done. Wall clock time 0.044s.
0.11/0.19	c declared #vars     1200
0.11/0.19	c internal #vars     1235
0.11/0.19	c #constraints  101
0.11/0.19	c constraints type 
0.11/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 21
0.11/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
0.11/0.19	c org.sat4j.specs.Constr$1 => 1
0.11/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 60
0.11/0.19	c 101 constraints processed.
0.11/0.20	c objective function length is 35 literals
0.50/0.35	c SATISFIABLE
0.50/0.35	c OPTIMIZING...
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.207
0.50/0.35	o 66
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.226
0.50/0.37	o 13
2.14/1.22	c cleaning 3037 clauses out of 6073 with flag 40890/6073
2.48/1.58	c Got one! Elapsed wall clock time (in seconds):1.442
2.48/1.58	o 10
2.81/1.84	c Got one! Elapsed wall clock time (in seconds):1.699
2.81/1.84	o 8
3.01/2.07	c cleaning 4679 clauses out of 9362 with flag 6095/12399
3.78/2.75	c cleaning 5335 clauses out of 10688 with flag 49271/18404
4.56/3.45	c cleaning 6168 clauses out of 12352 with flag 100981/25403
5.75/4.49	c cleaning 7030 clauses out of 14181 with flag 169685/33400
7.25/5.96	c cleaning 8072 clauses out of 16151 with flag 256057/42400
9.34/8.01	c cleaning 9035 clauses out of 18078 with flag 352075/52399
12.53/11.22	c cleaning 10021 clauses out of 20045 with flag 455938/63401
16.48/15.11	c cleaning 11012 clauses out of 22023 with flag 568863/75400
19.97/18.58	c cleaning 12000 clauses out of 24013 with flag 681137/88402
25.63/24.12	c cleaning 13001 clauses out of 26010 with flag 823863/102399
31.07/29.52	c cleaning 13989 clauses out of 28011 with flag 969326/117401
35.39/33.85	c cleaning 15004 clauses out of 30020 with flag 1086441/133399
39.48/37.87	c cleaning 16005 clauses out of 32017 with flag 1208732/150400
43.28/41.69	c cleaning 17000 clauses out of 34013 with flag 1397809/168401
47.82/46.19	c cleaning 18001 clauses out of 36011 with flag 1555129/187399
52.65/50.90	c cleaning 19001 clauses out of 38011 with flag 1769177/207400
58.50/56.75	c cleaning 19995 clauses out of 40010 with flag 1980650/228400
64.28/62.50	c cleaning 20994 clauses out of 42014 with flag 2216028/250399
71.92/70.12	c cleaning 22005 clauses out of 44020 with flag 2475274/273399
79.56/77.77	c cleaning 22995 clauses out of 46016 with flag 2730234/297400
86.71/84.82	c cleaning 24006 clauses out of 48021 with flag 2989833/322400
97.54/95.65	c cleaning 25004 clauses out of 50015 with flag 3260157/348400
111.57/109.62	c cleaning 26002 clauses out of 52011 with flag 3509722/375400
123.51/121.58	c cleaning 26995 clauses out of 54011 with flag 3766656/403402
135.45/133.22	c cleaning 28001 clauses out of 56013 with flag 4015609/432399
145.47/143.22	c cleaning 29001 clauses out of 58013 with flag 4258319/462400
157.02/154.71	c cleaning 30002 clauses out of 60012 with flag 4500161/493400
171.45/169.12	c cleaning 31000 clauses out of 62010 with flag 4775292/525400
191.06/188.79	c cleaning 31997 clauses out of 64009 with flag 5056728/558399
206.04/203.75	c cleaning 32998 clauses out of 66012 with flag 5361723/592399
224.68/222.38	c cleaning 34007 clauses out of 68015 with flag 5674287/627400
240.83/238.54	c cleaning 34998 clauses out of 70008 with flag 6026870/663400
258.50/256.24	c cleaning 35995 clauses out of 72011 with flag 6329330/700401
278.39/275.96	c cleaning 37004 clauses out of 74015 with flag 6645687/738400
296.01/293.25	c cleaning 38005 clauses out of 76010 with flag 6992160/777399
317.26/314.54	c cleaning 39000 clauses out of 78006 with flag 7335627/817400
343.78/341.06	c cleaning 39996 clauses out of 80008 with flag 7691268/858402
377.79/375.17	c cleaning 40994 clauses out of 82010 with flag 8063021/900400
407.12/404.34	c cleaning 41992 clauses out of 84015 with flag 8453249/943399
442.04/439.38	c cleaning 42995 clauses out of 86024 with flag 8849193/987400
475.81/473.00	c cleaning 44007 clauses out of 88028 with flag 9242848/1032399
504.13/501.47	c cleaning 45010 clauses out of 90024 with flag 9603350/1078402
539.30/536.50	c cleaning 45996 clauses out of 92011 with flag 9998717/1125399
578.32/575.61	c cleaning 47002 clauses out of 94017 with flag 10426561/1173401
615.98/613.24	c cleaning 48001 clauses out of 96014 with flag 10827679/1222400
667.68/664.65	c cleaning 49005 clauses out of 98017 with flag 11217361/1272404
717.57/714.52	c cleaning 50001 clauses out of 100008 with flag 11606148/1323400
751.00/748.07	c cleaning 50995 clauses out of 102008 with flag 12082513/1375401
785.15/782.13	c cleaning 51998 clauses out of 104012 with flag 12529425/1428400
832.94/830.09	c cleaning 53000 clauses out of 106015 with flag 12975531/1482401
883.18/880.22	c cleaning 54001 clauses out of 108013 with flag 13404151/1537399
933.23/930.28	c cleaning 54997 clauses out of 110012 with flag 13843119/1593399
984.02/981.16	c cleaning 56003 clauses out of 112017 with flag 14283726/1650401
1036.15/1033.28	c cleaning 57000 clauses out of 114014 with flag 14760478/1708401
1091.93/1089.14	c cleaning 57995 clauses out of 116012 with flag 15223398/1767399
1138.15/1135.31	c cleaning 58997 clauses out of 118019 with flag 15700329/1827401
1198.22/1195.47	c cleaning 60004 clauses out of 120024 with flag 16190936/1888403
1262.27/1259.62	c cleaning 60998 clauses out of 122016 with flag 16691002/1950399
1329.52/1326.65	c cleaning 61998 clauses out of 124018 with flag 17230547/2013399
1390.39/1387.52	c cleaning 63003 clauses out of 126020 with flag 17808109/2077399
1466.98/1464.38	c cleaning 64002 clauses out of 128017 with flag 18393200/2142399
1540.28/1537.68	c cleaning 65002 clauses out of 130020 with flag 18992385/2208404
1603.23/1600.77	c cleaning 65998 clauses out of 132014 with flag 19533272/2275400
1668.60/1666.19	c cleaning 67002 clauses out of 134015 with flag 20040486/2343399
1739.34/1737.02	c cleaning 68000 clauses out of 136015 with flag 20570671/2412401
1794.19/1791.89	c cleaning 68976 clauses out of 138015 with flag 21189623/2482401
1849.84/1847.66	c cleaning 70002 clauses out of 140037 with flag 21894531/2553399
1891.49/1889.24	c cleaning 71004 clauses out of 142045 with flag 22692984/2625409
1940.22/1937.93	c cleaning 72011 clauses out of 144033 with flag 23396159/2698401
1999.21/1996.93	c cleaning 73001 clauses out of 146021 with flag 24218527/2772400
2087.00/2084.98	c cleaning 73995 clauses out of 148021 with flag 24930228/2847401
2139.16/2136.60	c cleaning 75000 clauses out of 150024 with flag 25590551/2923399
2206.56/2204.18	c cleaning 76007 clauses out of 152025 with flag 26184884/3000400
2268.69/2266.49	c cleaning 77000 clauses out of 154017 with flag 26863102/3078399
2330.60/2328.34	c cleaning 77990 clauses out of 156018 with flag 27658820/3157400
2403.90/2401.88	c cleaning 79009 clauses out of 158032 with flag 28401251/3237404
2488.30/2486.27	c cleaning 80001 clauses out of 160018 with flag 29138422/3318399
2571.87/2569.89	c cleaning 80998 clauses out of 162019 with flag 29869022/3400401
2636.03/2634.19	c cleaning 81997 clauses out of 164019 with flag 30635332/3483399
2714.81/2713.05	c cleaning 82999 clauses out of 166026 with flag 31474600/3567403
2798.21/2796.44	c cleaning 84007 clauses out of 168025 with flag 32699698/3652401
2899.13/2897.67	c cleaning 84996 clauses out of 170019 with flag 33504418/3738402
2980.95/2979.53	c cleaning 85998 clauses out of 172021 with flag 34589526/3825400
3044.59/3043.31	c cleaning 87005 clauses out of 174024 with flag 35591212/3913401
3163.42/3162.42	c cleaning 87999 clauses out of 176019 with flag 36693163/4002401
3284.94/3284.10	c cleaning 89002 clauses out of 178021 with flag 37690136/4092402
3352.77/3351.30	c cleaning 89992 clauses out of 180017 with flag 38809501/4183400
3439.55/3438.23	c cleaning 90998 clauses out of 182025 with flag 39912865/4275400
3515.58/3514.44	c cleaning 92006 clauses out of 184026 with flag 41057481/4368399
3600.01/3598.91	c starts		: 1561
3600.01/3598.93	c conflicts		: 4455519
3600.01/3598.93	c decisions		: 5529039
3600.01/3598.93	c propagations		: 113675920
3600.01/3598.93	c inspects		: 20849155763
3600.01/3598.93	c shortcuts		: 0
3600.01/3598.93	c learnt literals	: 0
3600.01/3598.93	c learnt binary clauses	: 0
3600.01/3598.93	c learnt ternary clauses	: 0
3600.01/3598.93	c learnt constraints	: 4455519
3600.01/3598.93	c ignored constraints	: 0
3600.01/3598.93	c root simplifications	: 0
3600.01/3598.93	c removed literals (reason simplification)	: 50181303
3600.01/3598.93	c reason swapping (by a shorter reason)	: 0
3600.01/3598.93	c Calls to reduceDB	: 90
3600.01/3598.93	c Number of update (reduction) of LBD	: 3309035
3600.01/3598.93	c Imported unit clauses	: 0
3600.01/3598.93	c No decision after first conflict	: false
3600.01/3598.93	c number of reductions to clauses (during analyze)	: 0
3600.01/3598.93	c number of learned constraints concerned by reduction	: 0
3600.01/3598.93	c number of learning phase by resolution	: 0
3600.01/3598.93	c number of learning phase by cutting planes	: 0
3600.01/3598.93	c number of rounding to 1 operations	: 0
3600.01/3598.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3598.93	c number of reductions of the coefficients by power 2 	: 0
3600.01/3598.93	c number of right shift for reduction by power 2 	: 0
3600.01/3598.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3598.93	c number of ending skipping 	: 0
3600.01/3598.93	c number of internal skipping 	: 0
3600.01/3598.93	c number of derivation steps 	: 0
3600.01/3598.93	c number of skipped derivation steps 	: 0
3600.01/3598.93	c number of remaining unassigned 	: 0
3600.01/3598.93	c number of remaining assigned 	: 0
3600.01/3598.93	c number of falsified literals weakened from reason	: 0
3600.01/3598.93	c number of falsified literals weakened from conflict	: 0
3600.01/3598.94	c time for arithmetic operations	: 0
3600.01/3598.94	c minimum degree of deleted constraints	: null
3600.01/3598.94	c maximum degree of deleted constraints	: null
3600.01/3598.94	c number of deleted constraints	: 0
3600.01/3598.95	c speed (assignments/second)	: 31587.787914069686
3600.01/3598.95	c non guided choices	: 5196
3600.22/3599.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 179140
3600.22/3599.01	s SATISFIABLE
3600.22/3599.01	c Found 4 solution(s)
3600.22/3599.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 
3600.22/3599.02	c objective function=8
3600.22/3599.02	c Total wall clock time (in seconds): 3598.884

Verifier Data 

OK	8

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: 63708 MiB (57724 MiB free)
  memory of node 1: 64465 MiB (61945 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525118-1751618357/watcher-4525118-1751618357 -o /tmp/evaluation-result-4525118-1751618357/solver-4525118-1751618357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86868 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525118-1751618357.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88520, runsolver pid=88517
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.24 4.22 4.17 6/341 88538
/proc/meminfo: memFree=122518512/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=18930384 memory=55396 CPUtime=0.11 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 6488 0 0 0 9 2 0 0 20 0 18 0 77513549 19384713216 13849 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4732596 13849 5340 1 0 547578 0
[pid=88520/tid=88522] ppid=88517 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 5020 0 0 0 6 1 0 0 20 0 18 0 77513551 19384713216 13849 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77513553 19384713216 13849 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=18930384 memory=58485492679666 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77513553 19384713216 13849 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55396 KiB

[startup+0.205901 s]*
/proc/loadavg: 4.24 4.22 4.17 7/341 88538
/proc/meminfo: memFree=122506048/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=18931412 memory=62512 CPUtime=0.3 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 7096 0 0 0 28 2 0 0 20 0 19 0 77513549 19385765888 15628 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4732853 15628 5500 1 0 548245 0
[pid=88520/tid=88522] ppid=88517 vsize=18931412 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) S 88517 88520 86856 0 -1 4194368 5355 0 0 0 15 1 0 0 20 0 19 0 77513551 19385765888 15628 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=18931412 memory=16099 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513553 19385765888 15628 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=18931412 memory=57385981051877 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77513553 19385765888 15628 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=18931412 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (java) R 88517 88520 86856 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 77513570 19385765888 15628 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 2147221247 0 16800975 0 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18931412 KiB
Current children cumulated memory: 62512 KiB

[startup+0.30598 s]*
/proc/loadavg: 4.24 4.22 4.17 6/342 88539
/proc/meminfo: memFree=122505580/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=18996948 memory=67968 CPUtime=0.5 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 8902 0 0 0 47 3 0 0 20 0 19 0 77513549 19452874752 16992 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4749237 16992 5500 1 0 549023 0
[pid=88520/tid=88522] ppid=88517 vsize=18996948 memory=-6000919477068588135 CPUtime=0.26 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 5384 0 0 0 25 1 0 0 20 0 19 0 77513551 19452874752 16992 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 16992 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 16992 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513570 19452874752 16992 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67968 KiB

[startup+0.700216 s]
/proc/loadavg: 4.24 4.22 4.17 6/342 88539
/proc/meminfo: memFree=122492160/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=18996948 memory=83224 CPUtime=1.26 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 12697 0 0 0 122 4 0 0 20 0 19 0 77513549 19452874752 20806 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4749237 20806 5500 1 0 551732 0
[pid=88520/tid=88522] ppid=88517 vsize=18996948 memory=14336 CPUtime=0.65 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 5410 0 0 0 64 1 0 0 20 0 19 0 77513551 19452874752 20806 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 20806 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 20806 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513570 19452874752 20806 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83224 KiB

[startup+1.50024 s]
/proc/loadavg: 4.24 4.22 4.17 6/342 88539
/proc/meminfo: memFree=122486048/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=18996948 memory=94008 CPUtime=2.48 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 15146 0 0 0 243 5 0 0 20 0 19 0 77513549 19452874752 23502 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4749237 23502 5500 1 0 551760 0
[pid=88520/tid=88522] ppid=88517 vsize=18996948 memory=0 CPUtime=1.45 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 6349 0 0 0 143 2 0 0 20 0 19 0 77513551 19452874752 23502 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 23502 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 23502 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513570 19452874752 23502 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94008 KiB

[startup+3.1055 s]
/proc/loadavg: 4.24 4.22 4.17 5/342 88539
/proc/meminfo: memFree=122457336/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=18996948 memory=114628 CPUtime=4.26 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 17422 0 0 0 421 5 0 0 20 0 19 0 77513549 19452874752 28657 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4749237 28657 5500 1 0 551766 0
[pid=88520/tid=88522] ppid=88517 vsize=18996948 memory=10624 CPUtime=3.04 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 6801 0 0 0 302 2 0 0 20 0 19 0 77513551 19452874752 28657 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=18996948 memory=-6000919477068588135 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 28657 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77513553 19452874752 28657 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77513570 19452874752 28657 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114628 KiB

[startup+6.30021 s]
/proc/loadavg: 4.22 4.22 4.17 5/343 88540
/proc/meminfo: memFree=122375276/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=197100 CPUtime=7.65 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 19355 0 0 0 758 7 0 0 20 0 20 0 77513549 19521036288 49275 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 49275 5500 1 0 552056 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 6859 0 0 0 616 3 0 0 20 0 20 0 77513551 19521036288 49275 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 49275 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 49275 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=96056 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 49275 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 7.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197100 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.21 4.17 5/343 88540
/proc/meminfo: memFree=122317940/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=254668 CPUtime=14.08 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 21435 0 0 0 1400 8 0 0 20 0 20 0 77513549 19521036288 63667 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 63667 5500 1 0 552056 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=96056 CPUtime=12.52 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 7480 0 0 0 1249 3 0 0 20 0 20 0 77513551 19521036288 63667 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=254668 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 63667 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 63667 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 63667 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 254668 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.20 4.17 5/343 88541
/proc/meminfo: memFree=122025644/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=328772 CPUtime=27.02 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 26106 0 0 0 2691 11 0 0 20 0 20 0 77513549 19521036288 82193 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 82193 5500 1 0 552072 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=254668 CPUtime=25.22 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 8444 0 0 0 2519 3 0 0 20 0 20 0 77513551 19521036288 82193 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 82193 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=328772 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 82193 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 82193 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 328772 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.20 4.17 5/343 88541
/proc/meminfo: memFree=121547800/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=630468 CPUtime=52.85 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 27317 0 0 0 5269 16 0 0 20 0 20 0 77513549 19521036288 157617 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 157617 5532 1 0 552072 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=410868 CPUtime=50.5 cores=1,3

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

/proc/meminfo: memFree=114609960/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2934768 CPUtime=3283.24 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 101626 0 0 0 328188 136 0 0 20 0 20 0 77513549 19521036288 733692 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733692 5564 1 0 746189 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=10624 CPUtime=3267.09 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 41577 0 0 0 326686 23 0 0 20 0 20 0 77513551 19521036288 733692 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=2934512 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733692 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1741 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733692 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733692 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3283.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2934768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.19 4.17 5/341 88859
/proc/meminfo: memFree=114413464/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2935280 CPUtime=3343.79 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 104972 0 0 0 334241 138 0 0 20 0 20 0 77513549 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733820 5564 1 0 746189 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=2934768 CPUtime=3326.76 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 42533 0 0 0 332653 23 0 0 20 0 20 0 77513551 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=5092 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1799 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3343.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/341 88928
/proc/meminfo: memFree=121711468/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2935280 CPUtime=3403.74 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 105654 0 0 0 340234 140 0 0 20 0 20 0 77513549 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733820 5564 1 0 746190 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=2760 CPUtime=3386.51 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 43123 0 0 0 338628 23 0 0 20 0 20 0 77513551 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1799 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3403.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/341 88932
/proc/meminfo: memFree=121073316/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2935280 CPUtime=3463.6 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 106723 0 0 0 346219 141 0 0 20 0 20 0 77513549 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733820 5564 1 0 746190 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=2760 CPUtime=3446.36 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 44069 0 0 0 344613 23 0 0 20 0 20 0 77513551 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1849 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3463.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/341 88939
/proc/meminfo: memFree=120676988/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2935280 CPUtime=3523.46 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 107464 0 0 0 352204 142 0 0 20 0 20 0 77513549 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733820 5564 1 0 746190 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=3200 CPUtime=3506.2 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 44664 0 0 0 350597 23 0 0 20 0 20 0 77513551 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1898 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=-6000919477068588135 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3523.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/340 88941
/proc/meminfo: memFree=120329624/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2935280 CPUtime=3583.45 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 108807 0 0 0 358201 144 0 0 20 0 20 0 77513549 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733820 5564 1 0 746190 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=14156 CPUtime=3565.9 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 45042 0 0 0 356567 23 0 0 20 0 20 0 77513551 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=2935280 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3583.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.9 s]
/proc/loadavg: 4.12 4.16 4.17 5/340 88941
/proc/meminfo: memFree=119938752/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19063512 memory=2935280 CPUtime=3600.01 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 108975 0 0 0 359857 144 0 0 20 0 20 0 77513549 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4765878 733820 5564 1 0 746190 0
[pid=88520/tid=88522] ppid=88517 vsize=19063512 memory=0 CPUtime=3582.46 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 45203 0 0 0 358223 23 0 0 20 0 20 0 77513551 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 20 0 77513553 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88539] ppid=88517 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88520/task/88539/stat : 88539 (Timer-0) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77513570 19521036288 733820 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.81 s, system=1.46295 s

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

[startup+3599 s]*
/proc/loadavg: 4.12 4.16 4.17 6/341 88944
/proc/meminfo: memFree=119930560/131249996 swapFree=33000896/33010684
[pid=88520] ppid=88517 vsize=19263204 memory=2936048 CPUtime=3600.22 cores=1,3
/proc/88520/stat : 88520 (java) S 88517 88520 86856 0 -1 4194304 110517 0 0 0 359877 145 0 0 20 0 21 0 77513549 19725520896 734012 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
/proc/88520/statm: 4815801 734012 5564 1 0 747153 0
[pid=88520/tid=88522] ppid=88517 vsize=19263204 memory=-6000919489970005095 CPUtime=3582.56 cores=1,3
/proc/88520/task/88522/stat : 88522 (java) R 88517 88520 86856 0 -1 4194368 45314 0 0 0 358233 23 0 0 20 0 21 0 77513551 19725520896 734012 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88531] ppid=88517 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/88520/task/88531/stat : 88531 (Finalizer) S 88517 88520 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77513553 19725520896 734012 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88538] ppid=88517 vsize=19263204 memory=5156 CPUtime=0 cores=1,3
/proc/88520/task/88538/stat : 88538 (Common-Cleaner) S 88517 88520 86856 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 21 0 77513553 19725520896 734012 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
[pid=88520/tid=88944] ppid=88517 vsize=19263204 memory=5152 CPUtime=0.06 cores=1,3
/proc/88520/task/88944/stat : 88944 (Thread-0) R 88517 88520 86856 0 -1 4194368 300 0 0 0 6 0 0 0 20 0 21 0 77873440 19725520896 734012 18446744073709551615 94887260282880 94887260286576 140729338950880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94887260294392 94887260295184 94887290888192 140729338960255 140729338960356 140729338960356 140729338965960 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2936048 KiB

Child status: 143

Real time (s): 3599.04
CPU time (s): 3600.28
CPU user time (s): 3598.81
CPU system time (s): 1.46295
CPU usage (%): 100.034
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2936048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.81
system time used= 1.46295
maximum resident set size= 2936176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106463
involuntary context switches= 5977


# summary of solver processes directly reported to runsolver:
#   pid: 88520
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3598.81
#   total CPU system time (s): 1.46295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6721 second user time and 11.8712 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 10:39:17
IDJOB=4525118
IDBENCH=143458
IDSOLVER=3380
FILE ID=nodeC023/4525118-1751618357
RUNJOBID= nodeC023-1751614174-86868
SLURM_JOB_ID= 9598917
Free space on /tmp= 431868 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525118-1751618357/watcher-4525118-1751618357 -o /tmp/evaluation-result-4525118-1751618357/solver-4525118-1751618357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86868 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4525118-1751618357.wbo

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

MD5SUM BENCH= 3f98d9dae6e37ed8fccc9a6610b1b02a
RANDOM SEED=770171487

nodeC023 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.666
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.78
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		: 3600.488
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.78
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		: 3552.751
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.78
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.405
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.78
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.906
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122541648 kB
MemAvailable:   122292108 kB
Buffers:              16 kB
Cached:           493424 kB
SwapCached:         2900 kB
Active:          7645652 kB
Inactive:         353956 kB
Active(anon):    7465324 kB
Inactive(anon):    53368 kB
Active(file):     180328 kB
Inactive(file):   300588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               772 kB
Writeback:             0 kB
AnonPages:       7506348 kB
Mapped:           117940 kB
Shmem:             12524 kB
KReclaimable:     217568 kB
Slab:             309472 kB
SReclaimable:     217568 kB
SUnreclaim:        91904 kB
KernelStack:        5148 kB
PageTables:        18392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8782732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7245824 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431868 MiB
End job on nodeC023 at 2025-07-04 11:39:16