Trace number 4490619

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 VeriPB 2025-06-06? (TO) 3600.28 3620.57

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
MD5SUM5da80f5858be2a333e7d6bf1625fcb5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4944
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.16	c See www.sat4j.org for details.
0.11/0.17	c version PB25.v20250606
0.11/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.19	c java.vm.version	22.0.1+8-16
0.11/0.19	c java.vm.vendor	Oracle Corporation
0.11/0.19	c sun.arch.data.model	64
0.11/0.19	c java.version		22.0.1
0.11/0.19	c os.name		Linux
0.11/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.19	c os.arch		amd64
0.11/0.20	c Free memory 		2104792832
0.11/0.20	c Max memory 		16282288128
0.11/0.20	c Total memory 		2113929216
0.11/0.21	c Number of processors 	2
0.31/0.29	c Pseudo Boolean Optimization by upper bound
0.31/0.29	c --- Begin Solver configuration ---
0.31/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.29	c Learn all clauses as in MiniSAT
0.31/0.29	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	c Expensive reason simplification
0.31/0.29	c Glucose 2.1 dynamic restart strategy
0.31/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.31/0.29	c timeout=2147483s
0.31/0.29	c DB Simplification allowed=false
0.31/0.29	c Listener: none
0.31/0.29	c --- End Solver configuration ---
0.31/0.29	c solving HOME/instance-4490619-1751380834.opb
0.31/0.30	c reading problem ... 
0.31/0.30	c using VERIPB proof format
0.31/0.30	c  objective function found
0.49/0.35	c ... done. Wall clock time 0.047s.
0.49/0.35	c declared #vars     61
0.49/0.35	c #constraints  15
0.49/0.35	c constraints type 
0.49/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.49/0.35	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.49/0.35	c 15 constraints processed.
0.49/0.37	c objective function length is 1 literals
2.15/1.20	c cleaning 2502 clauses out of 5003 with flag 10384/5003
3.13/1.73	c cleaning 4246 clauses out of 8498 with flag 22740/11000
4.11/2.20	c cleaning 5627 clauses out of 11253 with flag 37130/18001
4.91/2.65	c cleaning 6814 clauses out of 13629 with flag 53512/26004
5.91/3.10	c cleaning 7902 clauses out of 15812 with flag 72106/35001
6.60/3.61	c cleaning 8954 clauses out of 17910 with flag 92789/45001
7.36/4.16	c cleaning 9976 clauses out of 19955 with flag 115436/56000
7.96/4.75	c cleaning 10989 clauses out of 21980 with flag 140222/68001
8.66/5.44	c cleaning 11996 clauses out of 23993 with flag 167158/81003
9.38/6.14	c cleaning 12998 clauses out of 25995 with flag 196302/95001
10.16/6.96	c cleaning 13998 clauses out of 27996 with flag 227350/110000
11.06/7.84	c cleaning 14997 clauses out of 29998 with flag 260633/126000
12.15/8.81	c cleaning 15999 clauses out of 32002 with flag 295470/143001
13.21/9.87	c cleaning 17002 clauses out of 34003 with flag 332160/161001
14.52/11.20	c cleaning 17999 clauses out of 36000 with flag 370902/180000
15.70/12.39	c cleaning 18999 clauses out of 38002 with flag 412448/200001
17.00/13.66	c cleaning 19997 clauses out of 40002 with flag 455883/221000
18.29/14.93	c cleaning 21002 clauses out of 42005 with flag 502194/243000
19.50/16.19	c cleaning 22003 clauses out of 44007 with flag 550451/266004
21.08/17.73	c cleaning 23001 clauses out of 46003 with flag 600716/290003
22.78/19.45	c cleaning 24000 clauses out of 48002 with flag 653414/315003
24.28/20.91	c cleaning 25000 clauses out of 50002 with flag 707734/341003
25.78/22.49	c cleaning 25998 clauses out of 51999 with flag 764278/368000
27.57/24.29	c cleaning 27001 clauses out of 54002 with flag 822694/396001
29.77/26.42	c cleaning 27999 clauses out of 56000 with flag 883014/425000
31.87/28.58	c cleaning 29002 clauses out of 58003 with flag 945288/455002
34.76/35.02	c cleaning 29997 clauses out of 59999 with flag 1010121/486000
37.64/37.97	c cleaning 31002 clauses out of 62004 with flag 1077596/518002
40.24/40.59	c cleaning 32002 clauses out of 64003 with flag 1146683/551003
43.22/43.57	c cleaning 33000 clauses out of 66001 with flag 1217850/585003
45.91/46.27	c cleaning 33997 clauses out of 67999 with flag 1290789/620001
48.73/49.06	c cleaning 35000 clauses out of 70003 with flag 1366111/656002
52.20/52.51	c cleaning 35999 clauses out of 72001 with flag 1443988/693000
55.50/55.88	c cleaning 36999 clauses out of 74002 with flag 1525589/731000
58.49/58.88	c cleaning 38005 clauses out of 76011 with flag 1607176/770008
61.68/62.06	c cleaning 38999 clauses out of 78001 with flag 1691288/810003
65.17/65.51	c cleaning 39999 clauses out of 80000 with flag 1777307/851001
68.50/68.96	c cleaning 40992 clauses out of 82000 with flag 1864982/893000
72.28/72.74	c cleaning 42000 clauses out of 84009 with flag 1955303/936001
76.47/76.94	c cleaning 43003 clauses out of 86009 with flag 2047988/980001
80.77/81.20	c cleaning 44003 clauses out of 88008 with flag 2144045/1025003
84.35/84.86	c cleaning 44998 clauses out of 90002 with flag 2241778/1071000
89.34/89.86	c cleaning 46003 clauses out of 92006 with flag 2340576/1118002
94.43/94.90	c cleaning 46995 clauses out of 94001 with flag 2442056/1166000
99.71/100.28	c cleaning 48000 clauses out of 96006 with flag 2546667/1215000
105.61/106.17	c cleaning 48994 clauses out of 98007 with flag 2654661/1265001
110.20/110.76	c cleaning 50002 clauses out of 100012 with flag 2763342/1316000
114.68/115.22	c cleaning 51005 clauses out of 102011 with flag 2872626/1368001
119.97/120.51	c cleaning 52002 clauses out of 104007 with flag 2984565/1421002
126.35/127.01	c cleaning 52996 clauses out of 106004 with flag 3098870/1475001
132.08/132.71	c cleaning 53995 clauses out of 108010 with flag 3214313/1530003
139.67/140.39	c cleaning 55002 clauses out of 110012 with flag 3333018/1586000
145.56/146.29	c cleaning 56004 clauses out of 112010 with flag 3452282/1643000
153.44/154.11	c cleaning 57000 clauses out of 114007 with flag 3573215/1701001
161.11/161.98	c cleaning 58002 clauses out of 116007 with flag 3696436/1760001
169.70/170.42	c cleaning 59002 clauses out of 118005 with flag 3822843/1820001
178.83/179.59	c cleaning 59999 clauses out of 120005 with flag 3950536/1881003
186.42/187.14	c cleaning 61003 clauses out of 122007 with flag 4081907/1943004
194.83/195.60	c cleaning 61999 clauses out of 124003 with flag 4214293/2006003
204.82/205.61	c cleaning 62990 clauses out of 126001 with flag 4350630/2070000
214.31/215.19	c cleaning 64007 clauses out of 128015 with flag 4487895/2135004
223.04/224.01	c cleaning 64999 clauses out of 130007 with flag 4628193/2201003
233.14/234.08	c cleaning 66002 clauses out of 132009 with flag 4772091/2268004
242.89/243.87	c cleaning 67000 clauses out of 134005 with flag 4915593/2336002
250.74/251.73	c cleaning 67991 clauses out of 136005 with flag 5061694/2405002
255.81/256.87	c cleaning 68995 clauses out of 138012 with flag 5208335/2475000
260.91/261.99	c cleaning 70007 clauses out of 140017 with flag 5356988/2546000
267.10/268.12	c cleaning 71006 clauses out of 142017 with flag 5508837/2618007
273.52/274.52	c cleaning 72001 clauses out of 144005 with flag 5663990/2691001
279.60/280.66	c cleaning 72998 clauses out of 146006 with flag 5821300/2765003
286.72/287.85	c cleaning 73999 clauses out of 148006 with flag 5980920/2840001
293.41/294.55	c cleaning 75000 clauses out of 150006 with flag 6141004/2916000
301.40/302.50	c cleaning 76002 clauses out of 152006 with flag 6303028/2993000
308.20/309.31	c cleaning 76996 clauses out of 154007 with flag 6466172/3071003
316.04/317.22	c cleaning 78006 clauses out of 156012 with flag 6631818/3150004
323.94/325.15	c cleaning 79001 clauses out of 158003 with flag 6802121/3230001
332.35/333.55	c cleaning 79998 clauses out of 160004 with flag 6974343/3311003
339.50/340.65	c cleaning 80997 clauses out of 162004 with flag 7144622/3393001
354.98/358.72	c cleaning 81994 clauses out of 164006 with flag 7318977/3476000
371.21/374.98	c cleaning 83006 clauses out of 166013 with flag 7495100/3560001
382.19/386.05	c cleaning 84003 clauses out of 168007 with flag 7672179/3645001
394.94/398.80	c cleaning 84997 clauses out of 170006 with flag 7851233/3731003
411.89/415.89	c cleaning 85991 clauses out of 172006 with flag 8033048/3818000
430.92/434.86	c cleaning 87005 clauses out of 174017 with flag 8217829/3906002
447.86/451.93	c cleaning 88001 clauses out of 176012 with flag 8403465/3995002
466.86/470.98	c cleaning 89003 clauses out of 178011 with flag 8590543/4085002
485.53/489.61	c cleaning 89998 clauses out of 180008 with flag 8782619/4176002
502.51/506.77	c cleaning 91001 clauses out of 182011 with flag 8975725/4268003
518.25/522.42	c cleaning 92003 clauses out of 184009 with flag 9169755/4361002
539.50/543.79	c cleaning 93001 clauses out of 186007 with flag 9367623/4455003
559.34/563.65	c cleaning 93996 clauses out of 188004 with flag 9569989/4550001
577.17/581.49	c cleaning 95001 clauses out of 190007 with flag 9772156/4646000
591.79/596.08	c cleaning 96003 clauses out of 192008 with flag 9976076/4743002
606.15/610.45	c cleaning 97000 clauses out of 194003 with flag 10180764/4841000
627.14/631.40	c cleaning 97997 clauses out of 196004 with flag 10388953/4940001
652.98/657.34	c cleaning 99003 clauses out of 198010 with flag 10599905/5040004
680.73/685.09	c cleaning 99998 clauses out of 200004 with flag 10813647/5141001
707.53/711.91	c cleaning 101004 clauses out of 202007 with flag 11031788/5243002
732.10/736.56	c cleaning 102001 clauses out of 204004 with flag 11250645/5346003
754.96/759.40	c cleaning 103001 clauses out of 206002 with flag 11468694/5450002
775.45/779.95	c cleaning 103998 clauses out of 208004 with flag 11690457/5555005
786.63/791.11	c cleaning 104996 clauses out of 210001 with flag 11912706/5661000
799.16/803.68	c cleaning 106006 clauses out of 212011 with flag 12136379/5768006
811.99/816.50	c cleaning 107000 clauses out of 214002 with flag 12360190/5876003
826.62/831.15	c cleaning 107991 clauses out of 216002 with flag 12592090/5985003
838.01/842.67	c cleaning 109001 clauses out of 218008 with flag 12825714/6095000
849.96/854.56	c cleaning 110004 clauses out of 220013 with flag 13058955/6206006
865.96/870.62	c cleaning 110994 clauses out of 222005 with flag 13293169/6318002
897.53/902.26	c cleaning 112000 clauses out of 224009 with flag 13533537/6431000
922.49/927.16	c cleaning 113000 clauses out of 226010 with flag 13770802/6545001
939.41/944.16	c cleaning 113998 clauses out of 228010 with flag 14012845/6660001
954.93/959.69	c cleaning 115006 clauses out of 230014 with flag 14252887/6776003
970.69/975.55	c cleaning 116001 clauses out of 232005 with flag 14498115/6893000
987.53/992.37	c cleaning 117005 clauses out of 234009 with flag 14746856/7011005
1003.53/1008.43	c cleaning 117998 clauses out of 235999 with flag 14993038/7130000
1018.99/1024.00	c cleaning 118996 clauses out of 238002 with flag 15241410/7250001
1041.15/1046.20	c cleaning 120002 clauses out of 240006 with flag 15491286/7371001
1062.25/1067.49	c cleaning 120999 clauses out of 242003 with flag 15748645/7493000
1086.03/1091.49	c cleaning 121992 clauses out of 244006 with flag 16009467/7616002
1105.08/1110.41	c cleaning 123009 clauses out of 246017 with flag 16269963/7740005
1131.68/1138.88	c cleaning 123996 clauses out of 248004 with flag 16530614/7865001
1160.72/1167.92	c cleaning 125002 clauses out of 250008 with flag 16796445/7991001
1187.09/1194.31	c cleaning 126005 clauses out of 252010 with flag 17061979/8118005
1212.47/1219.70	c cleaning 127000 clauses out of 254002 with flag 17331166/8246002
1237.36/1244.60	c cleaning 127997 clauses out of 256000 with flag 17603611/8375000
1268.46/1275.74	c cleaning 128996 clauses out of 258003 with flag 17879091/8505000
1294.16/1301.41	c cleaning 129997 clauses out of 260008 with flag 18154850/8636001
1320.65/1327.99	c cleaning 131002 clauses out of 262011 with flag 18433215/8768001
1346.46/1353.85	c cleaning 132004 clauses out of 264009 with flag 18714876/8901001
1370.62/1378.03	c cleaning 132994 clauses out of 266004 with flag 18997703/9035000
1402.82/1410.38	c cleaning 133995 clauses out of 268011 with flag 19283825/9170001
1435.31/1442.89	c cleaning 135002 clauses out of 270016 with flag 19572012/9306001
1466.60/1474.13	c cleaning 136002 clauses out of 272015 with flag 19859365/9443002
1493.58/1501.12	c cleaning 137001 clauses out of 274016 with flag 20151930/9581005
1518.77/1526.33	c cleaning 138002 clauses out of 276010 with flag 20444137/9720000
1548.36/1556.99	c cleaning 139001 clauses out of 278010 with flag 20741722/9860002
1573.90/1582.52	c cleaning 139996 clauses out of 280008 with flag 21040402/10001001
1596.26/1604.50	c cleaning 141004 clauses out of 282013 with flag 21339776/10143002
1624.37/1632.78	c cleaning 142001 clauses out of 284008 with flag 21638779/10286001
1648.51/1656.95	c cleaning 142999 clauses out of 286007 with flag 21941464/10430001
1671.78/1680.33	c cleaning 144003 clauses out of 288008 with flag 22245396/10575001
1702.07/1710.78	c cleaning 145000 clauses out of 290005 with flag 22550927/10721001
1732.32/1741.11	c cleaning 145999 clauses out of 292008 with flag 22859443/10868004
1766.15/1774.91	c cleaning 147002 clauses out of 294006 with flag 23168980/11016001
1804.69/1813.53	c cleaning 147998 clauses out of 296003 with flag 23479884/11165000
1836.75/1845.67	c cleaning 149002 clauses out of 298007 with flag 23794964/11315002
1873.98/1882.96	c cleaning 150004 clauses out of 300009 with flag 24117787/11466006
1904.43/1913.45	c cleaning 150997 clauses out of 301999 with flag 24437405/11618000
1937.47/1946.57	c cleaning 152001 clauses out of 304003 with flag 24760909/11771001
1968.59/1977.76	c cleaning 153000 clauses out of 306003 with flag 25085300/11925002
1998.50/2007.77	c cleaning 154001 clauses out of 308002 with flag 25412813/12080001
2031.60/2040.92	c cleaning 154994 clauses out of 310001 with flag 25739512/12236001
2084.41/2094.07	c cleaning 156004 clauses out of 312009 with flag 26074359/12393003
2148.50/2160.55	c cleaning 157001 clauses out of 314004 with flag 26412664/12551002
2201.71/2213.86	c cleaning 158001 clauses out of 316003 with flag 26749542/12710002
2260.52/2272.74	c cleaning 159001 clauses out of 318003 with flag 27087111/12870003
2307.39/2319.60	c cleaning 159996 clauses out of 319999 with flag 27421983/13031000
2348.73/2361.04	c cleaning 160994 clauses out of 322003 with flag 27762800/13193000
2378.02/2390.97	c cleaning 161997 clauses out of 324009 with flag 28103940/13356000
2404.47/2417.55	c cleaning 163004 clauses out of 326014 with flag 28449178/13520002
2426.06/2439.13	c cleaning 164003 clauses out of 328009 with flag 28792020/13685001
2454.68/2467.83	c cleaning 164999 clauses out of 330008 with flag 29138142/13851003
2524.17/2537.38	c cleaning 165998 clauses out of 332011 with flag 29491519/14018005
2587.58/2600.80	c cleaning 166997 clauses out of 334008 with flag 29846557/14186000
2663.64/2677.04	c cleaning 168000 clauses out of 336016 with flag 30205210/14355005
2744.20/2757.89	c cleaning 168995 clauses out of 338011 with flag 30564351/14525000
2819.89/2833.76	c cleaning 170007 clauses out of 340017 with flag 30927349/14696001
2880.11/2894.05	c cleaning 170987 clauses out of 342010 with flag 31289831/14868001
2964.74/2979.40	c cleaning 172001 clauses out of 344023 with flag 31655172/15041001
3060.60/3075.51	c cleaning 173001 clauses out of 346022 with flag 32023563/15215001
3153.85/3169.08	c cleaning 174005 clauses out of 348021 with flag 32393705/15390001
3240.34/3255.76	c cleaning 175004 clauses out of 350023 with flag 32767479/15566008
3344.88/3361.10	c cleaning 175995 clauses out of 352011 with flag 33144191/15743000
3445.03/3461.53	c cleaning 177006 clauses out of 354019 with flag 33524020/15921003
3520.78/3541.00	c cleaning 178003 clauses out of 356010 with flag 33908123/16100000
3600.02/3620.42	c timeout
3600.02/3620.43	c starts		: 3753
3600.02/3620.44	c conflicts		: 16247127
3600.02/3620.44	c decisions		: 16942680
3600.02/3620.44	c propagations		: 117719309
3600.02/3620.44	c inspects		: 35287879667
3600.02/3620.44	c shortcuts		: 0
3600.02/3620.44	c learnt literals	: 0
3600.02/3620.44	c learnt binary clauses	: 0
3600.02/3620.44	c learnt ternary clauses	: 0
3600.02/3620.44	c learnt constraints	: 16247127
3600.02/3620.44	c ignored constraints	: 0
3600.02/3620.44	c root simplifications	: 0
3600.02/3620.44	c removed literals (reason simplification)	: 167770295
3600.02/3620.44	c reason swapping (by a shorter reason)	: 0
3600.02/3620.44	c Calls to reduceDB	: 175
3600.02/3620.44	c Number of update (reduction) of LBD	: 1359500
3600.02/3620.44	c Imported unit clauses	: 0
3600.02/3620.44	c No decision after first conflict	: false
3600.02/3620.44	c number of reductions to clauses (during analyze)	: 0
3600.02/3620.44	c number of learned constraints concerned by reduction	: 0
3600.02/3620.44	c number of learning phase by resolution	: 0
3600.02/3620.44	c number of learning phase by cutting planes	: 0
3600.02/3620.44	c number of rounding to 1 operations	: 0
3600.02/3620.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3620.44	c number of reductions of the coefficients by power 2 	: 0
3600.02/3620.44	c number of right shift for reduction by power 2 	: 0
3600.02/3620.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3620.44	c number of ending skipping 	: 0
3600.02/3620.44	c number of internal skipping 	: 0
3600.02/3620.44	c number of derivation steps 	: 0
3600.02/3620.44	c number of skipped derivation steps 	: 0
3600.02/3620.44	c number of remaining unassigned 	: 0
3600.02/3620.44	c number of remaining assigned 	: 0
3600.02/3620.44	c number of falsified literals weakened from reason	: 0
3600.02/3620.44	c number of falsified literals weakened from conflict	: 0
3600.02/3620.44	c time for arithmetic operations	: 0
3600.02/3620.44	c minimum degree of deleted constraints	: null
3600.02/3620.44	c maximum degree of deleted constraints	: null
3600.02/3620.44	c number of deleted constraints	: 0
3600.02/3620.45	c speed (assignments/second)	: 32518.58020150478
3600.02/3620.45	c non guided choices	: 25
3600.22/3620.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 325134
3600.22/3620.52	s UNKNOWN
3600.22/3620.52	c Total wall clock time (in seconds): 3620.224

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490619-1751380834/watcher-4490619-1751380834 -o /tmp/evaluation-result-4490619-1751380834/solver-4490619-1751380834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490619-1751380834 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490619-1751380834.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
solver pid=49576, runsolver pid=49573
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 4.41 4.29 3.61 7/330 49594
/proc/meminfo: memFree=102724696/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=18930384 memory=47868 CPUtime=0.11 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 5795 0 0 0 7 4 0 0 20 0 18 0 53762054 19384713216 11967 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4732596 11967 5172 1 0 547025 0
[pid=49576/tid=49578] ppid=49573 vsize=18930384 memory=4026531960 CPUtime=0.09 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 4710 0 0 0 6 3 0 0 20 0 18 0 53762057 19384713216 12159 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53762062 19384713216 12159 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=18930384 memory=59593594259917 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 53762062 19384713216 12159 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47868 KiB

[startup+0.226586 s]*
/proc/loadavg: 4.41 4.29 3.61 5/330 49594
/proc/meminfo: memFree=102720664/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=18930384 memory=57944 CPUtime=0.31 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 6584 0 0 0 26 5 0 0 20 0 18 0 53762054 19384713216 14486 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4732596 14486 5364 1 0 547631 0
[pid=49576/tid=49578] ppid=49573 vsize=18930384 memory=4026663196 CPUtime=0.2 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 5088 0 0 0 16 4 0 0 20 0 18 0 53762057 19384713216 14486 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=18930384 memory=16878 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53762062 19384713216 14486 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 53762062 19384713216 14486 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57944 KiB

[startup+0.322167 s]*
/proc/loadavg: 4.41 4.29 3.61 7/330 49594
/proc/meminfo: memFree=102716104/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=18930384 memory=59224 CPUtime=0.49 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 6871 0 0 0 44 5 0 0 20 0 18 0 53762054 19384713216 14806 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4732596 14806 5428 1 0 547843 0
[pid=49576/tid=49578] ppid=49573 vsize=18930384 memory=-6000919494147793771 CPUtime=0.29 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 5268 0 0 0 25 4 0 0 20 0 18 0 53762057 19384713216 14806 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53762062 19384713216 14806 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 53762062 19384713216 14806 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59224 KiB

[startup+0.700291 s]
/proc/loadavg: 4.41 4.29 3.61 6/331 49595
/proc/meminfo: memFree=102712044/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=18996948 memory=83440 CPUtime=1.16 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 8328 0 0 0 109 7 0 0 20 0 19 0 53762054 19452874752 20860 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4749237 20860 5492 1 0 548733 0
[pid=49576/tid=49578] ppid=49573 vsize=18996948 memory=18304 CPUtime=0.62 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 5432 0 0 0 57 5 0 0 20 0 19 0 53762057 19452874752 20860 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53762062 19452874752 20860 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 53762062 19452874752 20860 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53762093 19452874752 20860 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83440 KiB

[startup+1.50027 s]
/proc/loadavg: 4.41 4.29 3.61 6/331 49595
/proc/meminfo: memFree=102642036/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=175556 CPUtime=2.73 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 21990 0 0 0 262 11 0 0 20 0 20 0 53762054 19521036288 43889 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 43889 5524 1 0 553888 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 6621 0 0 0 129 7 0 0 20 0 20 0 53762057 19521036288 43889 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 43889 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 43889 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 43889 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175556 KiB

[startup+3.10598 s]
/proc/loadavg: 4.46 4.31 3.62 6/332 49597
/proc/meminfo: memFree=102566976/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=181056 CPUtime=5.91 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 24208 0 0 0 577 14 0 0 20 0 20 0 53762054 19521036288 45264 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 45264 5524 1 0 553984 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=11136 CPUtime=2.93 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 7162 0 0 0 284 9 0 0 20 0 20 0 53762057 19521036288 45264 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=-6000919494147793771 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 45264 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 45264 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 45264 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181056 KiB

[startup+6.3004 s]
/proc/loadavg: 4.46 4.31 3.62 5/332 49597
/proc/meminfo: memFree=102307152/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=448764 CPUtime=9.57 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 24637 0 0 0 935 22 0 0 20 0 20 0 53762054 19521036288 112191 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 112191 5524 1 0 553984 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=0 CPUtime=6.1 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 7498 0 0 0 594 16 0 0 20 0 20 0 53762057 19521036288 112191 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 112191 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 112191 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=175940 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 112191 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 448764 KiB

[startup+12.7004 s]
/proc/loadavg: 4.42 4.30 3.62 5/332 49597
/proc/meminfo: memFree=101943068/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=803144 CPUtime=16.1 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 28483 0 0 0 1576 34 0 0 20 0 20 0 53762054 19521036288 200786 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 200786 5524 1 0 553984 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=175940 CPUtime=12.45 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 8763 0 0 0 1218 27 0 0 20 0 20 0 53762057 19521036288 200786 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=670024 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 200786 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 200786 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 200786 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 16.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 803144 KiB

[startup+25.5004 s]
/proc/loadavg: 4.33 4.28 3.63 5/332 49597
/proc/meminfo: memFree=101328092/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=1161584 CPUtime=28.87 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 31643 0 0 0 2834 53 0 0 20 0 20 0 53762054 19521036288 290396 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 290396 5524 1 0 553984 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=-6000919494147793771 CPUtime=25.12 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 9762 0 0 0 2467 45 0 0 20 0 20 0 53762057 19521036288 290396 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=1161584 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 290396 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 290396 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 290396 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 28.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1161584 KiB

[startup+51.1136 s]
/proc/loadavg: 4.21 4.26 3.64 5/333 49598
/proc/meminfo: memFree=100804572/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=1321348 CPUtime=50.83 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 34439 0 0 0 5011 72 0 0 20 0 20 0 53762054 19521036288 330337 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 330337 5524 1 0 553984 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=1315200 CPUtime=46.91 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 10692 0 0 0 4630 61 0 0 20 0 20 0 53762057 19521036288 330337 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 330337 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/332 50045
/proc/meminfo: memFree=112391104/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3266.86 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 97779 0 0 0 325548 1138 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=7091030220549608547 CPUtime=3244 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 42422 0 0 0 323462 938 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 1954 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3266.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/332 50047
/proc/meminfo: memFree=112198592/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3326.2 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 97805 0 0 0 331466 1154 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3303.15 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 42426 0 0 0 329364 951 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=18304 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=-4050210904893670038 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 1954 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3326.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/332 50051
/proc/meminfo: memFree=111988368/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3386.01 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 98148 0 0 0 337432 1169 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=18304 CPUtime=3362.83 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 42762 0 0 0 335319 964 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 1954 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3386.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/332 50058
/proc/meminfo: memFree=111826724/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3445.84 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 100369 0 0 0 343401 1183 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=18304 CPUtime=3422.37 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 43984 0 0 0 341262 975 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 2076 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3445.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/331 50061
/proc/meminfo: memFree=111565172/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3502.27 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 102159 0 0 0 349030 1197 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3478.57 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 44880 0 0 0 346870 987 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=-6000919494147793771 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 2077 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3502.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/330 50063
/proc/meminfo: memFree=111369788/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3562.13 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 102428 0 0 0 355000 1213 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=18304 CPUtime=3538.21 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 45041 0 0 0 352821 1000 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 2138 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3562.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3620.4 s]
/proc/loadavg: 4.09 4.10 4.14 5/330 50063
/proc/meminfo: memFree=111219892/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19063512 memory=2158312 CPUtime=3600.02 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 102433 0 0 0 358780 1222 0 0 20 0 20 0 53762054 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4765878 539578 5556 1 0 554484 0
[pid=49576/tid=49578] ppid=49573 vsize=19063512 memory=5148 CPUtime=3576.08 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) R 49573 49576 49314 0 -1 4194368 45041 0 0 0 356601 1007 0 0 20 0 20 0 53762057 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19063512 memory=-6000919494147793771 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19063512 memory=8027783332532671841 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 2138 0 0 0 0 0 0 0 20 0 20 0 53762062 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49595] ppid=49573 vsize=19063512 memory=7019818125200873577 CPUtime=0 cores=0,2
/proc/49576/task/49595/stat : 49595 (Timer-0) S 49573 49576 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53762093 19521036288 539578 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2158312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.04 s, system=12.2457 s

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

[startup+3620.5 s]
/proc/loadavg: 4.09 4.10 4.14 5/330 50063
/proc/meminfo: memFree=111219892/131382120 swapFree=33010684/33010684
[pid=49576] ppid=49573 vsize=19263204 memory=2159464 CPUtime=3600.22 cores=0,2
/proc/49576/stat : 49576 (java) S 49573 49576 49314 0 -1 4194304 104899 0 0 0 358799 1223 0 0 20 0 21 0 53762054 19725520896 539866 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
/proc/49576/statm: 4815801 539866 5588 1 0 555433 0
[pid=49576/tid=49578] ppid=49573 vsize=19263204 memory=2158312 CPUtime=3576.11 cores=0,2
/proc/49576/task/49578/stat : 49578 (java) S 49573 49576 49314 0 -1 4194368 45375 0 0 0 356604 1007 0 0 20 0 21 0 53762057 19725520896 539866 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49587] ppid=49573 vsize=19263204 memory=2158312 CPUtime=0 cores=0,2
/proc/49576/task/49587/stat : 49587 (Finalizer) S 49573 49576 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53762062 19725520896 539866 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
[pid=49576/tid=49594] ppid=49573 vsize=19263204 memory=-6000919494147793771 CPUtime=0 cores=0,2
/proc/49576/task/49594/stat : 49594 (Common-Cleaner) S 49573 49576 49314 0 -1 4194368 2138 0 0 0 0 0 0 0 20 0 21 0 53762062 19725520896 539866 18446744073709551615 94113142784000 94113142787696 140727686343376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94113142795512 94113142796304 94113158983680 140727686347056 140727686347238 140727686347238 140727686352840 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2159464 KiB

Child status: 143

Real time (s): 3620.57
CPU time (s): 3600.28
CPU user time (s): 3588.04
CPU system time (s): 12.2457
CPU usage (%): 99.4398
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2159464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.04
system time used= 12.2457
maximum resident set size= 2159592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7203864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110553
involuntary context switches= 10509


# summary of solver processes directly reported to runsolver:
#   pid: 49576
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3588.04
#   total CPU system time (s): 12.2457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2728 second user time and 39.0064 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-01 16:40:34
IDJOB=4490619
IDBENCH=147597
IDSOLVER=3364
FILE ID=nodeC003/4490619-1751380834
RUNJOBID= nodeC003-1751379491-49324
SLURM_JOB_ID= 9598218
Free space on /tmp= 432696 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490619-1751380834/watcher-4490619-1751380834 -o /tmp/evaluation-result-4490619-1751380834/solver-4490619-1751380834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490619-1751380834 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490619-1751380834.opb

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

MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=324003225

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		: 1695.987
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		: 3661.352
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		: 1196.809
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.652
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.800
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		: 3661.360
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.438
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.494
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:        102755400 kB
MemAvailable:   120719680 kB
Buffers:            3280 kB
Cached:         18747644 kB
SwapCached:            0 kB
Active:          9191876 kB
Inactive:       18497392 kB
Active(anon):    8956460 kB
Inactive(anon):        0 kB
Active(file):     235416 kB
Inactive(file): 18497392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            104816 kB
Writeback:             0 kB
AnonPages:       8941568 kB
Mapped:           123588 kB
Shmem:             17960 kB
KReclaimable:     142196 kB
Slab:             231732 kB
SReclaimable:     142196 kB
SUnreclaim:        89536 kB
KernelStack:        5056 kB
PageTables:        21136 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9702764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8681472 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= 432744 MiB
End job on nodeC003 at 2025-07-01 17:40:55