Trace number 4514887

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06UNSAT cert. 1109.91 1106.26

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb
MD5SUM22f5cbb2f2c2a73b7dbac80b761f1874
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.284334
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables201
Total number of constraints134
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints88
Minimum length of a constraint3
Maximum length of a constraint201
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 9600
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 107514
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.15	c See www.sat4j.org for details.
0.12/0.16	c version PB25.v20250606
0.12/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.18	c java.vm.version	22.0.1+8-16
0.12/0.18	c java.vm.vendor	Oracle Corporation
0.12/0.18	c sun.arch.data.model	64
0.12/0.18	c java.version		22.0.1
0.12/0.18	c os.name		Linux
0.12/0.18	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.18	c os.arch		amd64
0.12/0.19	c Free memory 		2106806208
0.12/0.19	c Max memory 		16282288128
0.12/0.19	c Total memory 		2113929216
0.12/0.19	c Number of processors 	2
0.30/0.29	c Pseudo Boolean Optimization by upper bound
0.30/0.29	c --- Begin Solver configuration ---
0.30/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.30/0.29	c Learn all clauses as in MiniSAT
0.30/0.29	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.29	c Expensive reason simplification
0.30/0.29	c Glucose 2.1 dynamic restart strategy
0.30/0.29	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.30/0.29	c timeout=2147483s
0.30/0.29	c DB Simplification allowed=false
0.30/0.29	c Listener: none
0.30/0.29	c --- End Solver configuration ---
0.30/0.29	c solving HOME/instance-4514887-1751229661.opb
0.30/0.29	c reading problem ... 
0.30/0.29	c using VERIPB proof format
0.30/0.29	c  no objective function found
0.46/0.37	c ... done. Wall clock time 0.081s.
0.46/0.37	c declared #vars     201
0.46/0.37	c #constraints  134
0.46/0.37	c constraints type 
0.46/0.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.46/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
0.46/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 20
0.46/0.37	c 134 constraints processed.
2.35/1.31	c cleaning 2496 clauses out of 5002 with flag 11575/5002
3.15/1.78	c cleaning 4246 clauses out of 8504 with flag 26832/11000
4.13/2.25	c cleaning 5621 clauses out of 11260 with flag 43450/18002
4.92/2.63	c cleaning 6815 clauses out of 13637 with flag 63585/26000
5.72/3.01	c cleaning 7902 clauses out of 15822 with flag 87542/35000
6.26/3.41	c cleaning 8949 clauses out of 17921 with flag 112444/45001
6.75/3.82	c cleaning 9975 clauses out of 19971 with flag 142917/56000
7.15/4.24	c cleaning 10986 clauses out of 21996 with flag 177753/68000
7.75/4.81	c cleaning 11997 clauses out of 24011 with flag 211618/81001
8.44/5.41	c cleaning 12998 clauses out of 26014 with flag 249839/95001
9.05/6.03	c cleaning 13993 clauses out of 28016 with flag 293859/110001
9.76/6.70	c cleaning 15007 clauses out of 30024 with flag 343343/126002
10.32/7.28	c cleaning 16000 clauses out of 32015 with flag 387229/143000
11.32/7.89	c cleaning 17007 clauses out of 34017 with flag 436103/161002
12.18/8.64	c cleaning 17997 clauses out of 36008 with flag 489025/180000
12.87/9.38	c cleaning 19002 clauses out of 38012 with flag 550435/200001
13.68/10.17	c cleaning 20000 clauses out of 40010 with flag 610539/221001
14.58/11.02	c cleaning 21001 clauses out of 42009 with flag 670207/243000
15.36/11.89	c cleaning 21999 clauses out of 44008 with flag 737484/266000
16.26/12.80	c cleaning 23001 clauses out of 46010 with flag 805850/290001
17.45/13.91	c cleaning 24002 clauses out of 48008 with flag 882143/315000
18.57/15.07	c cleaning 25000 clauses out of 50006 with flag 963099/341000
19.66/16.13	c cleaning 25998 clauses out of 52006 with flag 1036178/368000
20.74/17.28	c cleaning 27005 clauses out of 54010 with flag 1113863/396002
22.04/18.54	c cleaning 27999 clauses out of 56003 with flag 1196380/425000
23.14/19.67	c cleaning 28992 clauses out of 58004 with flag 1273250/455000
24.44/20.90	c cleaning 30005 clauses out of 60012 with flag 1352034/486000
25.65/22.16	c cleaning 30994 clauses out of 62007 with flag 1436141/518000
27.03/23.51	c cleaning 32004 clauses out of 64013 with flag 1517403/551000
28.43/24.98	c cleaning 33001 clauses out of 66010 with flag 1601803/585001
30.12/26.60	c cleaning 34002 clauses out of 68009 with flag 1695322/620001
31.53/28.08	c cleaning 35000 clauses out of 70006 with flag 1789546/656000
33.11/29.63	c cleaning 35998 clauses out of 72007 with flag 1887870/693001
34.74/31.30	c cleaning 37002 clauses out of 74009 with flag 1986461/731001
36.46/33.02	c cleaning 38003 clauses out of 76008 with flag 2095326/770002
38.14/34.76	c cleaning 39000 clauses out of 78003 with flag 2212966/810000
39.84/36.46	c cleaning 40001 clauses out of 80004 with flag 2320038/851001
41.93/38.54	c cleaning 40999 clauses out of 82003 with flag 2438528/893001
43.83/40.41	c cleaning 42000 clauses out of 84004 with flag 2549894/936001
45.72/42.38	c cleaning 43001 clauses out of 86003 with flag 2661321/980000
47.62/44.28	c cleaning 43997 clauses out of 88002 with flag 2772868/1025000
49.71/46.35	c cleaning 45001 clauses out of 90006 with flag 2886836/1071001
51.82/48.45	c cleaning 45998 clauses out of 92004 with flag 3002293/1118000
54.21/50.86	c cleaning 47002 clauses out of 94006 with flag 3118266/1166000
56.69/53.34	c cleaning 48001 clauses out of 96005 with flag 3237263/1215001
59.08/55.74	c cleaning 48997 clauses out of 98003 with flag 3356759/1265000
61.49/58.18	c cleaning 49999 clauses out of 100006 with flag 3477503/1316000
64.07/60.72	c cleaning 51004 clauses out of 102007 with flag 3602057/1368000
66.51/63.28	c cleaning 52002 clauses out of 104004 with flag 3728669/1421001
69.10/65.87	c cleaning 52999 clauses out of 106002 with flag 3853132/1475001
71.90/68.61	c cleaning 54001 clauses out of 108003 with flag 3980315/1530001
74.59/71.30	c cleaning 54996 clauses out of 110001 with flag 4112033/1586000
77.48/74.20	c cleaning 56000 clauses out of 112005 with flag 4250480/1643000
80.18/76.93	c cleaning 56999 clauses out of 114007 with flag 4384481/1701002
82.97/79.70	c cleaning 58000 clauses out of 116006 with flag 4520741/1760000
86.37/83.12	c cleaning 58999 clauses out of 118006 with flag 4672354/1820000
89.46/86.23	c cleaning 60001 clauses out of 120010 with flag 4816672/1881003
92.74/89.50	c cleaning 60999 clauses out of 122006 with flag 4965900/1943000
96.08/92.95	c cleaning 61997 clauses out of 124007 with flag 5115168/2006000
99.50/96.32	c cleaning 63004 clauses out of 126011 with flag 5270587/2070001
102.60/99.40	c cleaning 64003 clauses out of 128007 with flag 5419563/2135001
105.69/102.56	c cleaning 64998 clauses out of 130004 with flag 5572387/2201001
109.19/106.03	c cleaning 66003 clauses out of 132005 with flag 5734414/2268000
112.97/109.89	c cleaning 66995 clauses out of 134002 with flag 5899399/2336000
116.95/113.87	c cleaning 68002 clauses out of 136008 with flag 6069567/2405001
120.64/117.56	c cleaning 68998 clauses out of 138006 with flag 6236143/2475001
124.94/121.83	c cleaning 69999 clauses out of 140007 with flag 6405483/2546000
129.18/126.17	c cleaning 71003 clauses out of 142009 with flag 6578974/2618001
133.58/130.50	c cleaning 71998 clauses out of 144007 with flag 6760711/2691002
137.78/134.76	c cleaning 73002 clauses out of 146008 with flag 6936356/2765001
142.46/139.40	c cleaning 74000 clauses out of 148007 with flag 7113684/2840002
147.06/144.09	c cleaning 75000 clauses out of 150005 with flag 7296927/2916000
151.95/148.98	c cleaning 75999 clauses out of 152005 with flag 7485492/2993000
156.53/153.50	c cleaning 76999 clauses out of 154008 with flag 7677884/3071002
160.79/157.83	c cleaning 78000 clauses out of 156007 with flag 7856843/3150000
165.27/162.38	c cleaning 79001 clauses out of 158008 with flag 8046768/3230001
169.98/167.02	c cleaning 80000 clauses out of 160007 with flag 8240436/3311001
174.85/171.98	c cleaning 80999 clauses out of 162007 with flag 8440038/3393001
179.63/176.78	c cleaning 82000 clauses out of 164007 with flag 8640600/3476000
184.72/181.86	c cleaning 82993 clauses out of 166009 with flag 8838139/3560002
189.59/186.72	c cleaning 84001 clauses out of 168015 with flag 9035193/3645001
194.88/192.02	c cleaning 85005 clauses out of 170014 with flag 9247553/3731001
199.98/197.15	c cleaning 86000 clauses out of 172008 with flag 9449032/3818000
205.74/202.92	c cleaning 87001 clauses out of 174009 with flag 9668102/3906001
212.03/209.24	c cleaning 87996 clauses out of 176007 with flag 9895870/3995000
217.72/214.92	c cleaning 88998 clauses out of 178011 with flag 10110288/4085000
223.26/220.56	c cleaning 90001 clauses out of 180013 with flag 10334578/4176000
229.13/226.16	c cleaning 91006 clauses out of 182014 with flag 10552127/4268002
234.60/231.61	c cleaning 91997 clauses out of 184006 with flag 10771677/4361000
239.78/236.81	c cleaning 93000 clauses out of 186009 with flag 10992827/4455000
245.87/242.98	c cleaning 93998 clauses out of 188011 with flag 11216483/4550002
251.71/248.81	c cleaning 95002 clauses out of 190012 with flag 11444766/4646001
257.91/255.09	c cleaning 96002 clauses out of 192009 with flag 11690544/4743000
263.93/261.05	c cleaning 96998 clauses out of 194008 with flag 11924934/4841001
269.91/267.02	c cleaning 98000 clauses out of 196010 with flag 12164750/4940001
275.90/273.06	c cleaning 98998 clauses out of 198010 with flag 12408714/5040001
282.24/279.50	c cleaning 99999 clauses out of 200011 with flag 12648875/5141000
289.12/286.32	c cleaning 101002 clauses out of 202013 with flag 12895178/5243001
295.70/292.94	c cleaning 102001 clauses out of 204011 with flag 13138116/5346001
302.48/299.70	c cleaning 103001 clauses out of 206011 with flag 13391057/5450002
310.07/307.30	c cleaning 104002 clauses out of 208011 with flag 13653823/5555003
316.62/313.95	c cleaning 104998 clauses out of 210006 with flag 13908709/5661000
325.24/322.54	c cleaning 105996 clauses out of 212008 with flag 14167274/5768000
332.62/329.96	c cleaning 107004 clauses out of 214012 with flag 14424506/5876000
340.10/337.42	c cleaning 107999 clauses out of 216008 with flag 14689530/5985000
347.29/344.65	c cleaning 109000 clauses out of 218009 with flag 14949684/6095000
354.96/352.40	c cleaning 109999 clauses out of 220010 with flag 15216425/6206001
362.54/359.98	c cleaning 111000 clauses out of 222010 with flag 15479548/6318000
370.46/367.81	c cleaning 112003 clauses out of 224011 with flag 15746927/6431001
378.31/375.77	c cleaning 112999 clauses out of 226007 with flag 16020805/6545000
386.60/384.06	c cleaning 113995 clauses out of 228008 with flag 16293365/6660000
396.28/393.71	c cleaning 114998 clauses out of 230013 with flag 16580265/6776000
404.02/401.54	c cleaning 116004 clauses out of 232016 with flag 16859502/6893001
413.46/410.95	c cleaning 117001 clauses out of 234012 with flag 17147696/7011001
422.14/419.69	c cleaning 118004 clauses out of 236011 with flag 17429381/7130001
430.93/428.42	c cleaning 119000 clauses out of 238008 with flag 17712268/7250002
440.63/438.13	c cleaning 119999 clauses out of 240006 with flag 18006896/7371000
450.21/446.86	c cleaning 120997 clauses out of 242006 with flag 18294478/7493000
458.93/455.53	c cleaning 122005 clauses out of 244009 with flag 18588242/7616000
468.17/464.85	c cleaning 122999 clauses out of 246005 with flag 18873976/7740001
477.26/473.99	c cleaning 123992 clauses out of 248005 with flag 19169563/7865000
487.50/484.15	c cleaning 125004 clauses out of 250014 with flag 19473141/7991001
497.34/494.01	c cleaning 126000 clauses out of 252009 with flag 19787066/8118000
507.48/504.17	c cleaning 127001 clauses out of 254010 with flag 20096828/8246001
519.35/516.05	c cleaning 128002 clauses out of 256008 with flag 20419857/8375000
530.98/527.61	c cleaning 128999 clauses out of 258006 with flag 20732106/8505000
541.85/538.58	c cleaning 129998 clauses out of 260007 with flag 21052691/8636000
553.63/550.33	c cleaning 131001 clauses out of 262009 with flag 21364031/8768000
566.74/563.41	c cleaning 132001 clauses out of 264009 with flag 21691751/8901001
577.82/574.56	c cleaning 133002 clauses out of 266007 with flag 22016065/9035000
589.46/586.15	c cleaning 134001 clauses out of 268006 with flag 22343649/9170001
601.82/598.50	c cleaning 135000 clauses out of 270005 with flag 22675474/9306001
615.97/612.65	c cleaning 136000 clauses out of 272006 with flag 23034194/9443002
627.22/623.96	c cleaning 137001 clauses out of 274005 with flag 23379234/9581001
640.27/636.98	c cleaning 137998 clauses out of 276003 with flag 23714972/9720000
653.33/650.07	c cleaning 138995 clauses out of 278005 with flag 24049358/9860000
667.60/664.20	c cleaning 139999 clauses out of 280010 with flag 24385680/10001000
679.72/676.42	c cleaning 141004 clauses out of 282012 with flag 24726611/10143001
692.26/688.90	c cleaning 141994 clauses out of 284008 with flag 25076283/10286001
705.04/701.75	c cleaning 143005 clauses out of 286013 with flag 25417030/10430000
717.78/714.54	c cleaning 143999 clauses out of 288009 with flag 25771687/10575001
731.52/728.23	c cleaning 144998 clauses out of 290010 with flag 26135748/10721001
745.04/741.82	c cleaning 146001 clauses out of 292011 with flag 26497311/10868001
760.20/756.97	c cleaning 147002 clauses out of 294009 with flag 26859055/11016001
774.12/770.97	c cleaning 147999 clauses out of 296008 with flag 27216817/11165002
788.46/785.23	c cleaning 148999 clauses out of 298007 with flag 27578904/11315000
803.58/800.48	c cleaning 150000 clauses out of 300009 with flag 27947803/11466001
819.64/816.40	c cleaning 150998 clauses out of 302008 with flag 28316235/11618000
834.28/831.13	c cleaning 151997 clauses out of 304010 with flag 28685217/11771000
848.62/845.48	c cleaning 153000 clauses out of 306015 with flag 29056637/11925002
863.08/859.97	c cleaning 154004 clauses out of 308013 with flag 29429451/12080000
880.77/877.24	c cleaning 154998 clauses out of 310009 with flag 29824248/12236000
897.29/893.88	c cleaning 156004 clauses out of 312011 with flag 30213845/12393000
913.52/910.04	c cleaning 156995 clauses out of 314008 with flag 30602087/12551001
933.63/930.18	c cleaning 158007 clauses out of 316013 with flag 31006040/12710001
952.38/948.94	c cleaning 158999 clauses out of 318005 with flag 31416939/12870000
972.69/968.90	c cleaning 159996 clauses out of 320006 with flag 31830663/13031001
990.63/986.91	c cleaning 161002 clauses out of 322009 with flag 32229730/13193000
1010.88/1007.11	c cleaning 161999 clauses out of 324007 with flag 32639931/13356000
1030.41/1026.75	c cleaning 163000 clauses out of 326009 with flag 33060124/13520001
1051.61/1047.90	c cleaning 163999 clauses out of 328006 with flag 33490741/13685001
1073.36/1069.74	c cleaning 165002 clauses out of 330007 with flag 33905698/13851002
1098.15/1094.53	c cleaning 165995 clauses out of 332002 with flag 34321749/14018001
1109.72/1106.14	c starts		: 3986
1109.72/1106.14	c conflicts		: 14100834
1109.72/1106.14	c decisions		: 17072785
1109.72/1106.14	c propagations		: 144187692
1109.72/1106.14	c inspects		: 12448142525
1109.72/1106.14	c shortcuts		: 0
1109.72/1106.14	c learnt literals	: 32
1109.72/1106.14	c learnt binary clauses	: 577
1109.72/1106.14	c learnt ternary clauses	: 2509
1109.72/1106.14	c learnt constraints	: 14100801
1109.72/1106.14	c ignored constraints	: 0
1109.72/1106.14	c root simplifications	: 0
1109.72/1106.14	c removed literals (reason simplification)	: 314041192
1109.72/1106.14	c reason swapping (by a shorter reason)	: 0
1109.72/1106.14	c Calls to reduceDB	: 163
1109.72/1106.14	c Number of update (reduction) of LBD	: 1093222
1109.72/1106.14	c Imported unit clauses	: 0
1109.72/1106.14	c No decision after first conflict	: false
1109.72/1106.14	c number of reductions to clauses (during analyze)	: 0
1109.72/1106.14	c number of learned constraints concerned by reduction	: 0
1109.72/1106.14	c number of learning phase by resolution	: 0
1109.72/1106.14	c number of learning phase by cutting planes	: 0
1109.72/1106.14	c number of rounding to 1 operations	: 0
1109.72/1106.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1109.72/1106.14	c number of reductions of the coefficients by power 2 	: 0
1109.72/1106.14	c number of right shift for reduction by power 2 	: 0
1109.72/1106.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
1109.72/1106.14	c number of ending skipping 	: 0
1109.72/1106.14	c number of internal skipping 	: 0
1109.72/1106.14	c number of derivation steps 	: 0
1109.72/1106.14	c number of skipped derivation steps 	: 0
1109.72/1106.14	c number of remaining unassigned 	: 0
1109.72/1106.14	c number of remaining assigned 	: 0
1109.72/1106.14	c number of falsified literals weakened from reason	: 0
1109.72/1106.14	c number of falsified literals weakened from conflict	: 0
1109.72/1106.14	c time for arithmetic operations	: 0
1109.72/1106.14	c minimum degree of deleted constraints	: null
1109.72/1106.14	c maximum degree of deleted constraints	: null
1109.72/1106.15	c number of deleted constraints	: 0
1109.72/1106.15	c speed (assignments/second)	: 130395.9709450807
1109.72/1106.15	c non guided choices	: 144
1109.86/1106.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 248240
1109.86/1106.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 577
1109.86/1106.21	s UNSATISFIABLE
1109.86/1106.21	c Total wall clock time (in seconds): 1105.924

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 19:06:48 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--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: 63837 MiB (60027 MiB free)
  memory of node 1: 64465 MiB (53294 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514887-1751229661/watcher-4514887-1751229661 -o /tmp/evaluation-result-4514887-1751229661/solver-4514887-1751229661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26777 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514887-1751229661 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514887-1751229661.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28017, runsolver pid=28014

[startup+0.100067 s]*
/proc/loadavg: 4.05 4.15 4.16 5/329 28035
/proc/meminfo: memFree=116011304/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=18930384 memory=50328 CPUtime=0.12 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 5784 0 0 0 9 3 0 0 20 0 18 0 38644794 19384713216 12582 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4732596 12582 5308 1 0 547004 0
[pid=28017/tid=28019] ppid=28014 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 4693 0 0 0 5 2 0 0 20 0 18 0 38644796 19384713216 12582 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38644800 19384713216 12582 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=18930384 memory=59593594259917 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38644801 19384713216 12582 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50328 KiB

[startup+0.214435 s]*
/proc/loadavg: 4.05 4.15 4.16 5/329 28035
/proc/meminfo: memFree=116006452/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=18930384 memory=57408 CPUtime=0.3 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 6504 0 0 0 26 4 0 0 20 0 18 0 38644794 19384713216 14352 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4732596 14352 5340 1 0 547623 0
[pid=28017/tid=28019] ppid=28014 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) S 28014 28017 26767 0 -1 4194368 5084 0 0 0 15 2 0 0 20 0 18 0 38644796 19384713216 14352 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=18930384 memory=16878 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38644800 19384713216 14352 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38644801 19384713216 14352 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57408 KiB

[startup+0.31462 s]*
/proc/loadavg: 4.05 4.15 4.16 7/329 28035
/proc/meminfo: memFree=116006212/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=18930384 memory=60864 CPUtime=0.46 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 6756 0 0 0 42 4 0 0 20 0 18 0 38644794 19384713216 15216 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4732596 15216 5436 1 0 547852 0
[pid=28017/tid=28019] ppid=28014 vsize=18930384 memory=-6000919489953817709 CPUtime=0.27 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 5279 0 0 0 24 3 0 0 20 0 18 0 38644796 19384713216 15216 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38644800 19384713216 15216 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38644801 19384713216 15216 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60864 KiB

[startup+0.700323 s]
/proc/loadavg: 4.05 4.15 4.16 7/330 28036
/proc/meminfo: memFree=116001364/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=18996948 memory=83036 CPUtime=1.18 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 8596 0 0 0 112 6 0 0 20 0 19 0 38644794 19452874752 20759 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4749237 20759 5436 1 0 549039 0
[pid=28017/tid=28019] ppid=28014 vsize=18996948 memory=17920 CPUtime=0.62 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 5396 0 0 0 59 3 0 0 20 0 19 0 38644796 19452874752 20759 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38644800 19452874752 20759 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38644801 19452874752 20759 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38644832 19452874752 20759 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83036 KiB

[startup+1.50029 s]
/proc/loadavg: 4.05 4.15 4.16 6/330 28036
/proc/meminfo: memFree=115951208/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=171096 CPUtime=2.75 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 19003 0 0 0 265 10 0 0 20 0 20 0 38644794 19521036288 42774 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 42774 5468 1 0 552654 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=0 CPUtime=1.34 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 6457 0 0 0 129 5 0 0 20 0 20 0 38644796 19521036288 42774 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 42774 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 42774 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 42774 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171096 KiB

[startup+3.10557 s]
/proc/loadavg: 4.05 4.15 4.16 5/289 28082
/proc/meminfo: memFree=120920736/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=187792 CPUtime=5.89 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 23761 0 0 0 576 13 0 0 20 0 20 0 38644794 19521036288 46948 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 46948 5468 1 0 554078 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=11136 CPUtime=2.91 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 6949 0 0 0 283 8 0 0 20 0 20 0 38644796 19521036288 46948 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=-6000919489953817709 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 46948 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 46948 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 46948 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187792 KiB

[startup+6.30038 s]
/proc/loadavg: 4.21 4.18 4.17 7/330 28170
/proc/meminfo: memFree=123458920/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=354240 CPUtime=9.34 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 24007 0 0 0 915 19 0 0 20 0 20 0 38644794 19521036288 88560 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 88560 5468 1 0 554080 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=0 CPUtime=6.08 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 7119 0 0 0 595 13 0 0 20 0 20 0 38644796 19521036288 88560 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 88560 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 88560 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=171096 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 88560 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 354240 KiB

[startup+12.7004 s]
/proc/loadavg: 4.19 4.18 4.17 6/331 28171
/proc/meminfo: memFree=121675340/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1054656 CPUtime=16.26 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 29092 0 0 0 1590 36 0 0 20 0 20 0 38644794 19521036288 263664 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 263664 5468 1 0 554080 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=171096 CPUtime=12.47 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 8603 0 0 0 1217 30 0 0 20 0 20 0 38644796 19521036288 263664 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=944064 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 263664 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 263664 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=246040 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 263664 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1054656 KiB

[startup+25.5005 s]
/proc/loadavg: 4.29 4.20 4.18 5/308 28200
/proc/meminfo: memFree=120012752/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1284136 CPUtime=29.02 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 31641 0 0 0 2856 46 0 0 20 0 20 0 38644794 19521036288 321034 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 321034 5468 1 0 554080 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=0 CPUtime=25.18 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 9968 0 0 0 2478 40 0 0 20 0 20 0 38644796 19521036288 321034 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=1138728 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 321034 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=1138728 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 321034 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=21472 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 321034 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 29.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1284136 KiB

[startup+51.1243 s]
/proc/loadavg: 4.25 4.20 4.18 6/331 28239
/proc/meminfo: memFree=114817836/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1314992 CPUtime=54.52 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 34181 0 0 0 5392 60 0 0 20 0 20 0 38644794 19521036288 328748 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 328748 5500 1 0 554080 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=11136 CPUtime=50.48 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 10852 0 0 0 4996 52 0 0 20 0 20 0 38644796 19521036288 328748 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 328748 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0

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

/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=16464 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1065.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1106.26 s]
# the end of solver process 28017 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1106.12 s, system=3.79523 s

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

[startup+1075.2 s]
/proc/loadavg: 4.15 4.22 4.19 6/335 28427
/proc/meminfo: memFree=80311740/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1078.92 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54272 0 0 0 107521 371 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1066.42 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20324 0 0 0 106336 306 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=1644788 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=-6000919489953817709 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1078.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1088 s]*
/proc/loadavg: 4.20 4.22 4.19 5/333 28428
/proc/meminfo: memFree=80184540/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1091.68 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54272 0 0 0 108795 373 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=2432 CPUtime=1079.17 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20324 0 0 0 107609 308 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=-4421386496264725349 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=9856 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1091.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1094.4 s]
/proc/loadavg: 4.18 4.22 4.19 5/333 28428
/proc/meminfo: memFree=80103908/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1098.05 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54272 0 0 0 109431 374 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=16464 CPUtime=1085.53 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20324 0 0 0 108245 308 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=1644788 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1098.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1100.8 s]
/proc/loadavg: 4.23 4.23 4.19 5/333 28428
/proc/meminfo: memFree=80023552/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1104.44 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54274 0 0 0 110068 376 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1091.92 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20325 0 0 0 108882 310 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=1644788 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=16464 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=1644788 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1104.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1104 s]*
/proc/loadavg: 4.23 4.23 4.19 5/333 28428
/proc/meminfo: memFree=79945988/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1107.64 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54274 0 0 0 110388 376 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=-6000919476984833133 CPUtime=1095.12 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20325 0 0 0 109202 310 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=-4421386496264725349 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=26244 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=8832 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1107.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1105.6 s]
/proc/loadavg: 4.21 4.23 4.19 5/333 28429
/proc/meminfo: memFree=79930420/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1109.23 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54274 0 0 0 110546 377 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1096.7 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20325 0 0 0 109359 311 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=1644788 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=1644788 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=-4421386496264725349 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1109.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1106 s]*
/proc/loadavg: 4.21 4.23 4.19 5/333 28429
/proc/meminfo: memFree=79926392/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19063512 memory=1644788 CPUtime=1109.64 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 54274 0 0 0 110587 377 0 0 20 0 20 0 38644794 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4765878 411197 5500 1 0 554111 0
[pid=28017/tid=28019] ppid=28014 vsize=19063512 memory=-6000919476984833133 CPUtime=1097.11 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) R 28014 28017 26767 0 -1 4194368 20325 0 0 0 109400 311 0 0 20 0 20 0 38644796 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19063512 memory=-4421386496264725349 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19063512 memory=6772 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28036] ppid=28014 vsize=19063512 memory=4767808 CPUtime=0 cores=0,2
/proc/28017/task/28036/stat : 28036 (Timer-0) S 28014 28017 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38644832 19521036288 411197 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1109.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1644788 KiB

[startup+1106.2 s]
/proc/loadavg: 4.21 4.23 4.19 5/333 28429
/proc/meminfo: memFree=79926392/131382120 swapFree=33010684/33010684
[pid=28017] ppid=28014 vsize=19196640 memory=1645556 CPUtime=1109.86 cores=0,2
/proc/28017/stat : 28017 (java) S 28014 28017 26767 0 -1 4194304 56284 0 0 0 110608 378 0 0 20 0 20 0 38644794 19657359360 411389 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
/proc/28017/statm: 4799160 411389 5532 1 0 554765 0
[pid=28017/tid=28019] ppid=28014 vsize=19196640 memory=245635481903 CPUtime=1097.2 cores=0,2
/proc/28017/task/28019/stat : 28019 (java) S 28014 28017 26767 0 -1 4194368 21837 0 0 0 109409 311 0 0 20 0 20 0 38644796 19657359360 411389 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28028] ppid=28014 vsize=19196640 memory=55212677268211 CPUtime=0 cores=0,2
/proc/28017/task/28028/stat : 28028 (Finalizer) S 28014 28017 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38644800 19657359360 411389 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
[pid=28017/tid=28035] ppid=28014 vsize=19196640 memory=132954 CPUtime=0 cores=0,2
/proc/28017/task/28035/stat : 28035 (Common-Cleaner) S 28014 28017 26767 0 -1 4194368 330 0 0 0 0 0 0 0 20 0 20 0 38644801 19657359360 411389 18446744073709551615 94579422306304 94579422310000 140735652438912 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94579422317816 94579422318608 94579430834176 140735652444464 140735652444646 140735652444646 140735652450248 0
Current children cumulated CPU time: 1109.86 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1645556 KiB

Child status: 20

Real time (s): 1106.26
CPU time (s): 1109.91
CPU user time (s): 1106.12
CPU system time (s): 3.79523
CPU usage (%): 100.33
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1645556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1106.12
system time used= 3.79523
maximum resident set size= 1645812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3317072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35931
involuntary context switches= 4237


# summary of solver processes directly reported to runsolver:
#   pid: 28017
#   total CPU time (s): 1109.91
#   total CPU user time (s): 1106.12
#   total CPU system time (s): 3.79523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37783 second user time and 12.0136 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 22:41:01
IDJOB=4514887
IDBENCH=163972
IDSOLVER=3364
FILE ID=nodeC003/4514887-1751229661
RUNJOBID= nodeC003-1751222447-26777
SLURM_JOB_ID= 9587679
Free space on /tmp= 432744 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514887-1751229661/watcher-4514887-1751229661 -o /tmp/evaluation-result-4514887-1751229661/solver-4514887-1751229661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26777 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514887-1751229661 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514887-1751229661.opb

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

MD5SUM BENCH= 22f5cbb2f2c2a73b7dbac80b761f1874
RANDOM SEED=1020605928

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1396.806
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 3591.503
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.970
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 3661.900
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 3656.130
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.044
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        116041580 kB
MemAvailable:   123495200 kB
Buffers:            3280 kB
Cached:          8255340 kB
SwapCached:            0 kB
Active:          6794208 kB
Inactive:        8006800 kB
Active(anon):    6560452 kB
Inactive(anon):        0 kB
Active(file):     233756 kB
Inactive(file):  8006800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16964 kB
Writeback:             0 kB
AnonPages:       6545592 kB
Mapped:           122932 kB
Shmem:             17960 kB
KReclaimable:     105380 kB
Slab:             189288 kB
SReclaimable:     105380 kB
SUnreclaim:        83908 kB
KernelStack:        5040 kB
PageTables:        16456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7594292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6279168 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432316 MiB
End job on nodeC003 at 2025-06-29 22:59:28