Trace number 4498437

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)-85 3600.34 3592.86

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb
MD5SUM08873ac12267207049f5888e334cf105
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-152
Best CPU time to get the best result obtained on this benchmark72000.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.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.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4498437-1751393795.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
0.50/0.32	c ... done. Wall clock time 0.179s.
0.50/0.32	c declared #vars     1000
0.50/0.32	c internal #vars     7326
0.50/0.32	c #constraints  14154
0.50/0.32	c constraints type 
0.50/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
0.50/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
0.50/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326
0.50/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6326
0.50/0.33	c 14154 constraints processed.
0.50/0.34	c objective function length is 500 literals
3.83/2.94	c cleaning 2498 clauses out of 5001 with flag 44983/5001
6.70/5.76	c cleaning 4242 clauses out of 8502 with flag 63394/11000
10.05/9.09	c cleaning 5626 clauses out of 11261 with flag 93377/18001
13.45/12.43	c cleaning 6811 clauses out of 13635 with flag 114529/26001
16.74/15.68	c SATISFIABLE
16.74/15.68	c OPTIMIZING...
16.74/15.68	c Got one! Elapsed wall clock time (in seconds):15.543
16.74/15.68	o -73
19.03/17.83	c cleaning 9485 clauses out of 18970 with flag 47116/38147
21.62/20.43	c cleaning 7741 clauses out of 15485 with flag 65236/44147
24.51/23.35	c cleaning 7366 clauses out of 14744 with flag 85593/51147
27.91/26.70	c cleaning 7682 clauses out of 15378 with flag 110655/59147
31.70/30.57	c cleaning 8348 clauses out of 16697 with flag 139467/68148
35.99/34.81	c cleaning 9165 clauses out of 18349 with flag 171760/78148
40.80/39.67	c cleaning 10086 clauses out of 20184 with flag 208696/89148
45.79/44.63	c cleaning 11048 clauses out of 22098 with flag 249441/101148
51.29/50.13	c cleaning 12024 clauses out of 24049 with flag 290158/114147
57.32/56.15	c cleaning 13011 clauses out of 26025 with flag 336467/128147
63.95/62.79	c cleaning 14006 clauses out of 28014 with flag 384460/143147
71.16/69.96	c cleaning 15004 clauses out of 30008 with flag 435676/159147
78.94/77.75	c cleaning 15997 clauses out of 32004 with flag 487753/176147
87.33/86.19	c cleaning 17003 clauses out of 34008 with flag 550754/194148
91.23/90.08	c Got one! Elapsed wall clock time (in seconds):89.942
91.23/90.08	o -78
93.44/92.24	c cleaning 15222 clauses out of 30443 with flag 38530/207586
95.94/94.75	c cleaning 10609 clauses out of 21221 with flag 63459/213586
98.98/97.71	c cleaning 8798 clauses out of 17612 with flag 90136/220586
102.54/101.22	c cleaning 8401 clauses out of 16815 with flag 116680/228587
106.24/105.00	c cleaning 8704 clauses out of 17413 with flag 147035/237586
110.63/109.31	c cleaning 9346 clauses out of 18710 with flag 182411/247587
115.43/114.17	c cleaning 10181 clauses out of 20363 with flag 218569/258586
120.51/119.23	c cleaning 11087 clauses out of 22183 with flag 258319/270587
126.12/124.82	c cleaning 12044 clauses out of 24095 with flag 299392/283586
132.25/130.99	c cleaning 13022 clauses out of 26052 with flag 343952/297587
138.93/137.69	c cleaning 14013 clauses out of 28030 with flag 396969/312587
146.37/145.04	c cleaning 15007 clauses out of 30016 with flag 452321/328586
149.16/147.86	c Got one! Elapsed wall clock time (in seconds):147.72
149.16/147.86	o -79
151.36/150.10	c cleaning 13146 clauses out of 26292 with flag 31255/339869
154.05/152.72	c cleaning 9568 clauses out of 19147 with flag 52224/345870
157.04/155.73	c cleaning 8285 clauses out of 16579 with flag 76922/352870
160.34/159.08	c cleaning 8138 clauses out of 16294 with flag 105508/360870
164.13/162.83	c cleaning 8574 clauses out of 17156 with flag 136108/369870
168.32/167.08	c cleaning 9282 clauses out of 18582 with flag 171588/379870
173.23/171.96	c cleaning 10150 clauses out of 20300 with flag 211726/390870
178.43/177.16	c cleaning 11067 clauses out of 22150 with flag 253619/402870
178.82/177.51	c Got one! Elapsed wall clock time (in seconds):177.371
178.82/177.51	o -84
180.99/179.60	c cleaning 8466 clauses out of 16931 with flag 19732/408718
183.49/182.14	c cleaning 7226 clauses out of 14466 with flag 40211/414719
186.48/185.16	c cleaning 7114 clauses out of 14239 with flag 62649/421718
189.67/188.38	c cleaning 7562 clauses out of 15125 with flag 89246/429718
193.26/191.98	c cleaning 8281 clauses out of 16564 with flag 119714/438719
197.36/196.09	c cleaning 9136 clauses out of 18283 with flag 151992/448719
201.94/200.68	c cleaning 10068 clauses out of 20146 with flag 189710/459718
207.16/205.83	c cleaning 11037 clauses out of 22078 with flag 232805/471718
212.74/211.49	c cleaning 12021 clauses out of 24041 with flag 280359/484718
218.53/217.29	c cleaning 13001 clauses out of 26020 with flag 325753/498718
224.82/223.53	c cleaning 14004 clauses out of 28020 with flag 376522/513719
231.70/230.49	c cleaning 15000 clauses out of 30016 with flag 434238/529719
239.08/237.84	c cleaning 16006 clauses out of 32016 with flag 493357/546719
246.99/245.74	c cleaning 16998 clauses out of 34009 with flag 555933/564718
255.07/253.89	c cleaning 18002 clauses out of 36011 with flag 625212/583718
263.75/262.53	c cleaning 19004 clauses out of 38010 with flag 697031/603719
272.93/271.77	c cleaning 19997 clauses out of 40006 with flag 771872/624719
282.64/281.47	c cleaning 21002 clauses out of 42008 with flag 846608/646718
292.72/291.55	c cleaning 22003 clauses out of 44006 with flag 924476/669718
303.50/302.38	c cleaning 22995 clauses out of 46003 with flag 1008587/693718
305.20/304.08	c Got one! Elapsed wall clock time (in seconds):303.944
305.20/304.08	o -85
307.49/306.32	c cleaning 16580 clauses out of 33159 with flag 26549/703869
310.12/308.95	c cleaning 11278 clauses out of 22578 with flag 49490/709868
313.11/311.92	c cleaning 9141 clauses out of 18301 with flag 74034/716869
316.21/315.07	c cleaning 8582 clauses out of 17164 with flag 115228/724873
319.70/318.56	c cleaning 8754 clauses out of 17577 with flag 200206/733868
324.13/322.95	c cleaning 9374 clauses out of 18825 with flag 292052/743870
330.10/328.82	c cleaning 10210 clauses out of 20452 with flag 404450/754871
335.48/334.23	c cleaning 11121 clauses out of 22242 with flag 520035/766871
342.93/341.62	c cleaning 12089 clauses out of 24178 with flag 635390/779928
351.88/350.52	c cleaning 12979 clauses out of 26030 with flag 812464/793869
361.57/360.25	c cleaning 13957 clauses out of 28061 with flag 1039133/808879
372.43/371.05	c cleaning 14989 clauses out of 30102 with flag 1385756/824877
381.29/379.85	c cleaning 16016 clauses out of 32109 with flag 1541548/841873
399.04/397.51	c cleaning 17016 clauses out of 34088 with flag 1719437/859868
416.91/415.11	c cleaning 17956 clauses out of 36079 with flag 1915351/878875
432.95/431.17	c cleaning 19069 clauses out of 38138 with flag 2141594/898890
462.59/460.71	c cleaning 19976 clauses out of 40047 with flag 2382590/919868
479.45/477.52	c cleaning 20985 clauses out of 42071 with flag 2733296/941868
494.72/492.87	c cleaning 21962 clauses out of 44087 with flag 3022370/964869
519.15/517.28	c cleaning 23037 clauses out of 46128 with flag 3253944/988872
546.51/544.51	c cleaning 24069 clauses out of 48263 with flag 3432187/1014044
596.15/593.76	c cleaning 25011 clauses out of 50021 with flag 3642225/1039871
664.93/662.53	c cleaning 26020 clauses out of 52039 with flag 3870323/1066900
694.38/692.08	c cleaning 26964 clauses out of 53991 with flag 4111516/1094872
725.54/723.11	c cleaning 28033 clauses out of 56066 with flag 4484201/1123911
765.36/763.06	c cleaning 29002 clauses out of 58004 with flag 4792693/1153882
810.83/808.46	c cleaning 29996 clauses out of 59992 with flag 5097899/1184872
839.06/836.59	c cleaning 30884 clauses out of 61992 with flag 5413941/1216868
897.17/894.61	c cleaning 32109 clauses out of 64217 with flag 5716671/1249977
933.26/930.26	c cleaning 32965 clauses out of 65999 with flag 6017833/1283868
981.16/978.20	c cleaning 33973 clauses out of 68036 with flag 6246171/1318870
1041.19/1038.23	c cleaning 35032 clauses out of 70064 with flag 6610362/1354871
1090.77/1087.72	c cleaning 35915 clauses out of 72029 with flag 6922542/1391868
1126.38/1123.21	c cleaning 36989 clauses out of 74115 with flag 7259539/1429869
1218.46/1215.31	c cleaning 38084 clauses out of 76168 with flag 7590179/1468911
1298.42/1294.82	c cleaning 39057 clauses out of 78114 with flag 7966077/1508941
1378.63/1375.03	c cleaning 39880 clauses out of 79986 with flag 8347484/1549870
1428.58/1424.95	c cleaning 41056 clauses out of 82112 with flag 8667504/1591876
1486.74/1483.07	c cleaning 42033 clauses out of 84065 with flag 9000391/1634885
1540.33/1536.43	c cleaning 42909 clauses out of 86018 with flag 9345400/1678871
1638.59/1634.31	c cleaning 44083 clauses out of 88165 with flag 9700733/1723927
1815.71/1811.60	c cleaning 45057 clauses out of 90113 with flag 10279312/1769958
1911.57/1907.32	c cleaning 45947 clauses out of 91967 with flag 10714880/1816869
1985.47/1981.21	c cleaning 47080 clauses out of 94159 with flag 11080154/1865008
2068.73/2063.80	c cleaning 47971 clauses out of 95944 with flag 11542367/1913873
2152.13/2147.24	c cleaning 48936 clauses out of 97973 with flag 12197490/1963873
2301.14/2296.20	c cleaning 50016 clauses out of 100032 with flag 12620734/2014868
2329.96/2324.93	c cleaning 50925 clauses out of 102018 with flag 12979386/2066870
2480.26/2474.75	c cleaning 52040 clauses out of 104092 with flag 13332552/2119869
2641.70/2636.13	c cleaning 53036 clauses out of 106072 with flag 13778996/2173889
2750.93/2745.22	c cleaning 53987 clauses out of 108015 with flag 14337119/2228868
2841.03/2834.80	c cleaning 54987 clauses out of 110028 with flag 14804922/2284868
2976.12/2969.83	c cleaning 56054 clauses out of 112107 with flag 15568512/2341934
3125.62/3119.17	c cleaning 56995 clauses out of 113989 with flag 15965704/2399870
3343.93/3336.59	c cleaning 57947 clauses out of 115993 with flag 16381062/2458869
3489.33/3482.04	c cleaning 58986 clauses out of 118045 with flag 16866743/2518868
3600.06/3592.72	c starts		: 21628
3600.06/3592.73	c conflicts		: 2558560
3600.06/3592.74	c decisions		: 52261959
3600.06/3592.74	c propagations		: 1029210575
3600.06/3592.74	c inspects		: 14587821811
3600.06/3592.74	c shortcuts		: 0
3600.06/3592.74	c learnt literals	: 0
3600.06/3592.74	c learnt binary clauses	: 35
3600.06/3592.74	c learnt ternary clauses	: 1406
3600.06/3592.74	c learnt constraints	: 2558560
3600.06/3592.74	c ignored constraints	: 0
3600.06/3592.74	c root simplifications	: 0
3600.06/3592.74	c removed literals (reason simplification)	: 981263340
3600.06/3592.74	c reason swapping (by a shorter reason)	: 0
3600.06/3592.74	c Calls to reduceDB	: 114
3600.06/3592.74	c Number of update (reduction) of LBD	: 438447
3600.06/3592.74	c Imported unit clauses	: 0
3600.06/3592.74	c No decision after first conflict	: false
3600.06/3592.74	c number of reductions to clauses (during analyze)	: 0
3600.06/3592.74	c number of learned constraints concerned by reduction	: 0
3600.06/3592.74	c number of learning phase by resolution	: 0
3600.06/3592.74	c number of learning phase by cutting planes	: 0
3600.06/3592.74	c number of rounding to 1 operations	: 0
3600.06/3592.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3592.74	c number of reductions of the coefficients by power 2 	: 0
3600.06/3592.74	c number of right shift for reduction by power 2 	: 0
3600.06/3592.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3592.74	c number of ending skipping 	: 0
3600.06/3592.74	c number of internal skipping 	: 0
3600.06/3592.75	c number of derivation steps 	: 0
3600.06/3592.75	c number of skipped derivation steps 	: 0
3600.06/3592.75	c number of remaining unassigned 	: 0
3600.06/3592.75	c number of remaining assigned 	: 0
3600.06/3592.75	c number of falsified literals weakened from reason	: 0
3600.06/3592.75	c number of falsified literals weakened from conflict	: 0
3600.06/3592.75	c time for arithmetic operations	: 0
3600.06/3592.75	c minimum degree of deleted constraints	: null
3600.06/3592.75	c maximum degree of deleted constraints	: null
3600.06/3592.75	c number of deleted constraints	: 0
3600.06/3592.76	c speed (assignments/second)	: 286496.25390233006
3600.06/3592.76	c non guided choices	: 0
3600.26/3592.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 98716
3600.26/3592.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 35
3600.26/3592.81	s SATISFIABLE
3600.26/3592.81	c Found 5 solution(s)
3600.26/3592.83	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 
3600.26/3592.83	c objective function=-85
3600.26/3592.83	c Total wall clock time (in seconds): 3592.691

Verifier Data 

OK	-85

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498437-1751393795/watcher-4498437-1751393795 -o /tmp/evaluation-result-4498437-1751393795/solver-4498437-1751393795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53810 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498437-1751393795.opb 

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
Current StackSize limit: 8192 KiB

solver pid=54955, runsolver pid=54952

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.15 4.13 7/338 54973
/proc/meminfo: memFree=128704960/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18930384 memory=55408 CPUtime=0.12 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 6491 0 0 0 10 2 0 0 20 0 18 0 55057988 19384713216 13852 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4732596 13852 5341 1 0 547569 0
[pid=54955/tid=54957] ppid=54952 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 5000 0 0 0 6 1 0 0 20 0 18 0 55057990 19384713216 13852 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057992 19384713216 13852 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18930384 memory=58485492711461 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55057993 19384713216 13852 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55408 KiB

[startup+0.205646 s]*
/proc/loadavg: 4.13 4.15 4.13 7/338 54973
/proc/meminfo: memFree=128704204/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18930384 memory=63976 CPUtime=0.31 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 6998 0 0 0 29 2 0 0 20 0 18 0 55057988 19384713216 15994 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4732596 15994 5437 1 0 547865 0
[pid=54955/tid=54957] ppid=54952 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 5296 0 0 0 15 1 0 0 20 0 18 0 55057990 19384713216 15994 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18930384 memory=2641 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057992 19384713216 15994 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55057993 19384713216 15994 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63976 KiB

[startup+0.305601 s]*
/proc/loadavg: 4.28 4.18 4.14 7/338 54973
/proc/meminfo: memFree=128646232/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18930384 memory=130272 CPUtime=0.5 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 8646 0 0 0 46 4 0 0 20 0 18 0 55057988 19384713216 32568 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4732596 32568 5437 1 0 548606 0
[pid=54955/tid=54957] ppid=54952 vsize=18930384 memory=-6000919498476054634 CPUtime=0.26 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 5330 0 0 0 23 3 0 0 20 0 18 0 55057990 19384713216 32568 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057992 19384713216 32568 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55057993 19384713216 32568 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 130272 KiB

[startup+0.700233 s]
/proc/loadavg: 4.28 4.18 4.14 6/339 54974
/proc/meminfo: memFree=128636528/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18996948 memory=142100 CPUtime=1.26 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 10931 0 0 0 122 4 0 0 20 0 19 0 55057988 19452874752 35525 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4749237 35525 5501 1 0 550544 0
[pid=54955/tid=54957] ppid=54952 vsize=18996948 memory=17792 CPUtime=0.61 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 5438 0 0 0 58 3 0 0 20 0 19 0 55057990 19452874752 35525 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057992 19452874752 35525 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55057993 19452874752 35525 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55058023 19452874752 35525 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142100 KiB

[startup+1.50021 s]
/proc/loadavg: 4.28 4.18 4.14 6/339 54974
/proc/meminfo: memFree=128627896/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18996948 memory=145172 CPUtime=2.29 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 11553 0 0 0 224 5 0 0 20 0 19 0 55057988 19452874752 36293 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4749237 36293 5501 1 0 550717 0
[pid=54955/tid=54957] ppid=54952 vsize=18996948 memory=0 CPUtime=1.4 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 5578 0 0 0 137 3 0 0 20 0 19 0 55057990 19452874752 36293 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057992 19452874752 36293 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55057993 19452874752 36293 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55058023 19452874752 36293 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145172 KiB

[startup+3.10543 s]
/proc/loadavg: 4.28 4.18 4.14 5/339 54974
/proc/meminfo: memFree=128609852/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18996948 memory=148452 CPUtime=4.08 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 16776 0 0 0 403 5 0 0 20 0 19 0 55057988 19452874752 37113 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4749237 37113 5501 1 0 550961 0
[pid=54955/tid=54957] ppid=54952 vsize=18996948 memory=10752 CPUtime=2.99 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 7036 0 0 0 296 3 0 0 20 0 19 0 55057990 19452874752 37113 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18996948 memory=-6000919498476054634 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057992 19452874752 37113 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55057993 19452874752 37113 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55058023 19452874752 37113 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148452 KiB

[startup+6.30019 s]
/proc/loadavg: 4.26 4.18 4.14 5/339 54975
/proc/meminfo: memFree=128581100/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=18996948 memory=155832 CPUtime=7.33 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 19567 0 0 0 727 6 0 0 20 0 19 0 55057988 19452874752 38958 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4749237 38958 5501 1 0 551082 0
[pid=54955/tid=54957] ppid=54952 vsize=18996948 memory=0 CPUtime=6.19 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 7735 0 0 0 615 4 0 0 20 0 19 0 55057990 19452874752 38958 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057992 19452874752 38958 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55057993 19452874752 38958 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=18996948 memory=145172 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55058023 19452874752 38958 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 155832 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.18 4.14 5/341 54977
/proc/meminfo: memFree=128523764/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=178780 CPUtime=13.75 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 22836 0 0 0 1369 6 0 0 20 0 20 0 55057988 19521036288 44695 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 44695 5501 1 0 551371 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=145172 CPUtime=12.55 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 8292 0 0 0 1251 4 0 0 20 0 20 0 55057990 19521036288 44695 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=178780 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 44695 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 44695 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 44695 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.13 5/341 54977
/proc/meminfo: memFree=128519684/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=178524 CPUtime=26.71 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 26569 0 0 0 2664 7 0 0 20 0 20 0 55057988 19521036288 44631 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 44631 5533 1 0 551387 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=-6000919498476054634 CPUtime=25.32 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 9786 0 0 0 2528 4 0 0 20 0 20 0 55057990 19521036288 44631 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=178524 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 44631 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 44631 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 44631 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178524 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.17 4.13 5/341 54977
/proc/meminfo: memFree=128413188/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=189200 CPUtime=52.33 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 29176 0 0 0 5225 8 0 0 20 0 20 0 55057988 19521036288 47300 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 47300 5533 1 0 551387 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=189072 CPUtime=50.85 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 10316 0 0 0 5081 4 0 0 20 0 20 0 55057990 19521036288 47300 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 47300 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=189072 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/339 55140
/proc/meminfo: memFree=115288860/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3289.75 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 99776 0 0 0 328844 131 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3265 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 38572 0 0 0 326489 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3289.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/338 55142
/proc/meminfo: memFree=115289424/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3349.72 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 99994 0 0 0 334839 133 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3324.76 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 38633 0 0 0 332465 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3349.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/340 55150
/proc/meminfo: memFree=115289088/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3409.66 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 100351 0 0 0 340831 135 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3384.55 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 38904 0 0 0 338444 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1124 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=-6000919498476054634 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3409.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/341 55153
/proc/meminfo: memFree=115289208/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3469.67 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 101617 0 0 0 346830 137 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3444.28 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 39930 0 0 0 344417 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1157 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3469.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/341 55155
/proc/meminfo: memFree=115670568/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3529.65 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 103593 0 0 0 352826 139 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=14976 CPUtime=3504.03 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 40962 0 0 0 350392 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3529.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/341 55157
/proc/meminfo: memFree=115510944/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3589.68 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 104633 0 0 0 358828 140 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=17792 CPUtime=3563.74 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 41001 0 0 0 356363 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3589.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.7 s]
/proc/loadavg: 4.04 4.09 4.08 5/318 55165
/proc/meminfo: memFree=120529348/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19063512 memory=2190168 CPUtime=3600.06 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 104645 0 0 0 359865 141 0 0 20 0 20 0 55057988 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4765878 547542 5565 1 0 558736 0
[pid=54955/tid=54957] ppid=54952 vsize=19063512 memory=14976 CPUtime=3574.11 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 41008 0 0 0 357400 11 0 0 20 0 20 0 55057990 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057992 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19063512 memory=2190168 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 20 0 55057993 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54974] ppid=54952 vsize=19063512 memory=-6000919498476054634 CPUtime=0 cores=1,3
/proc/54955/task/54974/stat : 54974 (Timer-0) S 54952 54955 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55058023 19521036288 547542 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190168 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.42504 s

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

[startup+3592.8 s]
/proc/loadavg: 4.04 4.09 4.08 5/318 55165
/proc/meminfo: memFree=120529348/131249996 swapFree=33010160/33010684
[pid=54955] ppid=54952 vsize=19263204 memory=2191064 CPUtime=3600.26 cores=1,3
/proc/54955/stat : 54955 (java) S 54952 54955 53798 0 -1 4194304 106088 0 0 0 359885 141 0 0 20 0 21 0 55057988 19725520896 547766 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
/proc/54955/statm: 4815801 547766 5597 1 0 559698 0
[pid=54955/tid=54957] ppid=54952 vsize=19263204 memory=17792 CPUtime=3574.21 cores=1,3
/proc/54955/task/54957/stat : 54957 (java) R 54952 54955 53798 0 -1 4194368 41119 0 0 0 357410 11 0 0 20 0 21 0 55057990 19725520896 547766 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54966] ppid=54952 vsize=19263204 memory=10752 CPUtime=0 cores=1,3
/proc/54955/task/54966/stat : 54966 (Finalizer) S 54952 54955 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55057992 19725520896 547766 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
[pid=54955/tid=54973] ppid=54952 vsize=19263204 memory=5632 CPUtime=0 cores=1,3
/proc/54955/task/54973/stat : 54973 (Common-Cleaner) S 54952 54955 53798 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 21 0 55057993 19725520896 547766 18446744073709551615 94875270062080 94875270065776 140726454095136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94875270073592 94875270074384 94875302637568 140726454102401 140726454102502 140726454102502 140726454108104 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2191064 KiB

Child status: 143

Real time (s): 3592.86
CPU time (s): 3600.34
CPU user time (s): 3598.91
CPU system time (s): 1.42504
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2191064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.42504
maximum resident set size= 2191192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111026
involuntary context switches= 4580


# summary of solver processes directly reported to runsolver:
#   pid: 54955
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.42504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66516 second user time and 16.2542 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 20:16:36
IDJOB=4498437
IDBENCH=148672
IDSOLVER=3363
FILE ID=nodeC029/4498437-1751393795
RUNJOBID= nodeC029-1751386581-53810
SLURM_JOB_ID= 9598249
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498437-1751393795/watcher-4498437-1751393795 -o /tmp/evaluation-result-4498437-1751393795/solver-4498437-1751393795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53810 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498437-1751393795.opb

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

MD5SUM BENCH= 08873ac12267207049f5888e334cf105
RANDOM SEED=1898781265

nodeC029 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.761
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128738032 kB
MemAvailable:   128694764 kB
Buffers:            2128 kB
Cached:           763332 kB
SwapCached:           40 kB
Active:          1535748 kB
Inactive:         393696 kB
Active(anon):    1177240 kB
Inactive(anon):     4768 kB
Active(file):     358508 kB
Inactive(file):   388928 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5028 kB
Writeback:             0 kB
AnonPages:       1166804 kB
Mapped:           123036 kB
Shmem:             18020 kB
KReclaimable:      97068 kB
Slab:             184360 kB
SReclaimable:      97068 kB
SUnreclaim:        87292 kB
KernelStack:        5232 kB
PageTables:         5880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   13301644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    946176 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC029 at 2025-07-01 21:16:29