Trace number 4449952

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 2024 2024-07-07OPT cert.4 791.959 792.831

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=9-t=5.opb
MD5SUMe8bf5f7be237686d5dd1c770609b55cb
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 benchmark4
Best CPU time to get the best result obtained on this benchmark9.75417
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables171
Total number of constraints2799
Number of constraints which are clauses2790
Number of constraints which are cardinality constraints (but not clauses)9
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint10
Number of terms in the objective function 9
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 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	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@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d 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	Expensive 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@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d 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 Expensive 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-4449952-1721844114.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  objective function found
0.13/0.21	c ... done. Wall clock time 0.065s.
0.13/0.21	c declared #vars     171
0.13/0.21	c #constraints  2799
0.13/0.21	c constraints type 
0.13/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9
0.13/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2790
0.13/0.21	c 2799 constraints processed.
0.32/0.22	c objective function length is 9 literals
0.51/0.31	c SATISFIABLE
0.51/0.31	c OPTIMIZING...
0.51/0.31	c Got one! Elapsed wall clock time (in seconds):0.18
0.51/0.31	o 4
1.08/0.62	c cleaning 2739 clauses out of 5485 with flag 21761/5485
1.47/0.89	c cleaning 4364 clauses out of 8745 with flag 50092/11484
2.07/1.14	c cleaning 5690 clauses out of 11383 with flag 85375/18486
2.45/1.34	c cleaning 6843 clauses out of 13691 with flag 125527/26484
2.80/1.56	c cleaning 7915 clauses out of 15848 with flag 171288/35484
3.19/1.80	c cleaning 8964 clauses out of 17933 with flag 225450/45484
3.54/2.07	c cleaning 9981 clauses out of 19970 with flag 285343/56485
3.87/2.35	c cleaning 10993 clauses out of 21988 with flag 351207/68484
4.27/2.69	c cleaning 11994 clauses out of 23998 with flag 423637/81487
4.68/3.05	c cleaning 12997 clauses out of 26001 with flag 503013/95484
5.08/3.46	c cleaning 13998 clauses out of 28007 with flag 589132/110487
5.49/3.89	c cleaning 14992 clauses out of 30006 with flag 680484/126484
6.22/4.44	c cleaning 16002 clauses out of 32014 with flag 780731/143484
7.26/5.16	c cleaning 17006 clauses out of 34012 with flag 908158/161484
7.90/5.76	c cleaning 17998 clauses out of 36007 with flag 1024307/180485
8.60/6.45	c cleaning 18997 clauses out of 38008 with flag 1141604/200484
9.50/7.31	c cleaning 19988 clauses out of 40011 with flag 1271002/221484
10.21/8.04	c cleaning 20986 clauses out of 42023 with flag 1397728/243484
11.01/8.81	c cleaning 22016 clauses out of 44038 with flag 1528624/266485
11.84/9.62	c cleaning 23007 clauses out of 46022 with flag 1666554/290485
12.94/10.70	c cleaning 24006 clauses out of 48014 with flag 1818314/315484
13.88/11.61	c cleaning 25001 clauses out of 50008 with flag 1969213/341484
14.69/12.46	c cleaning 25998 clauses out of 52008 with flag 2120702/368485
15.59/13.31	c cleaning 27005 clauses out of 54009 with flag 2263464/396484
16.73/14.23	c cleaning 27999 clauses out of 56004 with flag 2405927/425484
17.66/15.11	c cleaning 28992 clauses out of 58005 with flag 2558416/455484
18.55/16.05	c cleaning 29997 clauses out of 60013 with flag 2708143/486484
19.44/16.97	c cleaning 30993 clauses out of 62016 with flag 2867198/518484
20.55/18.00	c cleaning 32005 clauses out of 64024 with flag 3033894/551485
21.55/19.02	c cleaning 33004 clauses out of 66019 with flag 3201586/585485
22.64/20.10	c cleaning 34002 clauses out of 68016 with flag 3372479/620486
23.74/21.24	c cleaning 34994 clauses out of 70012 with flag 3549245/656484
24.94/22.48	c cleaning 35999 clauses out of 72018 with flag 3729316/693484
26.36/23.80	c cleaning 36997 clauses out of 74019 with flag 3917233/731484
27.56/25.07	c cleaning 38010 clauses out of 76028 with flag 4107596/770490
28.95/26.48	c cleaning 39003 clauses out of 78014 with flag 4306067/810486
30.48/27.94	c cleaning 39986 clauses out of 80009 with flag 4509837/851484
31.88/29.33	c cleaning 41004 clauses out of 82024 with flag 4736183/893485
33.27/30.77	c cleaning 42007 clauses out of 84019 with flag 4956109/936484
34.88/32.32	c cleaning 42998 clauses out of 86012 with flag 5172229/980484
36.47/33.90	c cleaning 44006 clauses out of 88017 with flag 5394054/1025487
38.05/35.68	c cleaning 45003 clauses out of 90008 with flag 5620339/1071484
39.85/37.44	c cleaning 45998 clauses out of 92005 with flag 5856200/1118484
41.45/39.07	c cleaning 47002 clauses out of 94008 with flag 6096571/1166485
43.24/40.89	c cleaning 47999 clauses out of 96005 with flag 6343518/1215484
45.99/43.19	c cleaning 48989 clauses out of 98006 with flag 6601568/1265484
48.25/45.22	c cleaning 50005 clauses out of 100017 with flag 6857163/1316484
50.07/47.10	c cleaning 50999 clauses out of 102012 with flag 7111017/1368484
52.26/49.26	c cleaning 52002 clauses out of 104013 with flag 7375861/1421484
54.57/51.58	c cleaning 52998 clauses out of 106011 with flag 7641867/1475484
56.77/53.80	c cleaning 54000 clauses out of 108014 with flag 7922488/1530485
58.97/55.99	c cleaning 54993 clauses out of 110015 with flag 8250028/1586486
61.36/58.39	c cleaning 56001 clauses out of 112021 with flag 8538091/1643485
63.85/60.80	c cleaning 56998 clauses out of 114020 with flag 8830825/1701485
66.36/63.36	c cleaning 58006 clauses out of 116023 with flag 9140061/1760486
68.99/66.07	c cleaning 58994 clauses out of 118015 with flag 9454656/1820484
71.77/68.86	c cleaning 60007 clauses out of 120022 with flag 9773505/1881485
74.66/71.73	c cleaning 61000 clauses out of 122014 with flag 10099497/1943484
77.57/74.67	c cleaning 62001 clauses out of 124014 with flag 10428251/2006484
80.37/77.43	c cleaning 62999 clauses out of 126013 with flag 10763869/2070484
83.45/80.54	c cleaning 64005 clauses out of 128015 with flag 11106884/2135485
86.65/83.76	c cleaning 65000 clauses out of 130009 with flag 11453280/2201484
89.84/86.90	c cleaning 65999 clauses out of 132010 with flag 11828320/2268485
92.94/90.06	c cleaning 66998 clauses out of 134010 with flag 12192264/2336484
96.23/93.37	c cleaning 68005 clauses out of 136013 with flag 12557730/2405485
99.78/96.95	c cleaning 68998 clauses out of 138008 with flag 12927876/2475485
103.84/100.78	c cleaning 69999 clauses out of 140009 with flag 13329191/2546484
107.54/104.47	c cleaning 71003 clauses out of 142010 with flag 13715902/2618484
111.53/108.41	c cleaning 72001 clauses out of 144007 with flag 14106713/2691484
115.42/112.36	c cleaning 72996 clauses out of 146007 with flag 14509292/2765485
119.52/116.44	c cleaning 73999 clauses out of 148010 with flag 14911653/2840484
123.60/120.58	c cleaning 74991 clauses out of 150012 with flag 15316062/2916485
127.91/124.87	c cleaning 76008 clauses out of 152020 with flag 15744361/2993484
132.34/129.32	c cleaning 76998 clauses out of 154012 with flag 16167476/3071484
136.73/133.75	c cleaning 77999 clauses out of 156014 with flag 16621302/3150484
141.03/138.04	c cleaning 78998 clauses out of 158015 with flag 17070206/3230484
145.51/142.52	c cleaning 80004 clauses out of 160017 with flag 17518645/3311484
150.10/147.18	c cleaning 80999 clauses out of 162014 with flag 17973061/3393485
154.81/151.86	c cleaning 81994 clauses out of 164014 with flag 18440055/3476484
159.40/156.46	c cleaning 83004 clauses out of 166020 with flag 18914391/3560484
164.53/161.62	c cleaning 84003 clauses out of 168017 with flag 19389685/3645485
169.43/166.58	c cleaning 85006 clauses out of 170014 with flag 19870539/3731485
174.32/171.44	c cleaning 86000 clauses out of 172009 with flag 20354126/3818486
179.51/176.60	c cleaning 87002 clauses out of 174009 with flag 20853398/3906486
184.90/182.09	c cleaning 87998 clauses out of 176005 with flag 21362631/3995484
190.37/187.55	c cleaning 89004 clauses out of 178009 with flag 21876760/4085486
195.88/194.29	c cleaning 90001 clauses out of 180004 with flag 22395259/4176485
201.58/199.95	c cleaning 91000 clauses out of 182002 with flag 22916939/4268484
207.48/205.86	c cleaning 91993 clauses out of 184002 with flag 23445871/4361484
213.56/211.91	c cleaning 93004 clauses out of 186011 with flag 23987925/4455486
219.66/218.02	c cleaning 93996 clauses out of 188005 with flag 24531639/4550484
226.18/224.66	c cleaning 95000 clauses out of 190009 with flag 25082894/4646484
232.60/231.02	c cleaning 95996 clauses out of 192009 with flag 25645436/4743484
238.87/237.35	c cleaning 97005 clauses out of 194013 with flag 26220166/4841484
245.35/243.82	c cleaning 97990 clauses out of 196008 with flag 26801686/4940484
251.79/250.32	c cleaning 99003 clauses out of 198019 with flag 27387517/5040485
258.27/256.88	c cleaning 100004 clauses out of 200015 with flag 27979983/5141484
264.60/263.17	c cleaning 100996 clauses out of 202012 with flag 28576619/5243485
271.04/269.61	c cleaning 102000 clauses out of 204015 with flag 29182674/5346484
277.38/276.04	c cleaning 103004 clauses out of 206016 with flag 29793882/5450485
283.91/282.62	c cleaning 103996 clauses out of 208011 with flag 30409716/5555484
290.85/289.68	c cleaning 105000 clauses out of 210015 with flag 31039894/5661484
298.23/297.03	c cleaning 105998 clauses out of 212015 with flag 31672060/5768484
305.21/304.09	c cleaning 107005 clauses out of 214017 with flag 32313851/5876484
312.38/311.25	c cleaning 107998 clauses out of 216013 with flag 32971707/5985485
319.95/318.84	c cleaning 109002 clauses out of 218015 with flag 33644605/6095485
327.53/326.46	c cleaning 110000 clauses out of 220012 with flag 34314417/6206484
335.35/334.29	c cleaning 111004 clauses out of 222015 with flag 34993487/6318487
343.32/342.81	c cleaning 111995 clauses out of 224008 with flag 35681602/6431484
351.31/350.84	c cleaning 113004 clauses out of 226013 with flag 36364292/6545484
359.82/359.35	c cleaning 113998 clauses out of 228012 with flag 37075779/6660487
368.19/367.73	c cleaning 115001 clauses out of 230012 with flag 37785398/6776485
376.97/376.50	c cleaning 116002 clauses out of 232011 with flag 38510769/6893485
385.65/385.29	c cleaning 117003 clauses out of 234009 with flag 39241182/7011485
394.58/394.19	c cleaning 117996 clauses out of 236005 with flag 39970467/7130484
403.76/403.33	c cleaning 119004 clauses out of 238011 with flag 40696755/7250486
413.04/412.65	c cleaning 119993 clauses out of 240005 with flag 41451232/7371484
422.52/422.11	c cleaning 121002 clauses out of 242012 with flag 42215127/7493484
432.09/431.77	c cleaning 121993 clauses out of 244011 with flag 42997813/7616485
442.02/441.75	c cleaning 123004 clauses out of 246018 with flag 43768495/7740485
451.83/451.65	c cleaning 123996 clauses out of 248013 with flag 44541695/7865484
462.31/462.13	c cleaning 125005 clauses out of 250018 with flag 45331094/7991485
472.81/472.75	c cleaning 126000 clauses out of 252012 with flag 46134974/8118484
483.21/483.17	c cleaning 126994 clauses out of 254013 with flag 46956429/8246485
494.41/494.49	c cleaning 128008 clauses out of 256019 with flag 47781997/8375485
505.61/505.78	c cleaning 129003 clauses out of 258010 with flag 48626371/8505484
517.40/517.60	c cleaning 130000 clauses out of 260008 with flag 49478415/8636485
528.73/529.07	c cleaning 131003 clauses out of 262008 with flag 50345754/8768485
540.79/541.19	c cleaning 132000 clauses out of 264004 with flag 51206297/8901484
553.60/553.91	c cleaning 133000 clauses out of 266005 with flag 52092684/9035485
565.85/566.32	c cleaning 134000 clauses out of 268005 with flag 52981171/9170485
578.91/579.47	c cleaning 134994 clauses out of 270005 with flag 53892212/9306485
592.06/592.70	c cleaning 136002 clauses out of 272010 with flag 54826435/9443484
605.82/606.57	c cleaning 137002 clauses out of 274009 with flag 55773862/9581485
619.96/620.84	c cleaning 137992 clauses out of 276007 with flag 56735047/9720485
634.39/634.93	c cleaning 138997 clauses out of 278013 with flag 57681131/9860484
647.96/648.66	c cleaning 140001 clauses out of 280016 with flag 58617598/10001484
661.50/662.29	c cleaning 140997 clauses out of 282016 with flag 59565579/10143485
677.07/677.88	c cleaning 141993 clauses out of 284019 with flag 60540889/10286486
692.07/692.84	c cleaning 143007 clauses out of 286027 with flag 61512805/10430488
706.96/707.79	c cleaning 144008 clauses out of 288015 with flag 62486345/10575484
723.20/724.09	c cleaning 144991 clauses out of 290005 with flag 63476387/10721484
738.62/739.49	c cleaning 145997 clauses out of 292012 with flag 64431100/10868484
756.06/756.99	c cleaning 147006 clauses out of 294012 with flag 65421475/11016484
772.77/773.65	c cleaning 148000 clauses out of 296003 with flag 66393634/11165484
791.85/792.80	c starts		: 14267
791.93/792.80	c conflicts		: 11304114
791.93/792.80	c decisions		: 22721552
791.93/792.80	c propagations		: 189641136
791.93/792.80	c inspects		: 11699469106
791.93/792.80	c shortcuts		: 0
791.93/792.80	c learnt literals	: 28
791.93/792.80	c learnt binary clauses	: 588
791.93/792.80	c learnt ternary clauses	: 7086
791.93/792.80	c learnt constraints	: 11304085
791.93/792.80	c ignored constraints	: 0
791.93/792.80	c root simplifications	: 0
791.93/792.80	c removed literals (reason simplification)	: 132460718
791.93/792.80	c reason swapping (by a shorter reason)	: 0
791.93/792.80	c Calls to reduceDB	: 145
791.93/792.80	c Number of update (reduction) of LBD	: 5270843
791.93/792.80	c Imported unit clauses	: 0
791.93/792.80	c No decision after first conflict	: false
791.93/792.81	c number of reductions to clauses (during analyze)	: 0
791.93/792.81	c number of learned constraints concerned by reduction	: 0
791.93/792.81	c number of learning phase by resolution	: 0
791.93/792.81	c number of learning phase by cutting planes	: 0
791.93/792.81	c number of rounding to 1 operations	: 0
791.93/792.81	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
791.93/792.81	c number of reductions of the coefficients by power 2 	: 0
791.93/792.81	c number of right shift for reduction by power 2 	: 0
791.93/792.81	c number of reductions of the coefficients by GCD over coefficients 	: 0
791.93/792.81	c number of ending skipping 	: 0
791.93/792.81	c number of internal skipping 	: 0
791.93/792.81	c number of derivation steps 	: 0
791.93/792.81	c number of skipped derivation steps 	: 0
791.93/792.81	c number of remaining unassigned 	: 0
791.93/792.81	c number of remaining assigned 	: 0
791.93/792.81	c number of falsified literals weakened from reason	: 0
791.93/792.81	c number of falsified literals weakened from conflict	: 0
791.93/792.81	c time for arithmetic operations	: 0
791.93/792.81	c minimum degree of deleted constraints	: null
791.93/792.81	c maximum degree of deleted constraints	: null
791.93/792.81	c number of deleted constraints	: 0
791.93/792.81	c speed (assignments/second)	: 239269.44778092924
791.93/792.81	c non guided choices	: 206
791.93/792.81	s OPTIMUM FOUND
791.93/792.81	c Found 1 solution(s)
791.93/792.81	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 
791.93/792.81	c objective function=4
791.93/792.81	c Total wall clock time (in seconds): 792.672

Verifier Data 

OK	4

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED BOUNDS 4 <= obj <= 4
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 4 <= obj <= 4
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 4 <= obj <= 4
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449952-1721844114/watcher-4449952-1721844114 -o /tmp/evaluation-result-4449952-1721844114/solver-4449952-1721844114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250669 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4449952-1721844114 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449952-1721844114.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=253824, runsolver pid=253821

[startup+0.106707 s]*
/proc/loadavg: 4.16 4.14 4.10 7/337 253842
/proc/meminfo: memFree=106942936/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=18975048 memory=65136 CPUtime=0.13 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 7214 0 0 0 11 2 0 0 20 0 18 0 20934382 19430449152 16284 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4743762 16284 5681 1 0 549320 0
[pid=253824/tid=253826] ppid=253821 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 1077936192 5758 0 0 0 7 1 0 0 20 0 18 0 20934382 19430449152 16284 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20934385 19430449152 16284 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20934385 19430449152 16284 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65136 KiB

[startup+0.207689 s]*
/proc/loadavg: 4.16 4.14 4.10 8/337 253842
/proc/meminfo: memFree=106935056/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=18975048 memory=73764 CPUtime=0.32 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 7685 0 0 0 29 3 0 0 20 0 18 0 20934382 19430449152 18441 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4743762 18441 5799 1 0 549631 0
[pid=253824/tid=253826] ppid=253821 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 1077936192 5970 0 0 0 16 1 0 0 20 0 18 0 20934382 19430449152 18441 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=18975048 memory=770575 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20934385 19430449152 18441 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20934385 19430449152 18441 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73764 KiB

[startup+0.306621 s]*
/proc/loadavg: 4.16 4.14 4.10 8/338 253843
/proc/meminfo: memFree=106923752/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19043160 memory=85464 CPUtime=0.51 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 9780 0 0 0 48 3 0 0 20 0 19 0 20934382 19500195840 21366 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4760790 21366 5837 1 0 551346 0
[pid=253824/tid=253826] ppid=253821 vsize=19043160 memory=-9104979276538290876 CPUtime=0.27 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 6090 0 0 0 25 2 0 0 20 0 19 0 20934382 19500195840 21366 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19043160 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20934385 19500195840 21366 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19043160 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20934385 19500195840 21366 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19043160 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20934404 19500195840 21366 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19043160 KiB
Current children cumulated memory: 85464 KiB

[startup+0.700256 s]
/proc/loadavg: 4.16 4.14 4.10 6/338 253843
/proc/meminfo: memFree=106895164/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19041612 memory=138244 CPUtime=1.28 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 12974 0 0 0 123 5 0 0 20 0 19 0 20934382 19498610688 34561 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4760403 34561 5846 1 0 552959 0
[pid=253824/tid=253826] ppid=253821 vsize=19041612 memory=12264 CPUtime=0.64 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 6162 0 0 0 61 3 0 0 20 0 19 0 20934382 19498610688 34561 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19041612 memory=12264 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20934385 19498610688 34561 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20934385 19498610688 34561 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19041612 memory=25948 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20934404 19498610688 34561 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138244 KiB

[startup+1.50062 s]
/proc/loadavg: 4.16 4.14 4.10 6/339 253844
/proc/meminfo: memFree=106716408/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=176128 CPUtime=2.8 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 17870 0 0 0 273 7 0 0 20 0 20 0 20934382 19566772224 44032 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 44032 5857 1 0 553720 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=12264 CPUtime=1.4 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 6584 0 0 0 136 4 0 0 20 0 20 0 20934382 19566772224 44032 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 44032 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 44032 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 44032 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176128 KiB

[startup+3.10579 s]
/proc/loadavg: 4.16 4.14 4.10 5/339 253844
/proc/meminfo: memFree=106631156/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=236020 CPUtime=4.78 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 20441 0 0 0 468 10 0 0 20 0 20 0 20934382 19566772224 59005 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 59005 5857 1 0 553741 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=0 CPUtime=2.98 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 7106 0 0 0 291 7 0 0 20 0 20 0 20934382 19566772224 59005 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 59005 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=176172 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 59005 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 59005 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 236020 KiB

[startup+6.30027 s]
/proc/loadavg: 4.15 4.14 4.09 5/339 253844
/proc/meminfo: memFree=106348632/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=534408 CPUtime=8.5 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 21466 0 0 0 831 19 0 0 20 0 20 0 20934382 19566772224 133602 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 133602 5857 1 0 553741 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=12264 CPUtime=6.15 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 7615 0 0 0 599 16 0 0 20 0 20 0 20934382 19566772224 133602 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 133602 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=6082794546157539921 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 133602 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=5592 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 133602 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 534408 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.14 4.09 6/339 253846
/proc/meminfo: memFree=105789816/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=976880 CPUtime=14.99 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 25640 0 0 0 1467 32 0 0 20 0 20 0 20934382 19566772224 244220 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 244220 5857 1 0 553741 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=0 CPUtime=12.51 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 8734 0 0 0 1223 28 0 0 20 0 20 0 20934382 19566772224 244220 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=970728 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 244220 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 244220 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 244220 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 976880 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.15 4.10 5/337 253848
/proc/meminfo: memFree=105251200/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1314996 CPUtime=28.06 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 35006 0 0 0 2757 49 0 0 20 0 20 0 20934382 19566772224 328749 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 328749 5857 1 0 554967 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=970728 CPUtime=25.22 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 11017 0 0 0 2479 43 0 0 20 0 20 0 20934382 19566772224 328749 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 328749 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=997492 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 328749 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 328749 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 28.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1314996 KiB

[startup+51.1059 s]
/proc/loadavg: 4.47 4.22 4.12 5/338 253854
/proc/meminfo: memFree=104856120/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1326804 CPUtime=54.18 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 50061 0 0 0 5354 64 0 0 20 0 20 0 20934382 19566772224 331701 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 331701 5873 1 0 556801 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=1338812 CPUtime=50.58 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 13693 0 0 0 5001 57 0 0 20 0 20 0 20934382 19566772224 331701 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0

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

/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 745 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 387442 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 387442 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 701.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1549768 KiB

[startup+762.3 s]
/proc/loadavg: 3.20 3.37 3.73 4/309 254020
/proc/meminfo: memFree=104334556/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576424 CPUtime=761.5 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 94907 0 0 0 75882 268 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394106 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=11616 CPUtime=753.85 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 29943 0 0 0 75149 236 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 286 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=1576424 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=-9104979276538290876 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=1576392 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 761.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576424 KiB

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

# cumulated CPU time of all completed processes:  user=789.228 s, system=2.73088 s

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

[startup+768 s]*
/proc/loadavg: 3.19 3.36 3.72 4/309 254021
/proc/meminfo: memFree=104303848/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576424 CPUtime=767.19 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 94976 0 0 0 76451 268 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394106 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=7608 CPUtime=759.53 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 30011 0 0 0 75717 236 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 286 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=28324 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=4270431478482867304 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=20684 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 767.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576424 KiB

[startup+780.8 s]
/proc/loadavg: 3.14 3.34 3.71 4/309 254024
/proc/meminfo: memFree=104203456/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576424 CPUtime=779.95 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 95730 0 0 0 77725 270 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394106 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=1576424 CPUtime=772.29 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 30618 0 0 0 76992 237 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 287 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=-9104979276538290876 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=2692 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=1576424 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 779.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576424 KiB

[startup+787.2 s]
/proc/loadavg: 3.21 3.35 3.71 4/309 254024
/proc/meminfo: memFree=104159068/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576424 CPUtime=786.34 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 95795 0 0 0 78364 270 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394106 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=1576424 CPUtime=778.68 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 30683 0 0 0 77630 238 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 287 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=72196 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=1576424 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=-9104979276538290876 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 786.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576424 KiB

[startup+790.4 s]
/proc/loadavg: 3.20 3.35 3.71 4/309 254026
/proc/meminfo: memFree=104144420/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576424 CPUtime=789.54 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 95869 0 0 0 78683 271 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394106 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=16084 CPUtime=781.87 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 30757 0 0 0 77949 238 0 0 20 0 20 0 20934382 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 287 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=1576424 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=21072 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=1576424 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394106 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 789.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576424 KiB

[startup+792 s]*
/proc/loadavg: 3.20 3.35 3.71 4/309 254026
/proc/meminfo: memFree=104135472/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576448 CPUtime=791.15 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 97448 0 0 0 78844 271 0 0 20 0 20 0 20934382 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394112 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=-9104979276538290876 CPUtime=783.47 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 31356 0 0 0 78109 238 0 0 20 0 20 0 20934382 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 287 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=4270431478482867304 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=28192 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=33584 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 791.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576448 KiB

[startup+792.4 s]
/proc/loadavg: 3.20 3.35 3.71 4/309 254026
/proc/meminfo: memFree=104135472/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19108176 memory=1576448 CPUtime=791.55 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 97719 0 0 0 78884 271 0 0 20 0 20 0 20934382 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4777044 394112 5888 1 0 556817 0
[pid=253824/tid=253826] ppid=253821 vsize=19108176 memory=39812 CPUtime=783.86 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) R 253821 253824 250658 0 -1 4194368 31356 0 0 0 78148 238 0 0 20 0 20 0 20934382 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 287 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19108176 memory=-9104979276538290876 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19108176 memory=72196 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253843] ppid=253821 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/253824/task/253843/stat : 253843 (Timer-0) S 253821 253824 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20934404 19566772224 394112 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 791.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1576448 KiB

[startup+792.804 s]
/proc/loadavg: 3.20 3.35 3.71 4/309 254026
/proc/meminfo: memFree=104135472/131524600 swapFree=131071728/131071996
[pid=253824] ppid=253821 vsize=19241304 memory=1576804 CPUtime=791.93 cores=4,6
/proc/253824/stat : 253824 (java) S 253821 253824 250658 0 -1 1077936128 99357 0 0 0 78921 272 0 0 20 0 20 0 20934382 19703095296 394201 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
/proc/253824/statm: 4810326 394201 5887 1 0 557467 0
[pid=253824/tid=253826] ppid=253821 vsize=19241304 memory=25948 CPUtime=784.22 cores=4,6
/proc/253824/task/253826/stat : 253826 (java) S 253821 253824 250658 0 -1 1077936192 32621 0 0 0 78183 239 0 0 20 0 20 0 20934382 19703095296 394201 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 292 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253835] ppid=253821 vsize=19241304 memory=32420 CPUtime=0 cores=4,6
/proc/253824/task/253835/stat : 253835 (Finalizer) S 253821 253824 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20934385 19703095296 394201 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
[pid=253824/tid=253842] ppid=253821 vsize=19241304 memory=5664 CPUtime=0 cores=4,6
/proc/253824/task/253842/stat : 253842 (Common-Cleaner) S 253821 253824 250658 0 -1 1077936192 746 0 0 0 0 0 0 0 20 0 20 0 20934385 19703095296 394201 134679101440 94274282295296 94274282298992 140721704754640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274282306808 94274282307600 94274305810432 140721704756139 140721704756321 140721704756321 140721704763336 0
Current children cumulated CPU time: 791.93 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1576804 KiB

Child status: 30

Real time (s): 792.831
CPU time (s): 791.959
CPU user time (s): 789.228
CPU system time (s): 2.73088
CPU usage (%): 99.89
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1576804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 789.228
system time used= 2.73088
maximum resident set size= 1577792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99677
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2565024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25827
involuntary context switches= 4182


# summary of solver processes directly reported to runsolver:
#   pid: 253824
#   total CPU time (s): 791.959
#   total CPU user time (s): 789.228
#   total CPU system time (s): 2.73088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47628 second user time and 4.12424 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 20:01:54
IDJOB=4449952
IDBENCH=176173
IDSOLVER=3079
FILE ID=nodeC024/4449952-1721844114
RUNJOBID= nodeC024-1721840221-250669
SLURM_JOB_ID= 7891548
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=9-t=5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449952-1721844114/watcher-4449952-1721844114 -o /tmp/evaluation-result-4449952-1721844114/solver-4449952-1721844114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250669 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4449952-1721844114 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449952-1721844114.opb

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

MD5SUM BENCH= e8bf5f7be237686d5dd1c770609b55cb
RANDOM SEED=601913081

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        106988100 kB
MemAvailable:   123183232 kB
Buffers:          270972 kB
Cached:         16678840 kB
SwapCached:           92 kB
Active:          2679068 kB
Inactive:       21080424 kB
Active(anon):       1556 kB
Inactive(anon):  6862288 kB
Active(file):    2677512 kB
Inactive(file): 14218136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             58312 kB
Writeback:             0 kB
AnonPages:       6808812 kB
Mapped:           139236 kB
Shmem:             54012 kB
KReclaimable:     278616 kB
Slab:             404200 kB
SReclaimable:     278616 kB
SUnreclaim:       125584 kB
KernelStack:        5152 kB
PageTables:        23516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9035048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6500352 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-24 20:15:07