Trace number 4425039

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.37 3591.26

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM56f113729af746fd86a72114a36af771
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.037244
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints122
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 5869
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4425039-1720878597.wbo
0.14/0.12	c reading problem ... 
0.14/0.16	c ... done. Wall clock time 0.033s.
0.14/0.16	c declared #vars     1860
0.14/0.16	c internal #vars     1982
0.14/0.16	c #constraints  123
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.14/0.16	c org.sat4j.specs.Constr$1 => 1
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 62
0.14/0.16	c 123 constraints processed.
0.14/0.17	c objective function length is 122 literals
0.72/0.43	c SATISFIABLE
0.72/0.43	c OPTIMIZING...
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.305
0.72/0.43	o 85
1.08/0.68	c Got one! Elapsed wall clock time (in seconds):0.557
1.08/0.68	o 62
1.33/0.84	c cleaning 3222 clauses out of 6457 with flag 5785/6457
1.51/0.98	c Got one! Elapsed wall clock time (in seconds):0.853
1.51/0.98	o 36
1.98/1.34	c cleaning 4197 clauses out of 8406 with flag 18852/11628
2.59/1.92	c cleaning 5097 clauses out of 10208 with flag 64110/17627
3.30/2.61	c cleaning 6043 clauses out of 12110 with flag 120516/24626
3.50/2.82	c Got one! Elapsed wall clock time (in seconds):2.696
3.50/2.82	o 21
3.81/3.19	c cleaning 5832 clauses out of 11674 with flag 21718/30233
4.61/3.98	c cleaning 5908 clauses out of 11842 with flag 70796/36233
5.74/4.94	c cleaning 6459 clauses out of 12935 with flag 127004/43234
6.74/5.99	c cleaning 7232 clauses out of 14476 with flag 186281/51234
7.74/6.96	c Got one! Elapsed wall clock time (in seconds):6.833
7.74/6.96	o 13
7.74/6.97	c Got one! Elapsed wall clock time (in seconds):6.852
7.74/6.97	o 7
9.24/8.43	c cleaning 9265 clauses out of 18546 with flag 34654/62536
10.46/9.64	c cleaning 7634 clauses out of 15280 with flag 80010/68535
11.56/10.74	c cleaning 7314 clauses out of 14645 with flag 140390/75534
12.86/12.02	c cleaning 7655 clauses out of 15331 with flag 205569/83534
13.16/12.30	c Got one! Elapsed wall clock time (in seconds):12.18
13.16/12.30	o 5
13.36/12.58	c cleaning 6537 clauses out of 13097 with flag 17592/88955
14.16/13.39	c cleaning 6270 clauses out of 12560 with flag 59221/94955
15.26/14.41	c cleaning 6629 clauses out of 13290 with flag 111764/101955
16.58/15.77	c cleaning 7316 clauses out of 14661 with flag 177400/109955
18.11/17.21	c cleaning 8154 clauses out of 16346 with flag 251613/118956
19.83/18.92	c cleaning 9078 clauses out of 18191 with flag 326029/128955
22.26/21.31	c cleaning 10044 clauses out of 20113 with flag 410509/139955
24.95/24.03	c cleaning 11025 clauses out of 22073 with flag 508361/151959
26.55/25.66	c cleaning 11999 clauses out of 24044 with flag 607394/164955
27.61/26.66	c cleaning 12985 clauses out of 26045 with flag 691346/178955
30.41/29.35	c cleaning 13991 clauses out of 28060 with flag 794221/193955
32.16/31.06	c cleaning 14954 clauses out of 30069 with flag 895291/209955
34.48/33.26	c cleaning 15844 clauses out of 32116 with flag 1063127/226956
38.99/37.53	c cleaning 17118 clauses out of 34271 with flag 1282424/244955
48.39/46.70	c cleaning 18077 clauses out of 36154 with flag 1508438/263956
65.01/63.27	c cleaning 19034 clauses out of 38076 with flag 1751125/283955
76.90/74.96	c cleaning 20022 clauses out of 40043 with flag 2003373/304956
88.15/85.75	c cleaning 20997 clauses out of 42022 with flag 2257120/326957
105.25/102.67	c cleaning 22010 clauses out of 44023 with flag 2528194/349955
119.18/116.24	c cleaning 23004 clauses out of 46013 with flag 2823497/373955
134.41/131.23	c cleaning 24000 clauses out of 48010 with flag 3133258/398956
159.45/155.47	c cleaning 25002 clauses out of 50009 with flag 3455900/424955
185.12/181.07	c cleaning 26002 clauses out of 52010 with flag 3809307/451958
222.52/218.32	c cleaning 27000 clauses out of 54005 with flag 4186311/479955
263.80/259.31	c cleaning 27997 clauses out of 56005 with flag 4565448/508955
301.48/296.13	c cleaning 29005 clauses out of 58012 with flag 4966986/538959
348.83/343.56	c cleaning 29992 clauses out of 60003 with flag 5427063/569955
395.70/390.40	c cleaning 31004 clauses out of 62011 with flag 5897211/601955
451.46/446.16	c cleaning 32003 clauses out of 64007 with flag 6376889/634955
507.58/502.30	c cleaning 32998 clauses out of 66005 with flag 6861276/668956
568.93/563.77	c cleaning 34003 clauses out of 68006 with flag 7357852/703955
641.22/635.21	c cleaning 34996 clauses out of 70004 with flag 7875553/739956
714.96/709.07	c cleaning 36002 clauses out of 72008 with flag 8410174/776956
776.10/770.02	c cleaning 36997 clauses out of 74005 with flag 8975103/814955
831.54/825.35	c cleaning 38001 clauses out of 76009 with flag 9541135/853956
865.93/859.70	c cleaning 39004 clauses out of 78008 with flag 9885530/893956
919.71/913.42	c cleaning 40001 clauses out of 80006 with flag 10221814/934958
981.15/974.61	c cleaning 41000 clauses out of 82003 with flag 10563679/976956
1028.21/1020.21	c cleaning 41995 clauses out of 84004 with flag 10940841/1019957
1074.10/1065.82	c cleaning 43001 clauses out of 86009 with flag 11310437/1063957
1133.23/1124.68	c cleaning 43997 clauses out of 88006 with flag 11737576/1108955
1201.75/1192.87	c cleaning 45002 clauses out of 90010 with flag 12145665/1154956
1253.10/1243.66	c cleaning 45990 clauses out of 92007 with flag 12596358/1201955
1307.62/1298.23	c cleaning 47005 clauses out of 94017 with flag 13081935/1249955
1347.93/1338.16	c cleaning 48001 clauses out of 96013 with flag 13577740/1298956
1393.56/1383.45	c cleaning 48998 clauses out of 98013 with flag 13990702/1348957
1442.13/1431.56	c cleaning 50002 clauses out of 100015 with flag 14455543/1399957
1503.43/1491.36	c cleaning 51001 clauses out of 102012 with flag 14898516/1451956
1588.71/1576.69	c cleaning 51997 clauses out of 104010 with flag 15361395/1504955
1670.88/1658.91	c cleaning 53001 clauses out of 106013 with flag 15856587/1558955
1756.58/1744.86	c cleaning 53995 clauses out of 108014 with flag 16411599/1613957
1847.39/1835.79	c cleaning 55003 clauses out of 110021 with flag 17039724/1669959
1925.56/1913.81	c cleaning 55995 clauses out of 112015 with flag 17697393/1726956
2004.54/1993.24	c cleaning 56999 clauses out of 114019 with flag 18337971/1784955
2088.43/2077.53	c cleaning 58003 clauses out of 116021 with flag 18979371/1843956
2179.51/2168.49	c cleaning 59000 clauses out of 118018 with flag 19632778/1903956
2269.29/2257.79	c cleaning 59996 clauses out of 120017 with flag 20262668/1964955
2381.37/2368.06	c cleaning 61000 clauses out of 122021 with flag 20887063/2026955
2484.67/2471.55	c cleaning 62003 clauses out of 124022 with flag 21564843/2089956
2599.94/2587.09	c cleaning 63002 clauses out of 126019 with flag 22268408/2153956
2721.87/2709.51	c cleaning 63999 clauses out of 128018 with flag 23048178/2218957
2826.04/2813.86	c cleaning 65004 clauses out of 130019 with flag 23739748/2284957
2951.03/2939.56	c cleaning 66002 clauses out of 132013 with flag 24360296/2351955
3085.23/3074.06	c cleaning 66998 clauses out of 134014 with flag 24987739/2419958
3217.24/3206.98	c cleaning 67997 clauses out of 136013 with flag 25652922/2488955
3364.88/3355.12	c cleaning 69002 clauses out of 138020 with flag 26345909/2558959
3510.33/3501.19	c cleaning 70000 clauses out of 140014 with flag 26986278/2629955
3600.09/3591.11	c starts		: 12882
3600.09/3591.13	c conflicts		: 2676026
3600.09/3591.13	c decisions		: 10317584
3600.09/3591.13	c propagations		: 48289912
3600.09/3591.13	c inspects		: 11324155469
3600.09/3591.13	c shortcuts		: 0
3600.09/3591.13	c learnt literals	: 0
3600.09/3591.13	c learnt binary clauses	: 0
3600.09/3591.13	c learnt ternary clauses	: 0
3600.09/3591.13	c learnt constraints	: 2676026
3600.09/3591.13	c ignored constraints	: 0
3600.09/3591.13	c root simplifications	: 0
3600.09/3591.13	c removed literals (reason simplification)	: 0
3600.09/3591.13	c reason swapping (by a shorter reason)	: 0
3600.09/3591.13	c Calls to reduceDB	: 79
3600.09/3591.13	c Number of update (reduction) of LBD	: 1486234
3600.09/3591.13	c Imported unit clauses	: 0
3600.09/3591.13	c No decision after first conflict	: false
3600.09/3591.13	c number of reductions to clauses (during analyze)	: 0
3600.09/3591.13	c number of learned constraints concerned by reduction	: 0
3600.09/3591.13	c number of learning phase by resolution	: 0
3600.09/3591.13	c number of learning phase by cutting planes	: 0
3600.09/3591.13	c number of rounding to 1 operations	: 0
3600.09/3591.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3591.13	c number of reductions of the coefficients by power 2 	: 0
3600.09/3591.13	c number of right shift for reduction by power 2 	: 0
3600.09/3591.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3591.13	c number of ending skipping 	: 0
3600.09/3591.13	c number of internal skipping 	: 0
3600.09/3591.13	c number of derivation steps 	: 0
3600.09/3591.13	c number of skipped derivation steps 	: 0
3600.09/3591.13	c number of remaining unassigned 	: 0
3600.09/3591.13	c number of remaining assigned 	: 0
3600.09/3591.13	c number of falsified literals weakened from reason	: 0
3600.09/3591.13	c number of falsified literals weakened from conflict	: 0
3600.09/3591.13	c time for arithmetic operations	: 0
3600.09/3591.14	c minimum degree of deleted constraints	: null
3600.09/3591.14	c maximum degree of deleted constraints	: null
3600.09/3591.14	c number of deleted constraints	: 0
3600.09/3591.15	c speed (assignments/second)	: 13447.610475844105
3600.09/3591.15	c non guided choices	: 25971
3600.09/3591.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 116085
3600.09/3591.21	s SATISFIABLE
3600.09/3591.21	c Found 7 solution(s)
3600.32/3591.22	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 
3600.32/3591.22	c objective function=5
3600.32/3591.22	c Total wall clock time (in seconds): 3591.097

Verifier Data 

OK	5

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425039-1720878597/watcher-4425039-1720878597 -o /tmp/evaluation-result-4425039-1720878597/solver-4425039-1720878597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720878609-709374 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425039-1720878597.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=709405, runsolver pid=709402

[startup+0.101278 s]*
/proc/loadavg: 1.15 1.30 2.30 10/324 709504
/proc/meminfo: memFree=129386296/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=18975048 memory=62788 CPUtime=0.14 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 7217 0 0 0 12 2 0 0 20 0 18 0 140028597 19430449152 15697 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4743762 15697 5601 1 0 549334 0
[pid=709405/tid=709419] ppid=709402 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 5741 0 0 0 7 1 0 0 20 0 18 0 140028598 19430449152 15697 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=18975048 memory=15932 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140028600 19430449152 15697 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140028601 19430449152 15697 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62788 KiB

[startup+0.20625 s]*
/proc/loadavg: 1.15 1.30 2.30 14/328 709508
/proc/meminfo: memFree=129350496/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19041612 memory=69924 CPUtime=0.34 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 7839 0 0 0 32 2 0 0 20 0 19 0 140028597 19498610688 17481 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4760403 17481 5910 1 0 550011 0
[pid=709405/tid=709419] ppid=709402 vsize=19041612 memory=664970851429515395 CPUtime=0.18 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 6002 0 0 0 17 1 0 0 20 0 19 0 140028598 19498610688 17481 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19041612 memory=15932 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028600 19498610688 17481 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19041612 memory=14408211646121490 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140028601 19498610688 17481 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 17481 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69924 KiB

[startup+0.30625 s]*
/proc/loadavg: 1.15 1.30 2.30 13/328 709508
/proc/meminfo: memFree=129320220/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19041612 memory=75764 CPUtime=0.53 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 9218 0 0 0 51 2 0 0 20 0 19 0 140028597 19498610688 18941 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4760403 18941 5910 1 0 550787 0
[pid=709405/tid=709419] ppid=709402 vsize=19041612 memory=-9176759767959773884 CPUtime=0.27 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 6007 0 0 0 26 1 0 0 20 0 19 0 140028598 19498610688 18941 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028600 19498610688 18941 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140028601 19498610688 18941 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 18941 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75764 KiB

[startup+0.703255 s]
/proc/loadavg: 1.15 1.30 2.30 11/328 709508
/proc/meminfo: memFree=129296188/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19041612 memory=88904 CPUtime=1.22 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 9491 0 0 0 119 3 0 0 20 0 19 0 140028597 19498610688 22226 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4760403 22226 5926 1 0 551001 0
[pid=709405/tid=709419] ppid=709402 vsize=19041612 memory=12512 CPUtime=0.65 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 6033 0 0 0 64 1 0 0 20 0 19 0 140028598 19498610688 22226 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19041612 memory=12512 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028600 19498610688 22226 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19041612 memory=2209 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140028601 19498610688 22226 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19041612 memory=2400 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 22226 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88904 KiB

[startup+1.50027 s]
/proc/loadavg: 1.15 1.30 2.30 7/328 709510
/proc/meminfo: memFree=129244312/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19041612 memory=114380 CPUtime=2.19 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 12064 0 0 0 216 3 0 0 20 0 19 0 140028597 19498610688 28595 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4760403 28595 5941 1 0 552084 0
[pid=709405/tid=709419] ppid=709402 vsize=19041612 memory=12512 CPUtime=1.45 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 6449 0 0 0 143 2 0 0 20 0 19 0 140028598 19498610688 28595 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19041612 memory=2400 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028600 19498610688 28595 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140028601 19498610688 28595 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19041612 memory=1904 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 28595 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114380 KiB

[startup+3.1057 s]
/proc/loadavg: 1.15 1.30 2.30 5/328 709510
/proc/meminfo: memFree=129113080/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19041612 memory=151292 CPUtime=3.81 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 13023 0 0 0 377 4 0 0 20 0 19 0 140028597 19498610688 37823 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4760403 37823 5941 1 0 552101 0
[pid=709405/tid=709419] ppid=709402 vsize=19041612 memory=0 CPUtime=3.04 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 7023 0 0 0 302 2 0 0 20 0 19 0 140028598 19498610688 37823 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19041612 memory=12512 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028600 19498610688 37823 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19041612 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140028601 19498610688 37823 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19041612 memory=35052 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 37823 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151292 KiB

[startup+6.30026 s]
/proc/loadavg: 1.62 1.40 2.32 5/329 709511
/proc/meminfo: memFree=128992180/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=191624 CPUtime=7.14 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 18071 0 0 0 708 6 0 0 20 0 20 0 140028597 19566772224 47906 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 47906 5989 1 0 552735 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=0 CPUtime=6.21 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 7540 0 0 0 618 3 0 0 20 0 20 0 140028598 19566772224 47906 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=6152590470563714898 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 47906 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 47906 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 47906 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191624 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 1.49 2.35 5/332 709515
/proc/meminfo: memFree=128809256/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=247648 CPUtime=13.56 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 19596 0 0 0 1349 7 0 0 20 0 20 0 140028597 19566772224 61912 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 61912 5992 1 0 552735 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=0 CPUtime=12.52 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 8203 0 0 0 1249 3 0 0 20 0 20 0 140028598 19566772224 61912 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=247648 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 61912 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=247648 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 61912 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 61912 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 247648 KiB

[startup+25.5003 s]
/proc/loadavg: 3.14 1.76 2.42 5/332 709517
/proc/meminfo: memFree=128410852/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=367212 CPUtime=26.45 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 24336 0 0 0 2635 10 0 0 20 0 20 0 140028597 19566772224 91803 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 91803 6008 1 0 552735 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=247648 CPUtime=25.14 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 9163 0 0 0 2511 3 0 0 20 0 20 0 140028598 19566772224 91803 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 91803 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=367212 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 91803 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 91803 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 26.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 367212 KiB

[startup+51.1063 s]
/proc/loadavg: 3.67 2.00 2.49 5/335 709528
/proc/meminfo: memFree=126757544/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=1568840 CPUtime=52.9 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 32246 0 0 0 5257 33 0 0 20 0 20 0 140028597 19566772224 392210 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 392210 6008 1 0 941325 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=1257352 CPUtime=49.66 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/332 711302
/proc/meminfo: memFree=109945980/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10767868 CPUtime=3292.74 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 326101 0 0 0 328931 343 0 0 20 0 20 0 140028597 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2691967 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=12088 CPUtime=3230.17 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 127934 0 0 0 322962 55 0 0 20 0 20 0 140028598 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=-4421386491919559270 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=10767868 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 3601 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3292.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10767868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/332 711312
/proc/meminfo: memFree=109863012/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10767868 CPUtime=3352.19 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 329704 0 0 0 334874 345 0 0 20 0 20 0 140028597 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2691967 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=12088 CPUtime=3289.6 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 131333 0 0 0 328904 56 0 0 20 0 20 0 140028598 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=1948 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=10767868 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 3696 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=10767868 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2691967 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3352.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10767868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/330 711322
/proc/meminfo: memFree=109862448/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10767876 CPUtime=3411.97 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 336014 0 0 0 340850 347 0 0 20 0 20 0 140028597 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2691969 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=35164 CPUtime=3348.69 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 134811 0 0 0 334813 56 0 0 20 0 20 0 140028598 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=10767876 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 3784 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=10767876 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3411.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10767876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/330 711334
/proc/meminfo: memFree=109861420/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10767876 CPUtime=3471.42 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 340275 0 0 0 346793 349 0 0 20 0 20 0 140028597 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2691969 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=35164 CPUtime=3408.1 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 138771 0 0 0 340754 56 0 0 20 0 20 0 140028598 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=10767876 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 3932 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=12512 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2691969 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3471.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10767876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/330 711344
/proc/meminfo: memFree=109852368/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10774040 CPUtime=3531.33 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 346728 0 0 0 352782 351 0 0 20 0 20 0 140028597 19566772224 2693510 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2693510 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=12088 CPUtime=3467.03 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 142542 0 0 0 346646 57 0 0 20 0 20 0 140028598 19566772224 2693510 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=10767876 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2693510 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=10774040 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 4026 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2693510 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=10774040 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2693510 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3531.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10774040 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/330 711354
/proc/meminfo: memFree=109775684/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10849816 CPUtime=3591.31 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 352771 0 0 0 358775 356 0 0 20 0 20 0 140028597 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2712454 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=12088 CPUtime=3526.21 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 145807 0 0 0 352563 58 0 0 20 0 20 0 140028598 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=108 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=10849816 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 4155 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=10849816 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3591.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10849816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.11 s]
/proc/loadavg: 4.08 4.12 4.09 5/330 711355
/proc/meminfo: memFree=109775732/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19108176 memory=10849816 CPUtime=3600.09 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 353429 0 0 0 359653 356 0 0 20 0 20 0 140028597 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4777044 2712454 6008 1 0 3557422 0
[pid=709405/tid=709419] ppid=709402 vsize=19108176 memory=12088 CPUtime=3534.99 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 146463 0 0 0 353441 58 0 0 20 0 20 0 140028598 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19108176 memory=10774040 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028600 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19108176 memory=32872 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 4155 0 0 0 0 0 0 0 20 0 20 0 140028601 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709505] ppid=709402 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/709405/task/709505/stat : 709505 (Timer-0) S 709402 709405 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 2712454 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10849816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.77 s, system=3.59815 s

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

[startup+3591.22 s]
/proc/loadavg: 4.08 4.12 4.09 5/330 711355
/proc/meminfo: memFree=109775732/131524600 swapFree=131071996/131071996
[pid=709405] ppid=709402 vsize=19307868 memory=10850544 CPUtime=3600.32 cores=1,3
/proc/709405/stat : 709405 (java) S 709402 709405 706602 0 -1 1077936128 356897 0 0 0 359675 357 0 0 20 0 21 0 140028597 19771256832 2712636 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
/proc/709405/statm: 4826967 2712636 6007 1 0 3558331 0
[pid=709405/tid=709419] ppid=709402 vsize=19307868 memory=10849816 CPUtime=3535.11 cores=1,3
/proc/709405/task/709419/stat : 709419 (java) R 709402 709405 706602 0 -1 4194368 146715 0 0 0 353453 58 0 0 20 0 21 0 140028598 19771256832 2712636 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709449] ppid=709402 vsize=19307868 memory=10849816 CPUtime=0 cores=1,3
/proc/709405/task/709449/stat : 709449 (Finalizer) S 709402 709405 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140028600 19771256832 2712636 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
[pid=709405/tid=709467] ppid=709402 vsize=19307868 memory=2268 CPUtime=0 cores=1,3
/proc/709405/task/709467/stat : 709467 (Common-Cleaner) S 709402 709405 706602 0 -1 1077936192 4155 0 0 0 0 0 0 0 20 0 21 0 140028601 19771256832 2712636 134679101440 93874405412864 93874405416560 140733667253984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93874405424376 93874405425168 93874409172992 140733667259373 140733667259463 140733667259463 140733667266504 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10850544 KiB

Child status: 143

Real time (s): 3591.26
CPU time (s): 3600.37
CPU user time (s): 3596.77
CPU system time (s): 3.59815
CPU usage (%): 100.254
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10850544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.77
system time used= 3.59815
maximum resident set size= 10851372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110819
involuntary context switches= 33998


# summary of solver processes directly reported to runsolver:
#   pid: 709405
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3596.77
#   total CPU system time (s): 3.59815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69235 second user time and 17.808 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-13 15:50:09
IDJOB=4425039
IDBENCH=143137
IDSOLVER=3037
FILE ID=nodeC032/4425039-1720878597
RUNJOBID= nodeC032-1720878609-709374
SLURM_JOB_ID= 7483773
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425039-1720878597/watcher-4425039-1720878597 -o /tmp/evaluation-result-4425039-1720878597/solver-4425039-1720878597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720878609-709374 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425039-1720878597.wbo

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

MD5SUM BENCH= 56f113729af746fd86a72114a36af771
RANDOM SEED=1517112503

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129545940 kB
MemAvailable:   129763156 kB
Buffers:          320352 kB
Cached:           740956 kB
SwapCached:            0 kB
Active:           473976 kB
Inactive:         942124 kB
Active(anon):       1452 kB
Inactive(anon):   391052 kB
Active(file):     472524 kB
Inactive(file):   551072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               768 kB
Writeback:             0 kB
AnonPages:        354824 kB
Mapped:           101476 kB
Shmem:             37720 kB
KReclaimable:      66884 kB
Slab:             165368 kB
SReclaimable:      66884 kB
SUnreclaim:        98484 kB
KernelStack:        3856 kB
PageTables:         9844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55840 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172756 kB
DirectMap2M:     6940672 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC032 at 2024-07-13 16:50:00