Trace number 4432192

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 Default 2024-07-07OPT62 207.196 205.677

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
MD5SUM747698da0f593f637a147af56db5f584
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.014171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables672
Total number of constraints2028
Number of constraints which are clauses2004
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 672
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 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 672
Number of bits of the biggest sum of numbers10
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.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432192-1721077020.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.20	c ... done. Wall clock time 0.068s.
0.13/0.20	c declared #vars     672
0.13/0.20	c #constraints  2028
0.13/0.20	c constraints type 
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 386
0.13/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1618
0.13/0.20	c 2028 constraints processed.
0.33/0.21	c objective function length is 672 literals
0.73/0.43	c SATISFIABLE
0.73/0.43	c OPTIMIZING...
0.73/0.43	c Got one! Elapsed wall clock time (in seconds):0.305
0.73/0.43	o 72
0.73/0.49	c cleaning 2772 clauses out of 5555 with flag 3141/5557
1.11/0.68	c cleaning 4385 clauses out of 8786 with flag 27386/11560
1.48/0.85	c cleaning 5688 clauses out of 11397 with flag 56556/18557
1.89/1.03	c cleaning 6851 clauses out of 13708 with flag 93086/26557
2.25/1.21	c Got one! Elapsed wall clock time (in seconds):1.082
2.25/1.21	o 70
2.25/1.22	c Got one! Elapsed wall clock time (in seconds):1.085
2.25/1.22	o 68
2.38/1.38	c cleaning 10126 clauses out of 20261 with flag 23860/39961
2.73/1.53	c cleaning 8058 clauses out of 16135 with flag 52997/45961
2.91/1.69	c cleaning 7532 clauses out of 15076 with flag 85996/52960
3.26/1.87	c cleaning 7769 clauses out of 15544 with flag 130289/60960
3.46/2.09	c cleaning 8383 clauses out of 16775 with flag 177977/69960
3.66/2.26	c Got one! Elapsed wall clock time (in seconds):2.14
3.66/2.26	o 66
3.66/2.28	c Got one! Elapsed wall clock time (in seconds):2.149
3.66/2.28	o 64
3.87/2.43	c cleaning 10419 clauses out of 20851 with flag 17313/82419
4.08/2.61	c cleaning 8204 clauses out of 16430 with flag 39716/88418
4.28/2.80	c cleaning 7612 clauses out of 15226 with flag 66170/95418
4.48/3.07	c cleaning 7803 clauses out of 15615 with flag 97824/103419
4.77/3.33	c cleaning 8391 clauses out of 16812 with flag 130326/112419
5.40/3.74	c cleaning 9194 clauses out of 18420 with flag 171496/122418
5.73/4.09	c cleaning 10089 clauses out of 20228 with flag 217242/133420
6.22/4.56	c cleaning 11060 clauses out of 22138 with flag 264093/145420
6.87/5.10	c cleaning 12031 clauses out of 24076 with flag 317700/158418
7.48/5.69	c cleaning 13013 clauses out of 26045 with flag 372651/172418
7.78/5.96	c Got one! Elapsed wall clock time (in seconds):5.839
7.78/5.97	o 62
7.99/6.17	c cleaning 12629 clauses out of 25262 with flag 17787/184649
8.28/6.41	c cleaning 9302 clauses out of 18632 with flag 39900/190648
8.48/6.66	c cleaning 8161 clauses out of 16332 with flag 66432/197650
8.78/6.96	c cleaning 8071 clauses out of 16169 with flag 96707/205648
9.19/7.30	c cleaning 8539 clauses out of 17098 with flag 128635/214648
9.49/7.67	c cleaning 9272 clauses out of 18559 with flag 164000/224648
9.89/8.06	c cleaning 10137 clauses out of 20287 with flag 202726/235648
10.38/8.52	c cleaning 11072 clauses out of 22150 with flag 248703/247648
10.78/9.00	c cleaning 12033 clauses out of 24078 with flag 295209/260648
11.39/9.54	c cleaning 13019 clauses out of 26046 with flag 346126/274649
11.90/10.10	c cleaning 14011 clauses out of 28026 with flag 398880/289648
12.60/10.75	c cleaning 15005 clauses out of 30015 with flag 458852/305649
13.30/11.43	c cleaning 16000 clauses out of 32009 with flag 513757/322648
14.00/12.19	c cleaning 16997 clauses out of 34009 with flag 577546/340648
14.90/13.07	c cleaning 18001 clauses out of 36013 with flag 652741/359649
15.79/13.91	c cleaning 18997 clauses out of 38011 with flag 727321/379648
16.59/14.78	c cleaning 20005 clauses out of 40014 with flag 801528/400648
17.58/15.70	c cleaning 20999 clauses out of 42009 with flag 879432/422648
18.48/16.68	c cleaning 22003 clauses out of 44012 with flag 964554/445650
19.58/17.71	c cleaning 23001 clauses out of 46007 with flag 1050501/469648
20.58/18.79	c cleaning 23995 clauses out of 48006 with flag 1136517/494648
21.88/20.02	c cleaning 25000 clauses out of 50012 with flag 1223406/520649
23.07/21.28	c cleaning 25997 clauses out of 52013 with flag 1317213/547650
24.47/22.62	c cleaning 27002 clauses out of 54015 with flag 1419165/575649
25.88/24.09	c cleaning 28000 clauses out of 56012 with flag 1525110/604648
27.47/25.62	c cleaning 28999 clauses out of 58013 with flag 1635695/634649
29.09/27.22	c cleaning 30003 clauses out of 60013 with flag 1750071/665648
30.68/28.80	c cleaning 31000 clauses out of 62011 with flag 1860366/697649
32.28/30.47	c cleaning 32003 clauses out of 64011 with flag 1970362/730649
34.08/32.27	c cleaning 33001 clauses out of 66008 with flag 2082456/764649
36.08/34.26	c cleaning 33993 clauses out of 68006 with flag 2216658/799648
37.88/36.05	c cleaning 34997 clauses out of 70013 with flag 2342170/835648
39.87/38.01	c cleaning 36004 clauses out of 72017 with flag 2469924/872649
41.66/39.81	c cleaning 37005 clauses out of 74014 with flag 2590756/910650
43.70/41.99	c cleaning 37995 clauses out of 76008 with flag 2717590/949649
45.80/44.01	c cleaning 39007 clauses out of 78014 with flag 2847161/989650
47.90/46.15	c cleaning 39998 clauses out of 80005 with flag 2982284/1030648
50.12/48.39	c cleaning 40998 clauses out of 82008 with flag 3121285/1072649
52.31/50.55	c cleaning 42005 clauses out of 84012 with flag 3263399/1115651
54.71/52.98	c cleaning 43000 clauses out of 86004 with flag 3423011/1159648
57.33/55.54	c cleaning 43997 clauses out of 88005 with flag 3588056/1204649
60.13/58.30	c cleaning 45000 clauses out of 90006 with flag 3765064/1250648
62.63/60.85	c cleaning 45999 clauses out of 92006 with flag 3925872/1297648
65.46/63.63	c cleaning 47000 clauses out of 94007 with flag 4095356/1345648
68.65/66.87	c cleaning 47996 clauses out of 96007 with flag 4295601/1394648
71.85/70.00	c cleaning 48997 clauses out of 98011 with flag 4474242/1444648
74.66/72.89	c cleaning 50005 clauses out of 100014 with flag 4652455/1495648
78.05/76.29	c cleaning 50998 clauses out of 102009 with flag 4844374/1547648
80.86/79.09	c cleaning 52004 clauses out of 104012 with flag 5019403/1600649
84.26/82.41	c cleaning 52999 clauses out of 106008 with flag 5212320/1654649
87.56/85.71	c cleaning 54002 clauses out of 108009 with flag 5413242/1709649
90.97/89.15	c cleaning 54996 clauses out of 110007 with flag 5611433/1765649
94.34/92.56	c cleaning 56001 clauses out of 112010 with flag 5805814/1822648
98.03/96.28	c cleaning 56998 clauses out of 114010 with flag 6022921/1880649
101.30/99.54	c cleaning 58001 clauses out of 116012 with flag 6215912/1939649
105.46/103.70	c cleaning 59003 clauses out of 118010 with flag 6432224/1999648
109.25/107.53	c cleaning 59998 clauses out of 120007 with flag 6624059/2060648
113.11/111.48	c cleaning 61002 clauses out of 122009 with flag 6838534/2122648
116.99/115.37	c cleaning 61995 clauses out of 124007 with flag 7064636/2185648
121.44/119.89	c cleaning 63002 clauses out of 126013 with flag 7306126/2249649
125.94/124.30	c cleaning 64002 clauses out of 128010 with flag 7550628/2314648
130.20/128.66	c cleaning 65002 clauses out of 130009 with flag 7792197/2380649
134.96/133.44	c cleaning 65999 clauses out of 132006 with flag 8043570/2447648
139.48/137.92	c cleaning 67004 clauses out of 134007 with flag 8271913/2515648
143.97/142.46	c cleaning 67994 clauses out of 136004 with flag 8513093/2584649
148.36/146.82	c cleaning 69000 clauses out of 138010 with flag 8757794/2654649
152.85/151.37	c cleaning 69999 clauses out of 140010 with flag 9013784/2725649
158.16/156.68	c cleaning 71001 clauses out of 142010 with flag 9292867/2797648
163.24/161.75	c cleaning 72001 clauses out of 144011 with flag 9575079/2870650
168.74/167.26	c cleaning 72995 clauses out of 146008 with flag 9848573/2944648
174.33/172.84	c cleaning 74001 clauses out of 148013 with flag 10129669/3019649
179.35/177.87	c cleaning 75002 clauses out of 150011 with flag 10380696/3095648
184.44/182.95	c cleaning 76004 clauses out of 152011 with flag 10642315/3172650
190.33/188.81	c cleaning 76994 clauses out of 154006 with flag 10927831/3250649
195.53/194.04	c cleaning 78003 clauses out of 156011 with flag 11202200/3329648
200.91/199.49	c cleaning 78994 clauses out of 158009 with flag 11474225/3409649
206.71/205.26	c cleaning 80006 clauses out of 160015 with flag 11762422/3490649
207.11/205.64	c starts		: 10872
207.11/205.64	c conflicts		: 3493807
207.11/205.64	c decisions		: 3906191
207.11/205.64	c propagations		: 194009077
207.11/205.64	c inspects		: 2281196549
207.11/205.64	c shortcuts		: 0
207.11/205.65	c learnt literals	: 22
207.11/205.65	c learnt binary clauses	: 80
207.11/205.65	c learnt ternary clauses	: 484
207.11/205.65	c learnt constraints	: 3493784
207.11/205.65	c ignored constraints	: 0
207.11/205.65	c root simplifications	: 0
207.11/205.65	c removed literals (reason simplification)	: 0
207.11/205.65	c reason swapping (by a shorter reason)	: 0
207.11/205.65	c Calls to reduceDB	: 96
207.11/205.65	c Number of update (reduction) of LBD	: 171608
207.11/205.65	c Imported unit clauses	: 0
207.11/205.65	c No decision after first conflict	: false
207.11/205.65	c number of reductions to clauses (during analyze)	: 0
207.11/205.65	c number of learned constraints concerned by reduction	: 0
207.11/205.65	c number of learning phase by resolution	: 0
207.11/205.65	c number of learning phase by cutting planes	: 0
207.11/205.65	c number of rounding to 1 operations	: 0
207.11/205.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
207.11/205.65	c number of reductions of the coefficients by power 2 	: 0
207.11/205.65	c number of right shift for reduction by power 2 	: 0
207.11/205.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
207.11/205.65	c number of ending skipping 	: 0
207.11/205.65	c number of internal skipping 	: 0
207.11/205.65	c number of derivation steps 	: 0
207.11/205.65	c number of skipped derivation steps 	: 0
207.11/205.65	c number of remaining unassigned 	: 0
207.11/205.65	c number of remaining assigned 	: 0
207.11/205.65	c number of falsified literals weakened from reason	: 0
207.11/205.65	c number of falsified literals weakened from conflict	: 0
207.11/205.65	c time for arithmetic operations	: 0
207.11/205.66	c minimum degree of deleted constraints	: null
207.11/205.66	c maximum degree of deleted constraints	: null
207.11/205.66	c number of deleted constraints	: 0
207.11/205.66	c speed (assignments/second)	: 944326.6487220548
207.11/205.66	c non guided choices	: 176
207.11/205.66	s OPTIMUM FOUND
207.11/205.66	c Found 6 solution(s)
207.11/205.66	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 
207.11/205.66	c objective function=62
207.11/205.67	c Total wall clock time (in seconds): 205.541

Verifier Data 

OK	62

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 (57523 MiB free)
  memory of node 1: 64473 MiB (60601 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432192-1721077020/watcher-4432192-1721077020 -o /tmp/evaluation-result-4432192-1721077020/solver-4432192-1721077020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815594 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432192-1721077020.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
solver pid=820218, runsolver pid=820215
Current StackSize limit: 8192 KiB


[startup+0.101021 s]*
/proc/loadavg: 4.37 4.41 4.41 7/331 820236
/proc/meminfo: memFree=120918572/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=18975048 memory=63296 CPUtime=0.13 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 7202 0 0 0 11 2 0 0 20 0 18 0 159865554 19430449152 15824 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4743762 15824 5697 1 0 549325 0
[pid=820218/tid=820220] ppid=820215 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 1077936192 5731 0 0 0 7 1 0 0 20 0 18 0 159865555 19430449152 15824 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159865557 19430449152 15824 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159865558 19430449152 15824 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63296 KiB

[startup+0.205944 s]*
/proc/loadavg: 4.37 4.41 4.41 7/331 820236
/proc/meminfo: memFree=120910336/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=18975048 memory=71624 CPUtime=0.33 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 7706 0 0 0 31 2 0 0 20 0 18 0 159865554 19430449152 17906 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4743762 17906 5831 1 0 549648 0
[pid=820218/tid=820220] ppid=820215 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 1077936192 5954 0 0 0 16 1 0 0 20 0 18 0 159865555 19430449152 17906 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=18975048 memory=1623 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159865557 19430449152 17906 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159865558 19430449152 17906 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71624 KiB

[startup+0.30648 s]*
/proc/loadavg: 4.37 4.41 4.41 7/332 820237
/proc/meminfo: memFree=120904180/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19041612 memory=77492 CPUtime=0.52 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 10065 0 0 0 50 2 0 0 20 0 19 0 159865554 19498610688 19373 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4760403 19373 5862 1 0 551382 0
[pid=820218/tid=820220] ppid=820215 vsize=19041612 memory=-8817036985367896764 CPUtime=0.27 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 6021 0 0 0 26 1 0 0 20 0 19 0 159865555 19498610688 19373 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159865557 19498610688 19373 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159865558 19498610688 19373 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 159865576 19498610688 19373 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77492 KiB

[startup+0.700482 s]
/proc/loadavg: 4.37 4.41 4.41 7/332 820237
/proc/meminfo: memFree=120892412/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19041612 memory=92176 CPUtime=1.28 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 13267 0 0 0 125 3 0 0 20 0 19 0 159865554 19498610688 23044 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4760403 23044 5894 1 0 553233 0
[pid=820218/tid=820220] ppid=820215 vsize=19041612 memory=12292 CPUtime=0.64 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 6086 0 0 0 63 1 0 0 20 0 19 0 159865555 19498610688 23044 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19041612 memory=12292 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159865557 19498610688 23044 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159865558 19498610688 23044 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19041612 memory=5484 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 159865576 19498610688 23044 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92176 KiB

[startup+1.50048 s]
/proc/loadavg: 4.37 4.41 4.41 6/332 820237
/proc/meminfo: memFree=120884164/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19041612 memory=109440 CPUtime=2.73 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 22545 0 0 0 268 5 0 0 20 0 19 0 159865554 19498610688 27360 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4760403 27360 5894 1 0 555376 0
[pid=820218/tid=820220] ppid=820215 vsize=19041612 memory=12292 CPUtime=1.43 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 6672 0 0 0 141 2 0 0 20 0 19 0 159865555 19498610688 27360 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159865557 19498610688 27360 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159865558 19498610688 27360 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 159865576 19498610688 27360 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109440 KiB

[startup+3.10554 s]
/proc/loadavg: 4.37 4.41 4.41 5/332 820237
/proc/meminfo: memFree=120852560/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19041612 memory=129292 CPUtime=4.58 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 23801 0 0 0 453 5 0 0 20 0 19 0 159865554 19498610688 32323 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4760403 32323 5894 1 0 555696 0
[pid=820218/tid=820220] ppid=820215 vsize=19041612 memory=0 CPUtime=3.02 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 7104 0 0 0 300 2 0 0 20 0 19 0 159865555 19498610688 32323 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159865557 19498610688 32323 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19041612 memory=112804 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159865558 19498610688 32323 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19041612 memory=12292 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 159865576 19498610688 32323 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129292 KiB

[startup+6.30026 s]
/proc/loadavg: 4.34 4.41 4.41 5/332 820237
/proc/meminfo: memFree=120821596/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19041612 memory=164132 CPUtime=8.18 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 24409 0 0 0 812 6 0 0 20 0 19 0 159865554 19498610688 41033 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4760403 41033 5894 1 0 555696 0
[pid=820218/tid=820220] ppid=820215 vsize=19041612 memory=12292 CPUtime=6.21 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 7451 0 0 0 618 3 0 0 20 0 19 0 159865555 19498610688 41033 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159865557 19498610688 41033 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159865558 19498610688 41033 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19041612 memory=12064 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 159865576 19498610688 41033 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164132 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.40 4.41 5/333 820240
/proc/meminfo: memFree=120798460/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=183372 CPUtime=14.59 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 26780 0 0 0 1452 7 0 0 20 0 20 0 159865554 19566772224 45843 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 45843 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=0 CPUtime=12.59 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 8061 0 0 0 1256 3 0 0 20 0 20 0 159865555 19566772224 45843 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=183372 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 45843 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=12292 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 45843 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 45843 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183372 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.40 4.41 5/333 820242
/proc/meminfo: memFree=120790172/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=191632 CPUtime=27.37 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 31197 0 0 0 2729 8 0 0 20 0 20 0 159865554 19566772224 47908 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 47908 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=6944656592387989600 CPUtime=25.32 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 9373 0 0 0 2529 3 0 0 20 0 20 0 159865555 19566772224 47908 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 47908 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 47908 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 47908 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 27.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191632 KiB

[startup+51.1057 s]
/proc/loadavg: 4.21 4.36 4.39 5/333 820246
/proc/meminfo: memFree=120650004/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=331212 CPUtime=52.92 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 36842 0 0 0 5281 11 0 0 20 0 20 0 159865554 19566772224 82803 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 82803 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=288200 CPUtime=50.64 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 11124 0 0 0 5061 3 0 0 20 0 20 0 159865555 19566772224 82803 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0

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

/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 217524 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 163.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 870096 KiB

[startup+205.677 s]
# the end of solver process 820218 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=206.914 s, system=0.282095 s

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

[startup+179.2 s]
/proc/loadavg: 4.24 4.32 4.37 5/335 820438
/proc/meminfo: memFree=119906040/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=941780 CPUtime=180.75 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 45819 0 0 0 18050 25 0 0 20 0 20 0 159865554 19566772224 235445 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 235445 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=12064 CPUtime=177.64 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14755 0 0 0 17760 4 0 0 20 0 20 0 159865555 19566772224 235445 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=41036 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 235445 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 145 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 235445 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=870096 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 235445 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 180.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 941780 KiB

[startup+192 s]*
/proc/loadavg: 4.42 4.35 4.38 5/335 820440
/proc/meminfo: memFree=119725368/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=941784 CPUtime=193.53 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 45956 0 0 0 19328 25 0 0 20 0 20 0 159865554 19566772224 235446 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 235446 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=-8817036985367896764 CPUtime=190.42 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14845 0 0 0 19038 4 0 0 20 0 20 0 159865555 19566772224 235446 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=4702777042710434915 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 235446 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 235446 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=941784 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 235446 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 193.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 941784 KiB

[startup+198.4 s]
/proc/loadavg: 4.39 4.35 4.37 5/335 820442
/proc/meminfo: memFree=119725284/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=941788 CPUtime=199.91 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 45990 0 0 0 19966 25 0 0 20 0 20 0 159865554 19566772224 235447 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 235447 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=941784 CPUtime=196.8 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14877 0 0 0 19676 4 0 0 20 0 20 0 159865555 19566772224 235447 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=941784 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 235447 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=-8817036985367896764 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 235447 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=5484 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 235447 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 199.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 941788 KiB

[startup+201.6 s]
/proc/loadavg: 4.35 4.34 4.37 5/335 820442
/proc/meminfo: memFree=119702716/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=970472 CPUtime=203.11 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 46199 0 0 0 20285 26 0 0 20 0 20 0 159865554 19566772224 242618 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 242618 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=945884 CPUtime=199.98 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14908 0 0 0 19994 4 0 0 20 0 20 0 159865555 19566772224 242618 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=958184 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 242618 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=2224 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 242618 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=943836 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 242618 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 203.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 970472 KiB

[startup+203.2 s]
/proc/loadavg: 4.35 4.34 4.37 5/335 820442
/proc/meminfo: memFree=119684248/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=984808 CPUtime=204.7 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 46247 0 0 0 20444 26 0 0 20 0 20 0 159865554 19566772224 246202 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 246202 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=12064 CPUtime=201.59 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14956 0 0 0 20154 5 0 0 20 0 20 0 159865555 19566772224 246202 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 246202 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=41036 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 246202 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=-8817036985367896764 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 246202 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 204.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 984808 KiB

[startup+204.8 s]
/proc/loadavg: 4.35 4.34 4.37 5/335 820442
/proc/meminfo: memFree=119676064/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=997096 CPUtime=206.31 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 46261 0 0 0 20604 27 0 0 20 0 20 0 159865554 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 249274 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=0 CPUtime=203.18 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14970 0 0 0 20313 5 0 0 20 0 20 0 159865555 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=5484 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=2236 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=5436 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 206.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 997096 KiB

[startup+205.2 s]
/proc/loadavg: 4.33 4.33 4.37 5/335 820442
/proc/meminfo: memFree=119669892/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=997096 CPUtime=206.71 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 46261 0 0 0 20644 27 0 0 20 0 20 0 159865554 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 249274 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=954088 CPUtime=203.58 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 14970 0 0 0 20353 5 0 0 20 0 20 0 159865555 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=-8817036985367896764 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=-7738441617721812092 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=2724 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 249274 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 206.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 997096 KiB

[startup+205.6 s]
/proc/loadavg: 4.33 4.33 4.37 5/335 820442
/proc/meminfo: memFree=119669892/131524600 swapFree=131071996/131071996
[pid=820218] ppid=820215 vsize=19108176 memory=999144 CPUtime=207.11 cores=1,3
/proc/820218/stat : 820218 (java) S 820215 820218 815582 0 -1 1077936128 46439 0 0 0 20684 27 0 0 20 0 20 0 159865554 19566772224 249786 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
/proc/820218/statm: 4777044 249786 5958 1 0 555985 0
[pid=820218/tid=820220] ppid=820215 vsize=19108176 memory=12064 CPUtime=203.98 cores=1,3
/proc/820218/task/820220/stat : 820220 (java) R 820215 820218 815582 0 -1 4194368 15058 0 0 0 20393 5 0 0 20 0 20 0 159865555 19566772224 249786 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820229] ppid=820215 vsize=19108176 memory=41036 CPUtime=0 cores=1,3
/proc/820218/task/820229/stat : 820229 (Finalizer) S 820215 820218 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159865557 19566772224 249786 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820236] ppid=820215 vsize=19108176 memory=5436 CPUtime=0 cores=1,3
/proc/820218/task/820236/stat : 820236 (Common-Cleaner) S 820215 820218 815582 0 -1 1077936192 191 0 0 0 0 0 0 0 20 0 20 0 159865558 19566772224 249786 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
[pid=820218/tid=820237] ppid=820215 vsize=19108176 memory=12292 CPUtime=0 cores=1,3
/proc/820218/task/820237/stat : 820237 (Timer-0) S 820215 820218 815582 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 159865576 19566772224 249786 134679101440 94020131196928 94020131200624 140734192519024 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94020131208440 94020131209232 94020158234624 140734192526343 140734192526433 140734192526433 140734192533448 0
Current children cumulated CPU time: 207.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 999144 KiB

Child status: 30

Real time (s): 205.677
CPU time (s): 207.196
CPU user time (s): 206.914
CPU system time (s): 0.282095
CPU usage (%): 100.738
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 999144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 206.914
system time used= 0.282095
maximum resident set size= 1002488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7371
involuntary context switches= 897


# summary of solver processes directly reported to runsolver:
#   pid: 820218
#   total CPU time (s): 207.196
#   total CPU user time (s): 206.914
#   total CPU system time (s): 0.282095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.399914 second user time and 1.0621 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 22:57:14
IDJOB=4432192
IDBENCH=147183
IDSOLVER=3058
FILE ID=nodeC020/4432192-1721077020
RUNJOBID= nodeC020-1721070467-815594
SLURM_JOB_ID= 7505528
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432192-1721077020/watcher-4432192-1721077020 -o /tmp/evaluation-result-4432192-1721077020/solver-4432192-1721077020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815594 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432192-1721077020.opb

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

MD5SUM BENCH= 747698da0f593f637a147af56db5f584
RANDOM SEED=2143202439

nodeC020.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		: 3600.461
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	: 7000.05
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		: 3643.936
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.84
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		: 3666.524
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	: 7000.05
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		: 3650.785
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.84
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		: 3668.398
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	: 7000.05
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		: 3682.950
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.84
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		: 3600.230
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	: 7000.05
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		: 3654.248
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120960520 kB
MemAvailable:   122485884 kB
Buffers:          381536 kB
Cached:          1969016 kB
SwapCached:            0 kB
Active:           612104 kB
Inactive:        9320156 kB
Active(anon):       1552 kB
Inactive(anon):  7617900 kB
Active(file):     610552 kB
Inactive(file):  1702256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1260 kB
Writeback:            36 kB
AnonPages:       7580936 kB
Mapped:           123784 kB
Shmem:             37720 kB
KReclaimable:     104756 kB
Slab:             211616 kB
SReclaimable:     104756 kB
SUnreclaim:       106860 kB
KernelStack:        5048 kB
PageTables:        24696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8043892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59008 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7266304 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-15 23:00:39