Trace number 4490618

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.27 3601.35

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.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.19	c version PB25.v20250606
0.10/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.22	c java.vm.version	22.0.1+8-16
0.10/0.22	c java.vm.vendor	Oracle Corporation
0.10/0.22	c sun.arch.data.model	64
0.10/0.22	c java.version		22.0.1
0.10/0.22	c os.name		Linux
0.10/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.22	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c Expensive reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	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.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4490618-1751360462.opb
0.44/0.35	c reading problem ... 
0.44/0.35	c  objective function found
0.44/0.41	c ... done. Wall clock time 0.051s.
0.44/0.41	c declared #vars     61
0.44/0.41	c #constraints  15
0.44/0.41	c constraints type 
0.44/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.44/0.41	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.44/0.41	c 15 constraints processed.
0.62/0.44	c objective function length is 1 literals
1.93/1.19	c cleaning 2502 clauses out of 5003 with flag 10384/5003
2.92/1.65	c cleaning 4246 clauses out of 8498 with flag 22740/11000
3.41/1.97	c cleaning 5627 clauses out of 11253 with flag 37130/18001
3.89/2.33	c cleaning 6814 clauses out of 13629 with flag 53512/26004
4.34/2.69	c cleaning 7902 clauses out of 15812 with flag 72106/35001
5.25/3.33	c cleaning 8954 clauses out of 17910 with flag 92789/45001
5.99/3.80	c cleaning 9976 clauses out of 19955 with flag 115436/56000
6.70/4.51	c cleaning 10989 clauses out of 21980 with flag 140222/68001
7.51/5.33	c cleaning 11996 clauses out of 23993 with flag 167158/81003
8.11/5.93	c cleaning 12998 clauses out of 25995 with flag 196302/95001
8.81/6.60	c cleaning 13998 clauses out of 27996 with flag 227350/110000
9.40/7.27	c cleaning 14997 clauses out of 29998 with flag 260633/126000
10.30/8.06	c cleaning 15999 clauses out of 32002 with flag 295470/143001
11.25/8.96	c cleaning 17002 clauses out of 34003 with flag 332160/161001
12.46/10.11	c cleaning 17999 clauses out of 36000 with flag 370902/180000
13.36/11.09	c cleaning 18999 clauses out of 38002 with flag 412448/200001
14.46/12.19	c cleaning 19997 clauses out of 40002 with flag 455883/221000
15.54/13.22	c cleaning 21002 clauses out of 42005 with flag 502194/243000
16.54/14.20	c cleaning 22003 clauses out of 44007 with flag 550451/266004
17.84/15.50	c cleaning 23001 clauses out of 46003 with flag 600716/290003
19.34/17.02	c cleaning 24000 clauses out of 48002 with flag 653414/315003
20.53/18.27	c cleaning 25000 clauses out of 50002 with flag 707734/341003
21.84/19.56	c cleaning 25998 clauses out of 51999 with flag 764278/368000
23.35/21.09	c cleaning 27001 clauses out of 54002 with flag 822694/396001
25.23/22.95	c cleaning 27999 clauses out of 56000 with flag 883014/425000
27.14/24.82	c cleaning 29002 clauses out of 58003 with flag 945288/455002
29.24/26.92	c cleaning 29997 clauses out of 59999 with flag 1010121/486000
31.53/29.21	c cleaning 31002 clauses out of 62004 with flag 1077596/518002
33.93/31.69	c cleaning 32002 clauses out of 64003 with flag 1146683/551003
36.52/34.24	c cleaning 33000 clauses out of 66001 with flag 1217850/585003
38.92/36.63	c cleaning 33997 clauses out of 67999 with flag 1290789/620001
41.22/38.94	c cleaning 35000 clauses out of 70003 with flag 1366111/656002
44.42/42.14	c cleaning 35999 clauses out of 72001 with flag 1443988/693000
47.42/45.16	c cleaning 36999 clauses out of 74002 with flag 1525589/731000
50.20/47.98	c cleaning 38005 clauses out of 76011 with flag 1607176/770008
53.09/50.89	c cleaning 38999 clauses out of 78001 with flag 1691288/810003
56.30/54.02	c cleaning 39999 clauses out of 80000 with flag 1777307/851001
59.59/57.30	c cleaning 40992 clauses out of 82000 with flag 1864982/893000
62.99/60.74	c cleaning 42000 clauses out of 84009 with flag 1955303/936001
66.78/64.51	c cleaning 43003 clauses out of 86009 with flag 2047988/980001
70.97/68.72	c cleaning 44003 clauses out of 88008 with flag 2144045/1025003
74.27/72.10	c cleaning 44998 clauses out of 90002 with flag 2241778/1071000
78.75/76.57	c cleaning 46003 clauses out of 92006 with flag 2340576/1118002
83.54/81.30	c cleaning 46995 clauses out of 94001 with flag 2442056/1166000
88.93/86.70	c cleaning 48000 clauses out of 96006 with flag 2546667/1215000
94.52/92.30	c cleaning 48994 clauses out of 98007 with flag 2654661/1265001
98.61/96.47	c cleaning 50002 clauses out of 100012 with flag 2763342/1316000
102.90/100.74	c cleaning 51005 clauses out of 102011 with flag 2872626/1368001
107.89/105.76	c cleaning 52002 clauses out of 104007 with flag 2984565/1421002
114.08/111.99	c cleaning 52996 clauses out of 106004 with flag 3098870/1475001
119.29/117.13	c cleaning 53995 clauses out of 108010 with flag 3214313/1530003
126.66/124.50	c cleaning 55002 clauses out of 110012 with flag 3333018/1586000
132.51/130.35	c cleaning 56004 clauses out of 112010 with flag 3452282/1643000
139.79/137.61	c cleaning 57000 clauses out of 114007 with flag 3573215/1701001
146.99/144.81	c cleaning 58002 clauses out of 116007 with flag 3696436/1760001
155.62/153.33	c cleaning 59002 clauses out of 118005 with flag 3822843/1820001
164.17/161.81	c cleaning 59999 clauses out of 120005 with flag 3950536/1881003
171.96/169.66	c cleaning 61003 clauses out of 122007 with flag 4081907/1943004
180.35/178.06	c cleaning 61999 clauses out of 124003 with flag 4214293/2006003
189.99/187.65	c cleaning 62990 clauses out of 126001 with flag 4350630/2070000
198.86/196.58	c cleaning 64007 clauses out of 128015 with flag 4487895/2135004
207.65/205.33	c cleaning 64999 clauses out of 130007 with flag 4628193/2201003
217.03/214.79	c cleaning 66002 clauses out of 132009 with flag 4772091/2268004
227.06/224.70	c cleaning 67000 clauses out of 134005 with flag 4915593/2336002
234.15/231.89	c cleaning 67991 clauses out of 136005 with flag 5061694/2405002
238.64/236.34	c cleaning 68995 clauses out of 138012 with flag 5208335/2475000
243.73/241.40	c cleaning 70007 clauses out of 140017 with flag 5356988/2546000
248.92/246.68	c cleaning 71006 clauses out of 142017 with flag 5508837/2618007
254.43/252.16	c cleaning 72001 clauses out of 144005 with flag 5663990/2691001
260.10/257.81	c cleaning 72998 clauses out of 146006 with flag 5821300/2765003
265.41/263.17	c cleaning 73999 clauses out of 148006 with flag 5980920/2840001
271.39/269.17	c cleaning 75000 clauses out of 150006 with flag 6141004/2916000
278.38/276.19	c cleaning 76002 clauses out of 152006 with flag 6303028/2993000
284.76/282.55	c cleaning 76996 clauses out of 154007 with flag 6466172/3071003
290.66/288.44	c cleaning 78006 clauses out of 156012 with flag 6631818/3150004
299.24/297.10	c cleaning 79001 clauses out of 158003 with flag 6802121/3230001
306.02/303.83	c cleaning 79998 clauses out of 160004 with flag 6974343/3311003
312.80/310.69	c cleaning 80997 clauses out of 162004 with flag 7144622/3393001
327.30/325.12	c cleaning 81994 clauses out of 164006 with flag 7318977/3476000
343.27/341.19	c cleaning 83006 clauses out of 166013 with flag 7495100/3560001
353.35/351.27	c cleaning 84003 clauses out of 168007 with flag 7672179/3645001
364.83/362.79	c cleaning 84997 clauses out of 170006 with flag 7851233/3731003
380.99/378.90	c cleaning 85991 clauses out of 172006 with flag 8033048/3818000
399.66/397.63	c cleaning 87005 clauses out of 174017 with flag 8217829/3906002
415.44/413.49	c cleaning 88001 clauses out of 176012 with flag 8403465/3995002
432.90/430.91	c cleaning 89003 clauses out of 178011 with flag 8590543/4085002
450.90/448.91	c cleaning 89998 clauses out of 180008 with flag 8782619/4176002
467.08/465.16	c cleaning 91001 clauses out of 182011 with flag 8975725/4268003
480.60/478.67	c cleaning 92003 clauses out of 184009 with flag 9169755/4361002
501.76/499.87	c cleaning 93001 clauses out of 186007 with flag 9367623/4455003
521.04/519.19	c cleaning 93996 clauses out of 188004 with flag 9569989/4550001
538.09/536.22	c cleaning 95001 clauses out of 190007 with flag 9772156/4646000
553.02/551.16	c cleaning 96003 clauses out of 192008 with flag 9976076/4743002
566.67/564.80	c cleaning 97000 clauses out of 194003 with flag 10180764/4841000
586.35/584.58	c cleaning 97997 clauses out of 196004 with flag 10388953/4940001
611.50/609.77	c cleaning 99003 clauses out of 198010 with flag 10599905/5040004
638.25/636.51	c cleaning 99998 clauses out of 200004 with flag 10813647/5141001
664.20/662.53	c cleaning 101004 clauses out of 202007 with flag 11031788/5243002
687.66/686.09	c cleaning 102001 clauses out of 204004 with flag 11250645/5346003
709.61/708.03	c cleaning 103001 clauses out of 206002 with flag 11468694/5450002
728.36/726.88	c cleaning 103998 clauses out of 208004 with flag 11690457/5555005
739.13/737.60	c cleaning 104996 clauses out of 210001 with flag 11912706/5661000
750.68/749.11	c cleaning 106006 clauses out of 212011 with flag 12136379/5768006
761.45/759.90	c cleaning 107000 clauses out of 214002 with flag 12360190/5876003
774.12/772.66	c cleaning 107991 clauses out of 216002 with flag 12592090/5985003
785.18/783.67	c cleaning 109001 clauses out of 218008 with flag 12825714/6095000
795.57/794.01	c cleaning 110004 clauses out of 220013 with flag 13058955/6206006
809.74/808.22	c cleaning 110994 clauses out of 222005 with flag 13293169/6318002
839.38/838.00	c cleaning 112000 clauses out of 224009 with flag 13533537/6431000
864.54/862.58	c cleaning 113000 clauses out of 226010 with flag 13770802/6545001
881.51/879.51	c cleaning 113998 clauses out of 228010 with flag 14012845/6660001
895.57/893.63	c cleaning 115006 clauses out of 230014 with flag 14252887/6776003
910.69/908.77	c cleaning 116001 clauses out of 232005 with flag 14498115/6893000
925.26/923.32	c cleaning 117005 clauses out of 234009 with flag 14746856/7011005
939.22/937.34	c cleaning 117998 clauses out of 235999 with flag 14993038/7130000
953.49/951.68	c cleaning 118996 clauses out of 238002 with flag 15241410/7250001
973.74/971.97	c cleaning 120002 clauses out of 240006 with flag 15491286/7371001
995.86/994.03	c cleaning 120999 clauses out of 242003 with flag 15748645/7493000
1019.59/1017.80	c cleaning 121992 clauses out of 244006 with flag 16009467/7616002
1037.47/1035.76	c cleaning 123009 clauses out of 246017 with flag 16269963/7740005
1061.52/1059.76	c cleaning 123996 clauses out of 248004 with flag 16530614/7865001
1088.78/1087.01	c cleaning 125002 clauses out of 250008 with flag 16796445/7991001
1112.62/1110.92	c cleaning 126005 clauses out of 252010 with flag 17061979/8118005
1137.38/1135.70	c cleaning 127000 clauses out of 254002 with flag 17331166/8246002
1162.04/1160.35	c cleaning 127997 clauses out of 256000 with flag 17603611/8375000
1193.49/1191.85	c cleaning 128996 clauses out of 258003 with flag 17879091/8505000
1219.43/1217.72	c cleaning 129997 clauses out of 260008 with flag 18154850/8636001
1245.89/1244.25	c cleaning 131002 clauses out of 262011 with flag 18433215/8768001
1271.04/1269.46	c cleaning 132004 clauses out of 264009 with flag 18714876/8901001
1294.10/1292.57	c cleaning 132994 clauses out of 266004 with flag 18997703/9035000
1324.94/1323.42	c cleaning 133995 clauses out of 268011 with flag 19283825/9170001
1355.34/1353.89	c cleaning 135002 clauses out of 270016 with flag 19572012/9306001
1385.09/1383.63	c cleaning 136002 clauses out of 272015 with flag 19859365/9443002
1411.05/1409.60	c cleaning 137001 clauses out of 274016 with flag 20151930/9581005
1435.11/1433.70	c cleaning 138002 clauses out of 276010 with flag 20444137/9720000
1464.03/1462.63	c cleaning 139001 clauses out of 278010 with flag 20741722/9860002
1487.98/1486.68	c cleaning 139996 clauses out of 280008 with flag 21040402/10001001
1508.54/1507.24	c cleaning 141004 clauses out of 282013 with flag 21339776/10143002
1535.48/1534.20	c cleaning 142001 clauses out of 284008 with flag 21638779/10286001
1558.63/1557.41	c cleaning 142999 clauses out of 286007 with flag 21941464/10430001
1581.49/1580.36	c cleaning 144003 clauses out of 288008 with flag 22245396/10575001
1608.84/1607.77	c cleaning 145000 clauses out of 290005 with flag 22550927/10721001
1638.39/1637.36	c cleaning 145999 clauses out of 292008 with flag 22859443/10868004
1671.44/1670.41	c cleaning 147002 clauses out of 294006 with flag 23168980/11016001
1710.33/1709.31	c cleaning 147998 clauses out of 296003 with flag 23479884/11165000
1739.58/1738.66	c cleaning 149002 clauses out of 298007 with flag 23794964/11315002
1775.12/1774.25	c cleaning 150004 clauses out of 300009 with flag 24117787/11466006
1803.18/1802.39	c cleaning 150997 clauses out of 301999 with flag 24437405/11618000
1834.12/1833.31	c cleaning 152001 clauses out of 304003 with flag 24760909/11771001
1863.30/1862.50	c cleaning 153000 clauses out of 306003 with flag 25085300/11925002
1891.63/1890.90	c cleaning 154001 clauses out of 308002 with flag 25412813/12080001
1923.47/1922.89	c cleaning 154994 clauses out of 310001 with flag 25739512/12236001
1974.85/1974.27	c cleaning 156004 clauses out of 312009 with flag 26074359/12393003
2037.74/2037.23	c cleaning 157001 clauses out of 314004 with flag 26412664/12551002
2090.47/2090.01	c cleaning 158001 clauses out of 316003 with flag 26749542/12710002
2150.51/2149.58	c cleaning 159001 clauses out of 318003 with flag 27087111/12870003
2198.05/2197.18	c cleaning 159996 clauses out of 319999 with flag 27421983/13031000
2233.47/2232.65	c cleaning 160994 clauses out of 322003 with flag 27762800/13193000
2257.34/2256.53	c cleaning 161997 clauses out of 324009 with flag 28103940/13356000
2278.10/2277.31	c cleaning 163004 clauses out of 326014 with flag 28449178/13520002
2295.37/2294.67	c cleaning 164003 clauses out of 328009 with flag 28792020/13685001
2319.05/2318.34	c cleaning 164999 clauses out of 330008 with flag 29138142/13851003
2378.62/2378.02	c cleaning 165998 clauses out of 332011 with flag 29491519/14018005
2433.73/2433.27	c cleaning 166997 clauses out of 334008 with flag 29846557/14186000
2500.10/2499.72	c cleaning 168000 clauses out of 336016 with flag 30205210/14355005
2569.97/2569.79	c cleaning 168995 clauses out of 338011 with flag 30564351/14525000
2635.36/2635.20	c cleaning 170007 clauses out of 340017 with flag 30927349/14696001
2684.56/2684.56	c cleaning 170987 clauses out of 342010 with flag 31289831/14868001
2759.32/2759.34	c cleaning 172001 clauses out of 344023 with flag 31655172/15041001
2845.34/2845.48	c cleaning 173001 clauses out of 346022 with flag 32023563/15215001
2928.69/2928.97	c cleaning 174005 clauses out of 348021 with flag 32393705/15390001
3005.10/3005.47	c cleaning 175004 clauses out of 350023 with flag 32767479/15566008
3097.15/3097.61	c cleaning 175995 clauses out of 352011 with flag 33144191/15743000
3186.19/3186.89	c cleaning 177006 clauses out of 354019 with flag 33524020/15921003
3250.98/3251.72	c cleaning 178003 clauses out of 356010 with flag 33908123/16100000
3337.28/3338.20	c cleaning 178995 clauses out of 358007 with flag 34290827/16280000
3362.29/3363.23	c cleaning 180000 clauses out of 360013 with flag 34671715/16461001
3396.43/3397.46	c cleaning 181001 clauses out of 362012 with flag 35058941/16643000
3425.28/3426.34	c cleaning 182001 clauses out of 364012 with flag 35449780/16826001
3453.47/3454.56	c cleaning 182998 clauses out of 366013 with flag 35834604/17010003
3490.70/3491.86	c cleaning 183997 clauses out of 368014 with flag 36227422/17195002
3527.14/3528.37	c cleaning 184997 clauses out of 370015 with flag 36622928/17381000
3555.71/3556.89	c cleaning 186008 clauses out of 372022 with flag 37017046/17568004
3585.87/3587.07	c cleaning 187005 clauses out of 374016 with flag 37411958/17756006
3600.03/3601.23	c starts		: 4431
3600.03/3601.23	c timeout
3600.03/3601.23	c conflicts		: 17878759
3600.03/3601.23	c decisions		: 18655200
3600.03/3601.23	c propagations		: 129820992
3600.03/3601.23	c inspects		: 38350548408
3600.03/3601.23	c shortcuts		: 0
3600.03/3601.23	c learnt literals	: 0
3600.03/3601.23	c learnt binary clauses	: 0
3600.03/3601.24	c learnt ternary clauses	: 0
3600.03/3601.24	c learnt constraints	: 17878759
3600.03/3601.24	c ignored constraints	: 0
3600.03/3601.24	c root simplifications	: 0
3600.03/3601.24	c removed literals (reason simplification)	: 183899661
3600.03/3601.24	c reason swapping (by a shorter reason)	: 0
3600.03/3601.24	c Calls to reduceDB	: 184
3600.03/3601.24	c Number of update (reduction) of LBD	: 1502985
3600.03/3601.24	c Imported unit clauses	: 0
3600.03/3601.24	c No decision after first conflict	: false
3600.03/3601.24	c number of reductions to clauses (during analyze)	: 0
3600.03/3601.24	c number of learned constraints concerned by reduction	: 0
3600.03/3601.24	c number of learning phase by resolution	: 0
3600.03/3601.24	c number of learning phase by cutting planes	: 0
3600.03/3601.24	c number of rounding to 1 operations	: 0
3600.03/3601.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3601.24	c number of reductions of the coefficients by power 2 	: 0
3600.03/3601.24	c number of right shift for reduction by power 2 	: 0
3600.03/3601.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3601.24	c number of ending skipping 	: 0
3600.03/3601.24	c number of internal skipping 	: 0
3600.03/3601.24	c number of derivation steps 	: 0
3600.03/3601.24	c number of skipped derivation steps 	: 0
3600.03/3601.24	c number of remaining unassigned 	: 0
3600.03/3601.24	c number of remaining assigned 	: 0
3600.03/3601.24	c number of falsified literals weakened from reason	: 0
3600.03/3601.24	c number of falsified literals weakened from conflict	: 0
3600.03/3601.24	c time for arithmetic operations	: 0
3600.03/3601.25	c minimum degree of deleted constraints	: null
3600.03/3601.25	c maximum degree of deleted constraints	: null
3600.03/3601.25	c number of deleted constraints	: 0
3600.03/3601.25	c speed (assignments/second)	: 36053.394830812504
3600.03/3601.25	c non guided choices	: 25
3600.22/3601.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 309764
3600.22/3601.32	s UNKNOWN
3600.22/3601.32	c Total wall clock time (in seconds): 3600.97

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: 63794 MiB (60699 MiB free)
  memory of node 1: 64507 MiB (59596 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490618-1751360462/watcher-4490618-1751360462 -o /tmp/evaluation-result-4490618-1751360462/solver-4490618-1751360462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51821 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490618-1751360462.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=51878, runsolver pid=51863
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 2.55 3.73 3.97 13/320 51948
/proc/meminfo: memFree=123122964/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18930384 memory=49844 CPUtime=0.1 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 5716 0 0 0 6 4 0 0 20 0 18 0 51726031 19384713216 12461 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4732596 12461 5263 1 0 546946 0
[pid=51878/tid=51890] ppid=51863 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 4607 0 0 0 4 2 0 0 20 0 18 0 51726034 19384713216 12461 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726039 19384713216 12461 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18930384 memory=59593594258114 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51726040 19384713216 12461 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49844 KiB

[startup+0.214255 s]*
/proc/loadavg: 2.55 3.73 3.97 12/320 51948
/proc/meminfo: memFree=123117148/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18930384 memory=53984 CPUtime=0.28 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 6158 0 0 0 23 5 0 0 20 0 18 0 51726031 19384713216 13496 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4732596 13496 5327 1 0 547318 0
[pid=51878/tid=51890] ppid=51863 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 4981 0 0 0 15 3 0 0 20 0 18 0 51726034 19384713216 13496 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726039 19384713216 13496 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51726040 19384713216 13496 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53984 KiB

[startup+0.313823 s]*
/proc/loadavg: 2.55 3.73 3.97 14/320 51948
/proc/meminfo: memFree=123094652/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18930384 memory=59884 CPUtime=0.44 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 6621 0 0 0 39 5 0 0 20 0 18 0 51726031 19384713216 14971 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4732596 14971 5327 1 0 547740 0
[pid=51878/tid=51890] ppid=51863 vsize=18930384 memory=-6000919494164376426 CPUtime=0.26 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 5167 0 0 0 23 3 0 0 20 0 18 0 51726034 19384713216 14971 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18930384 memory=-4421386521933605474 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726039 19384713216 14971 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51726040 19384713216 14971 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59884 KiB

[startup+0.700404 s]
/proc/loadavg: 2.55 3.73 3.97 13/324 51952
/proc/meminfo: memFree=123091404/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18996948 memory=66768 CPUtime=1.14 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 8516 0 0 0 107 7 0 0 20 0 19 0 51726031 19452874752 16692 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4749237 16692 5487 1 0 548992 0
[pid=51878/tid=51890] ppid=51863 vsize=18996948 memory=17920 CPUtime=0.54 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 5372 0 0 0 50 4 0 0 20 0 19 0 51726034 19452874752 16692 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 16692 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51726040 19452874752 16692 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726077 19452874752 16692 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66768 KiB

[startup+1.50031 s]
/proc/loadavg: 2.55 3.73 3.97 10/324 51952
/proc/meminfo: memFree=123054592/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18996948 memory=87328 CPUtime=2.72 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 19082 0 0 0 262 10 0 0 20 0 19 0 51726031 19452874752 21832 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4749237 21832 5487 1 0 553068 0
[pid=51878/tid=51890] ppid=51863 vsize=18996948 memory=0 CPUtime=1.28 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 5606 0 0 0 124 4 0 0 20 0 19 0 51726034 19452874752 21832 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 21832 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51726040 19452874752 21832 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726077 19452874752 21832 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87328 KiB

[startup+3.10547 s]
/proc/loadavg: 2.55 3.73 3.97 7/324 51952
/proc/meminfo: memFree=122935900/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18996948 memory=104120 CPUtime=5.05 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 20089 0 0 0 495 10 0 0 20 0 19 0 51726031 19452874752 26030 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4749237 26030 5487 1 0 553071 0
[pid=51878/tid=51890] ppid=51863 vsize=18996948 memory=10624 CPUtime=2.88 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 6093 0 0 0 283 5 0 0 20 0 19 0 51726034 19452874752 26030 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18996948 memory=-6000919494164376426 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 26030 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51726040 19452874752 26030 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726077 19452874752 26030 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104120 KiB

[startup+6.30039 s]
/proc/loadavg: 2.74 3.75 3.97 7/325 51953
/proc/meminfo: memFree=122790016/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=18996948 memory=124092 CPUtime=8.51 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 20331 0 0 0 840 11 0 0 20 0 19 0 51726031 19452874752 31023 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4749237 31023 5487 1 0 553071 0
[pid=51878/tid=51890] ppid=51863 vsize=18996948 memory=0 CPUtime=6.05 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 6176 0 0 0 600 5 0 0 20 0 19 0 51726034 19452874752 31023 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 31023 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51726040 19452874752 31023 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=18996948 memory=87328 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726077 19452874752 31023 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124092 KiB

[startup+12.7004 s]
/proc/loadavg: 2.84 3.75 3.97 7/327 51955
/proc/meminfo: memFree=122662792/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=181940 CPUtime=15.04 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 24601 0 0 0 1491 13 0 0 20 0 20 0 51726031 19521036288 45485 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 45485 5519 1 0 553360 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=87328 CPUtime=12.39 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 7150 0 0 0 1233 6 0 0 20 0 20 0 51726034 19521036288 45485 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=165052 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 45485 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=154812 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 45485 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=132284 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 45485 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 15.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181940 KiB

[startup+25.5005 s]
/proc/loadavg: 3.10 3.77 3.97 7/328 51956
/proc/meminfo: memFree=122534952/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=188164 CPUtime=27.84 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 25549 0 0 0 2770 14 0 0 20 0 20 0 51726031 19521036288 47041 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 47041 5519 1 0 553360 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=181940 CPUtime=25.14 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 7525 0 0 0 2508 6 0 0 20 0 20 0 51726034 19521036288 47041 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=188164 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 47041 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 47041 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=181940 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 47041 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 27.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188164 KiB

[startup+51.1133 s]
/proc/loadavg: 3.47 3.80 3.98 7/328 51957
/proc/meminfo: memFree=122337908/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=212972 CPUtime=53.4 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 26228 0 0 0 5324 16 0 0 20 0 20 0 51726031 19521036288 53243 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 53243 5519 1 0 553360 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=181940 CPUtime=50.58 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 7583 0 0 0 5052 6 0 0 20 0 20 0 51726034 19521036288 53243 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=212972 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 53243 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.15 7/326 52188
/proc/meminfo: memFree=115774516/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3281.51 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 74003 0 0 0 327955 196 0 0 20 0 20 0 51726031 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399304 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3267.78 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 29314 0 0 0 326765 13 0 0 20 0 20 0 51726034 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 997 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3281.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1597216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.15 7/325 52190
/proc/meminfo: memFree=115774616/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3341.38 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 74684 0 0 0 333939 199 0 0 20 0 20 0 51726031 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399304 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3327.6 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 29847 0 0 0 332747 13 0 0 20 0 20 0 51726034 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1110 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3341.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1597216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.14 7/325 52192
/proc/meminfo: memFree=115774168/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3401.32 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 76118 0 0 0 339931 201 0 0 20 0 20 0 51726031 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399304 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3387.39 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 30426 0 0 0 338726 13 0 0 20 0 20 0 51726034 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1189 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3401.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1597216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.14 7/325 52194
/proc/meminfo: memFree=115773980/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3461.26 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 76728 0 0 0 345923 203 0 0 20 0 20 0 51726031 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399304 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3447.18 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 30505 0 0 0 344705 13 0 0 20 0 20 0 51726034 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1189 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3461.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1597216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.16 4.15 7/325 52196
/proc/meminfo: memFree=115766816/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3521.15 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 77002 0 0 0 351909 206 0 0 20 0 20 0 51726031 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399304 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3507.03 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 30758 0 0 0 350690 13 0 0 20 0 20 0 51726034 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1189 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=1597216 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399304 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3521.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1597216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.17 4.15 7/326 52205
/proc/meminfo: memFree=115762060/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1599276 CPUtime=3581.16 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 78753 0 0 0 357907 209 0 0 20 0 20 0 51726031 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399819 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=1597216 CPUtime=3566.64 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 31463 0 0 0 356651 13 0 0 20 0 20 0 51726034 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=1599276 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1256 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=1599276 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1599276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.2 s]
/proc/loadavg: 4.25 4.18 4.16 5/303 52299
/proc/meminfo: memFree=119983196/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19063512 memory=1599276 CPUtime=3600.03 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 78838 0 0 0 359794 209 0 0 20 0 20 0 51726031 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4765878 399819 5583 1 0 557564 0
[pid=51878/tid=51890] ppid=51863 vsize=19063512 memory=6872 CPUtime=3585.5 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) R 51863 51878 51810 0 -1 4194368 31537 0 0 0 358537 13 0 0 20 0 20 0 51726034 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19063512 memory=2172232 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19063512 memory=1599276 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1256 0 0 0 0 0 0 0 20 0 20 0 51726040 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51950] ppid=51863 vsize=19063512 memory=6768 CPUtime=0 cores=4,6
/proc/51878/task/51950/stat : 51950 (Timer-0) S 51863 51878 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726077 19521036288 399819 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1599276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.15 s, system=2.12099 s

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

[startup+3601.31 s]
/proc/loadavg: 4.25 4.18 4.16 5/303 52299
/proc/meminfo: memFree=119983196/131382112 swapFree=33010684/33010684
[pid=51878] ppid=51863 vsize=19263204 memory=1600044 CPUtime=3600.22 cores=4,6
/proc/51878/stat : 51878 (java) S 51863 51878 51810 0 -1 4194304 80887 0 0 0 359812 210 0 0 20 0 21 0 51726031 19725520896 400011 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
/proc/51878/statm: 4815801 400011 5583 1 0 558495 0
[pid=51878/tid=51890] ppid=51863 vsize=19263204 memory=1597216 CPUtime=3585.52 cores=4,6
/proc/51878/task/51890/stat : 51890 (java) S 51863 51878 51810 0 -1 4194368 31711 0 0 0 358539 13 0 0 20 0 21 0 51726034 19725520896 400011 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51938] ppid=51863 vsize=19263204 memory=1599276 CPUtime=0 cores=4,6
/proc/51878/task/51938/stat : 51938 (Finalizer) S 51863 51878 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 51726039 19725520896 400011 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
[pid=51878/tid=51948] ppid=51863 vsize=19263204 memory=3200 CPUtime=0 cores=4,6
/proc/51878/task/51948/stat : 51948 (Common-Cleaner) S 51863 51878 51810 0 -1 4194368 1256 0 0 0 0 0 0 0 20 0 21 0 51726040 19725520896 400011 18446744073709551615 94207109500928 94207109504624 140726630090080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94207109512440 94207109513232 94207120977920 140726630095233 140726630095334 140726630095334 140726630100936 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1600044 KiB

Child status: 143

Real time (s): 3601.35
CPU time (s): 3600.27
CPU user time (s): 3598.15
CPU system time (s): 2.12099
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1600044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.15
system time used= 2.12099
maximum resident set size= 1600172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106205
involuntary context switches= 3819


# summary of solver processes directly reported to runsolver:
#   pid: 51878
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.15
#   total CPU system time (s): 2.12099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2664 second user time and 38.6237 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 11:01:02
IDJOB=4490618
IDBENCH=147597
IDSOLVER=3363
FILE ID=nodeC009/4490618-1751360462
RUNJOBID= nodeC009-1751360462-51821
SLURM_JOB_ID= 9598165
Free space on /tmp= 432660 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490618-1751360462/watcher-4490618-1751360462 -o /tmp/evaluation-result-4490618-1751360462/solver-4490618-1751360462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51821 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490618-1751360462.opb

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

MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=1487505086

nodeC009 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		: 1197.245
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.85
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		: 1197.185
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.85
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.437
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.85
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.265
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.85
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		: 1197.890
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.85
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		: 1197.216
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.85
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.231
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.85
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.225
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123186748 kB
MemAvailable:   129874072 kB
Buffers:            3280 kB
Cached:          7459000 kB
SwapCached:            0 kB
Active:           368640 kB
Inactive:        7159400 kB
Active(anon):      82752 kB
Inactive(anon):      968 kB
Active(file):     285888 kB
Inactive(file):  7158432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2636 kB
Writeback:             4 kB
AnonPages:         69192 kB
Mapped:           102724 kB
Shmem:             17960 kB
KReclaimable:     164876 kB
Slab:             248816 kB
SReclaimable:     164876 kB
SUnreclaim:        83940 kB
KernelStack:        3888 kB
PageTables:         2816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC009 at 2025-07-01 12:01:04