Trace number 4526324

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.78 3558.19

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-507_wcsp.wbo
MD5SUMf81c061b693f8d6b0a85fe0e32c56d8c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark27390
Best CPU time to get the best result obtained on this benchmark0.813106
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables884
Total number of constraints8460
Number of soft constraints8149
Number of constraints which are clauses8149
Number of constraints which are cardinality constraints (but not clauses)311
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 42528
Min constraint cost 1
Max constraint cost 42528
Sum of constraints costs 333376991
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.21	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.43/0.35	c Pseudo Boolean Optimization by upper bound
0.43/0.35	c --- Begin Solver configuration ---
0.43/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.35	c Learn all clauses as in MiniSAT
0.43/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.35	c Expensive reason simplification
0.43/0.35	c Glucose 2.1 dynamic restart strategy
0.43/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.43/0.35	c timeout=2147483s
0.43/0.35	c DB Simplification allowed=false
0.43/0.35	c Listener: none
0.43/0.35	c --- End Solver configuration ---
0.43/0.35	c solving HOME/instance-4526324-1751631506.wbo
0.43/0.35	c reading problem ... 
0.96/0.69	c ... done. Wall clock time 0.332s.
0.96/0.69	c declared #vars     884
0.96/0.69	c internal #vars     9033
0.96/0.69	c #constraints  8772
0.96/0.70	c constraints type 
0.96/0.70	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 671
0.96/0.70	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 131
1.13/0.70	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.13/0.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7969
1.13/0.70	c 8772 constraints processed.
1.13/0.72	c objective function length is 8149 literals
1.32/0.88	c SATISFIABLE
1.32/0.88	c OPTIMIZING...
1.32/0.88	c Got one! Elapsed wall clock time (in seconds):0.533
1.32/0.88	o 30431
2.50/1.43	c Got one! Elapsed wall clock time (in seconds):1.079
2.50/1.43	o 30430
3.61/2.25	c Got one! Elapsed wall clock time (in seconds):1.896
3.61/2.25	o 30429
4.41/2.70	c cleaning 3040 clauses out of 6096 with flag 5539/6096
5.31/3.32	c Got one! Elapsed wall clock time (in seconds):2.972
5.31/3.32	o 30428
5.95/3.75	c cleaning 4075 clauses out of 8150 with flag 5141/11190
7.42/5.18	c cleaning 5039 clauses out of 10077 with flag 19212/17192
8.91/6.61	c cleaning 6014 clauses out of 12036 with flag 39436/24190
10.44/8.19	c cleaning 7008 clauses out of 14022 with flag 64271/32190
12.40/10.04	c cleaning 8004 clauses out of 16014 with flag 92154/41190
14.52/12.07	c cleaning 9004 clauses out of 18012 with flag 123701/51192
17.43/14.99	c cleaning 10000 clauses out of 20006 with flag 154297/62190
20.13/17.65	c cleaning 11003 clauses out of 22006 with flag 189405/74190
24.47/21.91	c cleaning 11994 clauses out of 24003 with flag 229064/87190
27.36/24.87	c cleaning 13004 clauses out of 26011 with flag 267946/101192
30.72/28.18	c cleaning 13999 clauses out of 28005 with flag 309004/116190
34.35/31.62	c cleaning 14999 clauses out of 30006 with flag 359756/132190
38.08/35.33	c cleaning 16000 clauses out of 32009 with flag 408897/149192
43.04/40.24	c cleaning 17000 clauses out of 34007 with flag 459864/167190
47.58/44.70	c cleaning 18002 clauses out of 36008 with flag 517550/186191
51.98/49.14	c cleaning 18998 clauses out of 38006 with flag 573837/206191
56.76/53.88	c cleaning 20001 clauses out of 40008 with flag 628180/227191
62.03/59.09	c cleaning 21004 clauses out of 42007 with flag 682978/249191
67.58/64.54	c cleaning 22002 clauses out of 44004 with flag 744908/272192
73.37/70.33	c cleaning 23001 clauses out of 46001 with flag 805223/296191
75.76/72.61	c Got one! Elapsed wall clock time (in seconds):72.264
75.76/72.61	o 30427
77.47/74.02	c cleaning 19461 clauses out of 38925 with flag 12920/312116
78.76/75.33	c cleaning 12726 clauses out of 25464 with flag 27637/318116
80.16/76.76	c cleaning 9865 clauses out of 19739 with flag 48529/325117
82.14/78.42	c cleaning 8930 clauses out of 17874 with flag 74528/333117
83.85/80.14	c cleaning 8965 clauses out of 17944 with flag 104969/342117
85.74/82.10	c cleaning 9487 clauses out of 18978 with flag 138851/352116
87.96/84.30	c cleaning 10243 clauses out of 20491 with flag 171031/363116
90.45/86.72	c cleaning 11124 clauses out of 22249 with flag 204014/375117
93.36/89.67	c cleaning 12057 clauses out of 24124 with flag 242514/388116
96.56/92.81	c cleaning 13030 clauses out of 26067 with flag 275008/402116
99.97/96.29	c cleaning 14016 clauses out of 28039 with flag 311808/417118
103.57/99.84	c cleaning 15007 clauses out of 30023 with flag 348648/433118
108.02/104.23	c cleaning 16004 clauses out of 32014 with flag 393474/450116
112.01/108.23	c cleaning 16999 clauses out of 34011 with flag 439358/468117
116.45/112.67	c cleaning 18004 clauses out of 36013 with flag 484287/487118
120.85/117.06	c cleaning 18996 clauses out of 38007 with flag 535745/507116
125.52/121.75	c cleaning 20004 clauses out of 40012 with flag 586526/528117
130.52/126.73	c cleaning 20999 clauses out of 42008 with flag 643730/550117
135.50/131.74	c cleaning 22000 clauses out of 44009 with flag 707823/573117
140.97/137.19	c cleaning 23001 clauses out of 46008 with flag 769781/597116
146.74/143.01	c cleaning 24003 clauses out of 48009 with flag 834350/622118
153.20/149.34	c cleaning 24995 clauses out of 50004 with flag 904338/648116
159.79/155.96	c cleaning 26002 clauses out of 52009 with flag 973301/675116
166.47/162.63	c cleaning 27000 clauses out of 54007 with flag 1048106/703116
173.57/169.69	c cleaning 28001 clauses out of 56007 with flag 1122858/732116
181.15/177.22	c cleaning 29000 clauses out of 58008 with flag 1202627/762118
190.02/185.02	c cleaning 29998 clauses out of 60006 with flag 1281997/793116
199.36/194.30	c cleaning 31003 clauses out of 62009 with flag 1364817/825117
207.55/202.55	c cleaning 31998 clauses out of 64007 with flag 1451200/858118
216.70/211.61	c cleaning 33003 clauses out of 66010 with flag 1536900/892119
226.38/221.37	c cleaning 33999 clauses out of 68004 with flag 1622084/927116
235.65/230.55	c cleaning 35003 clauses out of 70005 with flag 1719170/963116
248.32/242.82	c cleaning 35996 clauses out of 72003 with flag 1823562/1000117
260.80/255.37	c cleaning 36994 clauses out of 74008 with flag 1942620/1038118
275.01/269.44	c cleaning 37994 clauses out of 76012 with flag 2050258/1077116
289.12/283.34	c cleaning 39010 clauses out of 78019 with flag 2158351/1117117
302.91/297.19	c cleaning 40000 clauses out of 80009 with flag 2267461/1158117
317.15/311.29	c cleaning 40994 clauses out of 82009 with flag 2379264/1200117
331.46/325.32	c cleaning 42001 clauses out of 84014 with flag 2506542/1243116
347.00/339.75	c cleaning 43003 clauses out of 86013 with flag 2673518/1287116
362.26/354.96	c cleaning 43999 clauses out of 88010 with flag 2862661/1332116
379.81/372.39	c cleaning 45003 clauses out of 90012 with flag 3063722/1378117
396.48/389.02	c cleaning 46000 clauses out of 92008 with flag 3288369/1425116
412.56/405.10	c cleaning 46997 clauses out of 94008 with flag 3502628/1473116
429.21/421.56	c cleaning 47998 clauses out of 96012 with flag 3701988/1522117
445.69/438.05	c cleaning 49001 clauses out of 98013 with flag 3966719/1572116
463.03/455.32	c cleaning 49998 clauses out of 100012 with flag 4205601/1623116
481.95/474.05	c cleaning 51003 clauses out of 102015 with flag 4416295/1675117
501.74/493.70	c cleaning 51999 clauses out of 104011 with flag 4565142/1728116
521.82/512.87	c cleaning 52999 clauses out of 106012 with flag 4707183/1782116
540.29/531.23	c cleaning 54001 clauses out of 108014 with flag 4850866/1837117
559.83/550.65	c cleaning 54999 clauses out of 110013 with flag 4997479/1893117
579.77/570.42	c cleaning 56007 clauses out of 112013 with flag 5161181/1950116
601.32/591.87	c cleaning 57002 clauses out of 114006 with flag 5340187/2008116
623.08/613.42	c cleaning 58003 clauses out of 116005 with flag 5519095/2067117
644.05/634.30	c cleaning 58993 clauses out of 118001 with flag 5704055/2127116
666.22/656.36	c cleaning 60003 clauses out of 120010 with flag 5896778/2188118
686.55/676.55	c cleaning 60995 clauses out of 122007 with flag 6087971/2250118
708.05/697.91	c cleaning 62001 clauses out of 124010 with flag 6287917/2313116
731.80/720.14	c cleaning 63005 clauses out of 126009 with flag 6492983/2377116
755.04/743.35	c cleaning 64002 clauses out of 128004 with flag 6710800/2442116
779.62/767.80	c cleaning 65002 clauses out of 130003 with flag 6937853/2508117
803.69/791.82	c cleaning 65998 clauses out of 132000 with flag 7167023/2575116
826.25/814.31	c cleaning 67001 clauses out of 134005 with flag 7402531/2643119
853.45/841.43	c cleaning 68001 clauses out of 136002 with flag 7642675/2712117
872.01/859.87	c cleaning 69000 clauses out of 138000 with flag 7822102/2782116
889.63/877.13	c cleaning 69999 clauses out of 140002 with flag 7995583/2853118
906.43/893.88	c cleaning 70997 clauses out of 142001 with flag 8172916/2925116
923.18/910.37	c cleaning 72002 clauses out of 144004 with flag 8352195/2998116
940.29/927.34	c cleaning 73001 clauses out of 146004 with flag 8521265/3072118
956.57/943.58	c cleaning 73998 clauses out of 148003 with flag 8712612/3147118
977.32/962.84	c cleaning 74992 clauses out of 150003 with flag 8878125/3223116
995.44/980.87	c cleaning 76002 clauses out of 152012 with flag 9045936/3300117
1013.69/998.97	c cleaning 77000 clauses out of 154009 with flag 9218965/3378116
1034.21/1019.16	c cleaning 78004 clauses out of 156010 with flag 9392669/3457117
1053.23/1038.06	c cleaning 79000 clauses out of 158005 with flag 9581773/3537116
1072.97/1057.59	c cleaning 79999 clauses out of 160005 with flag 9770711/3618116
1094.39/1078.80	c cleaning 81003 clauses out of 162006 with flag 9975814/3700116
1115.65/1100.01	c cleaning 82001 clauses out of 164003 with flag 10175646/3783116
1136.03/1120.11	c cleaning 83001 clauses out of 166002 with flag 10363535/3867116
1155.62/1138.49	c cleaning 83996 clauses out of 168001 with flag 10574112/3952116
1175.37/1158.00	c cleaning 84998 clauses out of 170005 with flag 10767352/4038116
1195.50/1178.00	c cleaning 86002 clauses out of 172008 with flag 10961529/4125117
1217.51/1199.65	c cleaning 87003 clauses out of 174005 with flag 11166104/4213116
1238.20/1220.09	c cleaning 87999 clauses out of 176003 with flag 11382000/4302117
1260.41/1242.06	c cleaning 88997 clauses out of 178005 with flag 11581890/4392118
1282.95/1264.37	c cleaning 90000 clauses out of 180007 with flag 11782142/4483117
1307.53/1288.82	c cleaning 91001 clauses out of 182006 with flag 11984991/4575116
1331.78/1312.82	c cleaning 92001 clauses out of 184005 with flag 12189586/4668116
1356.98/1336.50	c cleaning 93000 clauses out of 186004 with flag 12398455/4762116
1380.55/1360.02	c cleaning 93998 clauses out of 188005 with flag 12606674/4857117
1405.71/1384.97	c cleaning 95002 clauses out of 190007 with flag 12819842/4953117
1431.21/1410.16	c cleaning 95999 clauses out of 192004 with flag 13034268/5050116
1457.22/1436.06	c cleaning 97002 clauses out of 194006 with flag 13249044/5148117
1482.43/1461.06	c cleaning 97997 clauses out of 196003 with flag 13485012/5247116
1507.29/1485.66	c cleaning 98996 clauses out of 198007 with flag 13751133/5347117
1534.23/1512.41	c cleaning 100001 clauses out of 200010 with flag 13972274/5448116
1561.43/1539.49	c cleaning 101003 clauses out of 202011 with flag 14199705/5550118
1588.80/1566.58	c cleaning 102004 clauses out of 204007 with flag 14428882/5653117
1616.17/1593.64	c cleaning 102993 clauses out of 206003 with flag 14659541/5757117
1642.82/1620.18	c cleaning 103997 clauses out of 208009 with flag 14891687/5862116
1673.72/1649.42	c cleaning 104997 clauses out of 210013 with flag 15125226/5968117
1703.63/1679.07	c cleaning 106000 clauses out of 212015 with flag 15360895/6075116
1735.39/1710.52	c cleaning 107002 clauses out of 214016 with flag 15600870/6183117
1767.03/1742.08	c cleaning 108007 clauses out of 216016 with flag 15843491/6292119
1797.63/1772.38	c cleaning 109001 clauses out of 218007 with flag 16098390/6402117
1829.79/1804.24	c cleaning 110000 clauses out of 220005 with flag 16387065/6513116
1858.39/1832.76	c cleaning 110998 clauses out of 222005 with flag 16636910/6625116
1889.38/1863.60	c cleaning 112000 clauses out of 224007 with flag 16887538/6738116
1920.52/1894.43	c cleaning 112999 clauses out of 226007 with flag 17140979/6852116
1953.31/1926.95	c cleaning 113999 clauses out of 228008 with flag 17397746/6967116
1984.95/1958.42	c cleaning 115002 clauses out of 230009 with flag 17657242/7083116
2019.89/1993.19	c cleaning 116000 clauses out of 232007 with flag 17916381/7200116
2054.82/2027.81	c cleaning 116997 clauses out of 234007 with flag 18179985/7318116
2091.28/2063.99	c cleaning 118003 clauses out of 236011 with flag 18444308/7437117
2125.39/2096.87	c cleaning 118999 clauses out of 238007 with flag 18708358/7557116
2160.16/2131.34	c cleaning 119996 clauses out of 240008 with flag 18988851/7678116
2194.75/2165.90	c cleaning 121003 clauses out of 242013 with flag 19316143/7800117
2228.14/2198.89	c cleaning 121996 clauses out of 244009 with flag 19646100/7923116
2261.23/2231.81	c cleaning 123005 clauses out of 246014 with flag 19978578/8047117
2298.04/2268.49	c cleaning 124001 clauses out of 248008 with flag 20313274/8172116
2330.58/2300.66	c cleaning 124997 clauses out of 250007 with flag 20652215/8298116
2368.93/2338.87	c cleaning 125998 clauses out of 252010 with flag 20997889/8425116
2408.01/2377.54	c cleaning 127000 clauses out of 254012 with flag 21346314/8553116
2449.73/2419.19	c cleaning 128000 clauses out of 256012 with flag 21686766/8682116
2486.50/2455.71	c cleaning 128997 clauses out of 258012 with flag 22035410/8812116
2523.28/2492.11	c cleaning 130005 clauses out of 260016 with flag 22386356/8943117
2561.40/2530.16	c cleaning 130997 clauses out of 262010 with flag 22728329/9075116
2600.34/2568.76	c cleaning 132002 clauses out of 264013 with flag 23032812/9208116
2645.02/2613.09	c cleaning 133004 clauses out of 266011 with flag 23321353/9342116
2686.06/2653.90	c cleaning 133998 clauses out of 268007 with flag 23621836/9477116
2726.96/2694.59	c cleaning 135004 clauses out of 270010 with flag 23990005/9613117
2768.61/2734.05	c cleaning 135996 clauses out of 272005 with flag 24297304/9750116
2807.07/2772.31	c cleaning 137001 clauses out of 274011 with flag 24598571/9888118
2850.41/2815.42	c cleaning 138000 clauses out of 276008 with flag 24902193/10027116
2893.33/2858.05	c cleaning 139002 clauses out of 278008 with flag 25207369/10167116
2936.60/2900.90	c cleaning 140000 clauses out of 280009 with flag 25517679/10308119
2975.33/2939.46	c cleaning 141003 clauses out of 282006 with flag 25831736/10450116
3019.91/2983.69	c cleaning 141998 clauses out of 284004 with flag 26167819/10593117
3062.92/3026.34	c cleaning 143001 clauses out of 286005 with flag 26553661/10737116
3102.42/3065.42	c cleaning 144002 clauses out of 288006 with flag 26938935/10882118
3144.37/3107.25	c cleaning 144997 clauses out of 290002 with flag 27279429/11028116
3189.51/3152.12	c cleaning 145997 clauses out of 292005 with flag 27596337/11175116
3236.09/3198.48	c cleaning 146997 clauses out of 294008 with flag 27924948/11323116
3281.07/3243.10	c cleaning 147997 clauses out of 296011 with flag 28252786/11472116
3332.25/3291.86	c cleaning 149008 clauses out of 298015 with flag 28579303/11622117
3377.11/3336.53	c cleaning 150003 clauses out of 300008 with flag 28914470/11773118
3426.05/3385.15	c cleaning 150999 clauses out of 302003 with flag 29251900/11925116
3472.60/3431.51	c cleaning 151993 clauses out of 304004 with flag 29591325/12078116
3519.93/3478.36	c cleaning 153002 clauses out of 306014 with flag 29932730/12232119
3568.00/3525.94	c cleaning 154001 clauses out of 308009 with flag 30274935/12387116
3600.07/3557.85	c starts		: 34895
3600.07/3557.87	c conflicts		: 12508272
3600.07/3557.87	c decisions		: 22456339
3600.07/3557.88	c propagations		: 828969870
3600.07/3557.88	c inspects		: 8544337753
3600.07/3557.88	c shortcuts		: 0
3600.07/3557.88	c learnt literals	: 0
3600.07/3557.88	c learnt binary clauses	: 0
3600.07/3557.88	c learnt ternary clauses	: 806
3600.07/3557.88	c learnt constraints	: 12508272
3600.07/3557.88	c ignored constraints	: 0
3600.07/3557.88	c root simplifications	: 0
3600.07/3557.88	c removed literals (reason simplification)	: 151340018
3600.07/3557.89	c reason swapping (by a shorter reason)	: 0
3600.07/3557.89	c Calls to reduceDB	: 172
3600.07/3557.89	c Number of update (reduction) of LBD	: 748471
3600.07/3557.89	c Imported unit clauses	: 0
3600.07/3557.89	c No decision after first conflict	: false
3600.27/3557.90	c number of reductions to clauses (during analyze)	: 0
3600.27/3557.90	c number of learned constraints concerned by reduction	: 0
3600.27/3557.90	c number of learning phase by resolution	: 0
3600.27/3557.90	c number of learning phase by cutting planes	: 0
3600.27/3557.90	c number of rounding to 1 operations	: 0
3600.27/3557.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.27/3557.91	c number of reductions of the coefficients by power 2 	: 0
3600.27/3557.91	c number of right shift for reduction by power 2 	: 0
3600.27/3557.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.27/3557.91	c number of ending skipping 	: 0
3600.27/3557.91	c number of internal skipping 	: 0
3600.27/3557.91	c number of derivation steps 	: 0
3600.27/3557.91	c number of skipped derivation steps 	: 0
3600.27/3557.91	c number of remaining unassigned 	: 0
3600.27/3557.91	c number of remaining assigned 	: 0
3600.27/3557.91	c number of falsified literals weakened from reason	: 0
3600.27/3557.91	c number of falsified literals weakened from conflict	: 0
3600.27/3557.91	c time for arithmetic operations	: 0
3600.27/3557.92	c minimum degree of deleted constraints	: null
3600.27/3557.92	c maximum degree of deleted constraints	: null
3600.27/3557.92	c number of deleted constraints	: 0
3600.27/3557.93	c speed (assignments/second)	: 233041.6327563305
3600.27/3557.93	c non guided choices	: 55
3600.68/3558.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 275164
3600.68/3558.13	s SATISFIABLE
3600.68/3558.13	c Found 5 solution(s)
3600.68/3558.13	v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 x62 -x63 x64 -x65 x66 x67 -x68 -x69 x70 -x71 x72 -x73 x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 -x99 x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 -x128 -x129 x130 -x131 x132 -x133 x134 x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 x161 -x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 -x221 -x222 -x223 x224 -x225 x226 -x227 x228 -x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x240 -x241 x242 x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 -x266 -x267 x268 x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277 x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 -x323 -x324 x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 x344 -x345 x346 -x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 x384 x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 -x429 x430 -x431 -x432 -x433 x434 -x435 x436 -x437 x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 x446 -x447 x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 -x465 x466 -x467 x468 -x469 -x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 x480 -x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 x504 -x505 x506 x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 x524 -x525 x526 -x527 -x528 -x529 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 -x540 -x541 x542 -x543 x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 x552 -x553 x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 x564 -x565 x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 -x609 x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 x626 -x627 x628 x629 -x630 -x631 x632 -x633 x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 x658 -x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 x682 -x683 x684 x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 x724 -x725 x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 x738 -x739 x740 -x741 x742 x743 -x744 -x745 -x746 -x747 x748 -x749 x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 x774 -x775 x776 -x777 x778 -x779 x780 x781 -x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 -x791 x792 -x793 x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 x808 -x809 x810 -x811 -x812 -x813 x814 -x815 x816 -x817 x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 x849 -x850 -x851 x852 -x853 -x854 x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 x880 x881 -x882 -x883 x884 
3600.68/3558.14	c objective function=30427
3600.68/3558.14	c Total wall clock time (in seconds): 3557.786

Verifier Data 

OK	30427

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526324-1751631506/watcher-4526324-1751631506 -o /tmp/evaluation-result-4526324-1751631506/solver-4526324-1751631506 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751627915-98785 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526324-1751631506.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=99135, runsolver pid=99132

[startup+0.100073 s]*
/proc/loadavg: 4.07 4.08 4.09 7/324 99153
/proc/meminfo: memFree=120008272/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=18930384 memory=48180 CPUtime=0.12 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 5755 0 0 0 8 4 0 0 20 0 18 0 78829783 19384713216 12045 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4732596 12045 5307 1 0 546987 0
[pid=99135/tid=99137] ppid=99132 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 4635 0 0 0 4 2 0 0 20 0 18 0 78829784 19384713216 12045 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78829789 19384713216 12045 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=18930384 memory=58494082638250 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78829790 19384713216 12045 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48180 KiB

[startup+0.213493 s]*
/proc/loadavg: 4.07 4.08 4.09 7/324 99153
/proc/meminfo: memFree=120006256/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=18930384 memory=53136 CPUtime=0.28 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 6449 0 0 0 24 4 0 0 20 0 18 0 78829783 19384713216 13284 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4732596 13284 5339 1 0 547533 0
[pid=99135/tid=99137] ppid=99132 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 4984 0 0 0 14 2 0 0 20 0 18 0 78829784 19384713216 13284 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=18930384 memory=17127 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78829789 19384713216 13284 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78829790 19384713216 13284 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53136 KiB

[startup+0.317985 s]*
/proc/loadavg: 4.07 4.08 4.09 7/324 99153
/proc/meminfo: memFree=120002160/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=18930384 memory=58328 CPUtime=0.43 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 6715 0 0 0 38 5 0 0 20 0 18 0 78829783 19384713216 14582 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4732596 14582 5339 1 0 547730 0
[pid=99135/tid=99137] ppid=99132 vsize=18930384 memory=-6000919498510132070 CPUtime=0.25 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 5148 0 0 0 22 3 0 0 20 0 18 0 78829784 19384713216 14582 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78829789 19384713216 14582 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78829790 19384713216 14582 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58328 KiB

[startup+0.700338 s]
/proc/loadavg: 4.07 4.08 4.09 8/324 99153
/proc/meminfo: memFree=119992708/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=18930384 memory=90764 CPUtime=1.13 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 8529 0 0 0 106 7 0 0 20 0 18 0 78829783 19384713216 22691 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4732596 22691 5435 1 0 548992 0
[pid=99135/tid=99137] ppid=99132 vsize=18930384 memory=13952 CPUtime=0.57 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 5320 0 0 0 53 4 0 0 20 0 18 0 78829784 19384713216 22691 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=18930384 memory=11008 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78829789 19384713216 22691 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=18930384 memory=3328 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78829790 19384713216 22691 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90764 KiB

[startup+1.50024 s]
/proc/loadavg: 4.07 4.08 4.09 7/325 99154
/proc/meminfo: memFree=119966448/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=18996948 memory=111408 CPUtime=2.7 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 19152 0 0 0 261 9 0 0 20 0 19 0 78829783 19452874752 27852 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4749237 27852 5467 1 0 552575 0
[pid=99135/tid=99137] ppid=99132 vsize=18996948 memory=3328 CPUtime=1.3 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 6180 0 0 0 125 5 0 0 20 0 19 0 78829784 19452874752 27852 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78829789 19452874752 27852 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=18996948 memory=11008 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78829790 19452874752 27852 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=18996948 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78829858 19452874752 27852 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111408 KiB

[startup+3.11283 s]
/proc/loadavg: 4.07 4.08 4.09 4/302 99165
/proc/meminfo: memFree=122882364/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=18996948 memory=142664 CPUtime=5.11 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 21055 0 0 0 501 10 0 0 20 0 19 0 78829783 19452874752 35666 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4749237 35666 5467 1 0 552606 0
[pid=99135/tid=99137] ppid=99132 vsize=18996948 memory=11008 CPUtime=2.91 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 7409 0 0 0 286 5 0 0 20 0 19 0 78829784 19452874752 35666 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=18996948 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78829789 19452874752 35666 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78829790 19452874752 35666 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78829858 19452874752 35666 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142664 KiB

[startup+6.30037 s]
/proc/loadavg: 4.07 4.08 4.09 6/325 99222
/proc/meminfo: memFree=122725148/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=199276 CPUtime=8.61 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 24258 0 0 0 849 12 0 0 20 0 20 0 78829783 19521036288 49819 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 49819 5563 1 0 552897 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=0 CPUtime=5.96 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 7764 0 0 0 590 6 0 0 20 0 20 0 78829784 19521036288 49819 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 49819 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 49819 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=113464 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 49819 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199276 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.11 4.10 7/325 99356
/proc/meminfo: memFree=124693508/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=252836 CPUtime=15.21 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 26642 0 0 0 1505 16 0 0 20 0 20 0 78829783 19521036288 63209 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 63209 5563 1 0 552897 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=11008 CPUtime=12.26 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 8110 0 0 0 1220 6 0 0 20 0 20 0 78829784 19521036288 63209 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=113464 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 63209 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 63209 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=199276 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 63209 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 252836 KiB

[startup+25.5005 s]
/proc/loadavg: 4.25 4.12 4.10 5/327 99358
/proc/meminfo: memFree=123985536/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=441484 CPUtime=28.11 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 30175 0 0 0 2789 22 0 0 20 0 20 0 78829783 19521036288 110371 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 110371 5563 1 0 552913 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=0 CPUtime=24.51 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 9371 0 0 0 2444 7 0 0 20 0 20 0 78829784 19521036288 110371 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=375912 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 110371 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=308256 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 110371 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 110371 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 28.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 441484 KiB

[startup+51.1132 s]
/proc/loadavg: 4.39 4.16 4.11 5/327 99358
/proc/meminfo: memFree=121801000/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=864472 CPUtime=54.08 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 32340 0 0 0 5377 31 0 0 20 0 20 0 78829783 19521036288 216118 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 216118 5563 1 0 659432 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=782548 CPUtime=49.56 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 9453 0 0 0 4947 9 0 0 20 0 20 0 78829784 19521036288 216118 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=675968 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 216118 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 216118 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=0 CPUtime=0 cores=1,3

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

/proc/meminfo: memFree=90933148/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=6537004 CPUtime=3322.44 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 168635 0 0 0 331906 338 0 0 20 0 20 0 78829783 19521036288 1634251 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 1634251 5563 1 0 1928131 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=6379308 CPUtime=3241.08 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 71008 0 0 0 324059 49 0 0 20 0 20 0 78829784 19521036288 1634251 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=6299436 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 1634251 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=6321964 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1684 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 1634251 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 1634251 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3322.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6537004 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.23 4.24 5/326 99529
/proc/meminfo: memFree=89008380/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3382.9 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 170881 0 0 0 337947 343 0 0 20 0 20 0 78829783 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 1665505 5563 1 0 1928131 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=14468 CPUtime=3300.28 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 72684 0 0 0 329978 50 0 0 20 0 20 0 78829784 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=6662020 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=6662020 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1685 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3382.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6662020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.22 5/326 99532
/proc/meminfo: memFree=87443380/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3443.44 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 173998 0 0 0 343998 346 0 0 20 0 20 0 78829783 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 1665505 5563 1 0 1928131 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3359.41 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 74259 0 0 0 335891 50 0 0 20 0 20 0 78829784 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=6662020 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=6662020 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3443.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6662020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.21 4.22 5/326 99534
/proc/meminfo: memFree=86600016/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3503.95 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 176110 0 0 0 350046 349 0 0 20 0 20 0 78829783 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 1665505 5563 1 0 1928136 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3418.64 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 75221 0 0 0 341814 50 0 0 20 0 20 0 78829784 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=13952 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1789 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=6662020 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3503.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6662020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.22 4.22 5/326 99536
/proc/meminfo: memFree=86583396/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3564.41 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 178789 0 0 0 356089 352 0 0 20 0 20 0 78829783 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 1665505 5563 1 0 1928136 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=5632 CPUtime=3477.91 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 76642 0 0 0 347741 50 0 0 20 0 20 0 78829784 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=8416 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=13952 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1789 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3564.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6662020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3557.8 s]
/proc/loadavg: 4.26 4.22 4.22 5/327 99671
/proc/meminfo: memFree=109849200/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19063512 memory=6662020 CPUtime=3600.07 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 179700 0 0 0 359651 356 0 0 20 0 20 0 78829783 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4765878 1665505 5563 1 0 1928136 0
[pid=99135/tid=99137] ppid=99132 vsize=19063512 memory=-6000919498510132070 CPUtime=3513.03 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 77421 0 0 0 351251 52 0 0 20 0 20 0 78829784 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78829789 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1801 0 0 0 0 0 0 0 20 0 20 0 78829790 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99154] ppid=99132 vsize=19063512 memory=20972 CPUtime=0 cores=1,3
/proc/99135/task/99154/stat : 99154 (Timer-0) S 99132 99135 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78829858 19521036288 1665505 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6662020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.16 s, system=3.61417 s

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

[startup+3558 s]*
/proc/loadavg: 4.26 4.22 4.22 7/328 99674
/proc/meminfo: memFree=109840000/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19263204 memory=6662916 CPUtime=3600.48 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 181260 0 0 0 359691 357 0 0 20 0 21 0 78829783 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4815801 1665729 5595 1 0 1929098 0
[pid=99135/tid=99137] ppid=99132 vsize=19263204 memory=-6000919477018190694 CPUtime=3513.24 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 77649 0 0 0 351272 52 0 0 20 0 21 0 78829784 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19263204 memory=7237110222883743848 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78829789 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19263204 memory=7521689112480476007 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1801 0 0 0 0 0 0 0 20 0 21 0 78829790 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99674] ppid=99132 vsize=19263204 memory=7522810657107305301 CPUtime=0.06 cores=1,3
/proc/99135/task/99674/stat : 99674 (Thread-0) R 99132 99135 98773 0 -1 4194368 210 0 0 0 6 0 0 0 20 0 21 0 79185564 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6662916 KiB

[startup+3558.11 s]
/proc/loadavg: 4.26 4.22 4.22 7/328 99674
/proc/meminfo: memFree=109840000/131382112 swapFree=33000116/33010684
[pid=99135] ppid=99132 vsize=19263204 memory=6662916 CPUtime=3600.68 cores=1,3
/proc/99135/stat : 99135 (java) S 99132 99135 98773 0 -1 4194304 181517 0 0 0 359711 357 0 0 20 0 21 0 78829783 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
/proc/99135/statm: 4815801 1665729 5595 1 0 1929098 0
[pid=99135/tid=99137] ppid=99132 vsize=19263204 memory=8416 CPUtime=3513.34 cores=1,3
/proc/99135/task/99137/stat : 99137 (java) R 99132 99135 98773 0 -1 4194368 77649 0 0 0 351282 52 0 0 20 0 21 0 78829784 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99146] ppid=99132 vsize=19263204 memory=14468 CPUtime=0 cores=1,3
/proc/99135/task/99146/stat : 99146 (Finalizer) S 99132 99135 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78829789 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99153] ppid=99132 vsize=19263204 memory=6662020 CPUtime=0 cores=1,3
/proc/99135/task/99153/stat : 99153 (Common-Cleaner) S 99132 99135 98773 0 -1 4194368 1801 0 0 0 0 0 0 0 20 0 21 0 78829790 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
[pid=99135/tid=99674] ppid=99132 vsize=19263204 memory=7522537853837341026 CPUtime=0.14 cores=1,3
/proc/99135/task/99674/stat : 99674 (Thread-0) R 99132 99135 98773 0 -1 4194368 445 0 0 0 14 0 0 0 20 0 21 0 79185564 19725520896 1665729 18446744073709551615 94008028700672 94008028704368 140726018552608 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94008028712184 94008028712976 94008052318208 140726018554239 140726018554340 140726018554340 140726018559944 0
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6662916 KiB

Child status: 143

Real time (s): 3558.19
CPU time (s): 3600.78
CPU user time (s): 3597.16
CPU system time (s): 3.61417
CPU usage (%): 101.197
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6662916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.16
system time used= 3.61417
maximum resident set size= 6663044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115203
involuntary context switches= 7220


# summary of solver processes directly reported to runsolver:
#   pid: 99135
#   total CPU time (s): 3600.78
#   total CPU user time (s): 3597.16
#   total CPU system time (s): 3.61417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7955 second user time and 35.803 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-04 14:18:26
IDJOB=4526324
IDBENCH=144038
IDSOLVER=3380
FILE ID=nodeC007/4526324-1751631506
RUNJOBID= nodeC007-1751627915-98785
SLURM_JOB_ID= 9598957
Free space on /tmp= 431024 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-507_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526324-1751631506/watcher-4526324-1751631506 -o /tmp/evaluation-result-4526324-1751631506/solver-4526324-1751631506 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751627915-98785 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4526324-1751631506.wbo

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

MD5SUM BENCH= f81c061b693f8d6b0a85fe0e32c56d8c
RANDOM SEED=1238255106

nodeC007 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		: 3617.413
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.68
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.689
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.68
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.180
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.68
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.201
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.68
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		: 3617.520
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.68
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		: 3657.076
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.68
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.757
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.68
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.410
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        120026376 kB
MemAvailable:   124562416 kB
Buffers:              16 kB
Cached:          5203588 kB
SwapCached:         2972 kB
Active:          5559844 kB
Inactive:        4960916 kB
Active(anon):    5293312 kB
Inactive(anon):    35656 kB
Active(file):     266532 kB
Inactive(file):  4925260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000116 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1080 kB
Writeback:             0 kB
AnonPages:       5317304 kB
Mapped:           117740 kB
Shmem:             11812 kB
KReclaimable:     367748 kB
Slab:             459468 kB
SReclaimable:     367748 kB
SUnreclaim:        91720 kB
KernelStack:        4976 kB
PageTables:        14144 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12672500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5091328 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431024 MiB
End job on nodeC007 at 2025-07-04 15:17:45