Trace number 4526288

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.25 3589.72

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-414_wcsp.wbo
MD5SUM2452411e7d53b4184f08359a7309571d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark38478
Best CPU time to get the best result obtained on this benchmark1.07405
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1056
Total number of constraints14903
Number of soft constraints14539
Number of constraints which are clauses14539
Number of constraints which are cardinality constraints (but not clauses)364
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 60599
Min constraint cost 1
Max constraint cost 60599
Sum of constraints costs 859051423
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4526288-1751630978.wbo
0.12/0.13	c reading problem ... 
0.50/0.34	c ... done. Wall clock time 0.203s.
0.50/0.34	c declared #vars     1056
0.50/0.34	c internal #vars     15595
0.50/0.34	c #constraints  15268
0.50/0.34	c constraints type 
0.50/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 764
0.50/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 164
0.50/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.50/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14339
0.50/0.34	c 15268 constraints processed.
0.50/0.35	c objective function length is 14539 literals
0.68/0.47	c SATISFIABLE
0.68/0.47	c OPTIMIZING...
0.68/0.47	c Got one! Elapsed wall clock time (in seconds):0.333
0.68/0.47	o 41509
0.88/0.55	c Got one! Elapsed wall clock time (in seconds):0.417
0.88/0.55	o 41507
3.16/2.22	c cleaning 2532 clauses out of 5063 with flag 12998/5063
4.82/3.73	c cleaning 4265 clauses out of 8530 with flag 27458/11062
6.80/5.50	c Got one! Elapsed wall clock time (in seconds):5.367
6.80/5.50	o 41506
6.80/5.55	c Got one! Elapsed wall clock time (in seconds):5.419
6.80/5.55	o 41505
7.37/6.01	c Got one! Elapsed wall clock time (in seconds):5.874
7.37/6.01	o 41504
8.88/7.43	c cleaning 8213 clauses out of 16425 with flag 8700/23222
10.88/9.49	c cleaning 7104 clauses out of 14209 with flag 21062/29219
13.48/12.07	c cleaning 7052 clauses out of 14105 with flag 35342/36219
16.61/15.03	c cleaning 7528 clauses out of 15055 with flag 51693/44221
19.81/18.26	c cleaning 8261 clauses out of 16524 with flag 70095/53218
23.55/21.95	c cleaning 9127 clauses out of 18264 with flag 90614/63219
27.69/26.09	c cleaning 10065 clauses out of 20137 with flag 113101/74219
32.29/30.66	c cleaning 11036 clauses out of 22071 with flag 137468/86218
37.52/35.88	c cleaning 12013 clauses out of 24035 with flag 163801/99218
43.15/41.41	c cleaning 13007 clauses out of 26023 with flag 192410/113219
49.00/47.28	c cleaning 14007 clauses out of 28018 with flag 223799/128221
55.39/53.50	c cleaning 14999 clauses out of 30008 with flag 256904/144218
61.72/59.81	c cleaning 15996 clauses out of 32009 with flag 292598/161218
68.55/66.62	c cleaning 17002 clauses out of 34014 with flag 329963/179219
75.48/73.58	c cleaning 18002 clauses out of 36013 with flag 369931/198220
83.72/81.79	c cleaning 19002 clauses out of 38010 with flag 410625/218219
91.82/89.89	c cleaning 20005 clauses out of 40010 with flag 454416/239221
100.04/98.04	c cleaning 20999 clauses out of 42004 with flag 500582/261220
108.49/106.45	c cleaning 21999 clauses out of 44004 with flag 547584/284219
117.55/115.49	c cleaning 22999 clauses out of 46004 with flag 596665/308218
127.06/124.66	c cleaning 23995 clauses out of 48005 with flag 647842/333218
136.33/133.83	c cleaning 25001 clauses out of 50010 with flag 702227/359218
146.24/143.68	c cleaning 26000 clauses out of 52009 with flag 758810/386218
156.21/153.69	c cleaning 26999 clauses out of 54011 with flag 817890/414220
166.86/164.24	c cleaning 28003 clauses out of 56010 with flag 879111/443218
177.85/175.16	c cleaning 29003 clauses out of 58008 with flag 942778/473219
189.43/186.64	c cleaning 29996 clauses out of 60004 with flag 1007492/504218
201.36/198.54	c cleaning 31000 clauses out of 62008 with flag 1074346/536218
213.53/210.61	c cleaning 32002 clauses out of 64009 with flag 1144112/569219
226.62/223.28	c cleaning 32999 clauses out of 66006 with flag 1215944/603218
239.61/236.20	c cleaning 34004 clauses out of 68010 with flag 1289856/638221
252.79/249.38	c cleaning 34996 clauses out of 70003 with flag 1366415/674218
266.57/263.05	c cleaning 35998 clauses out of 72007 with flag 1444192/711218
280.54/277.06	c cleaning 37003 clauses out of 74010 with flag 1524585/749219
295.50/291.91	c cleaning 37999 clauses out of 76006 with flag 1607098/788218
310.59/307.07	c cleaning 39000 clauses out of 78007 with flag 1690653/828218
326.05/322.57	c cleaning 40002 clauses out of 80011 with flag 1776892/869222
342.42/338.74	c cleaning 40999 clauses out of 82005 with flag 1864775/911218
359.09/355.48	c cleaning 42000 clauses out of 84007 with flag 1955036/954219
375.76/372.14	c cleaning 43002 clauses out of 86007 with flag 2047665/998219
393.31/389.69	c cleaning 43997 clauses out of 88004 with flag 2142526/1043218
411.90/407.66	c cleaning 45000 clauses out of 90008 with flag 2239097/1089219
430.52/426.19	c cleaning 46002 clauses out of 92007 with flag 2337854/1136218
449.28/445.00	c cleaning 46999 clauses out of 94005 with flag 2438517/1184218
468.41/464.03	c cleaning 48000 clauses out of 96007 with flag 2540969/1233219
488.07/483.73	c cleaning 48996 clauses out of 98006 with flag 2646634/1283218
507.98/503.60	c cleaning 49998 clauses out of 100010 with flag 2753373/1334218
527.84/523.55	c cleaning 51001 clauses out of 102012 with flag 2863214/1386218
548.94/544.59	c cleaning 52001 clauses out of 104011 with flag 2975010/1439218
571.01/566.66	c cleaning 53003 clauses out of 106011 with flag 3088018/1493219
593.78/589.26	c cleaning 54003 clauses out of 108008 with flag 3203534/1548219
617.24/612.56	c cleaning 54998 clauses out of 110007 with flag 3320065/1604221
641.43/635.85	c cleaning 55999 clauses out of 112006 with flag 3439409/1661218
665.30/659.62	c cleaning 57001 clauses out of 114008 with flag 3560814/1719219
689.71/683.94	c cleaning 57998 clauses out of 116006 with flag 3685021/1778218
714.27/708.49	c cleaning 59001 clauses out of 118009 with flag 3811460/1838219
739.19/733.31	c cleaning 59998 clauses out of 120007 with flag 3939145/1899218
765.70/759.84	c cleaning 61005 clauses out of 122009 with flag 4069464/1961218
793.36/786.39	c cleaning 61998 clauses out of 124004 with flag 4201258/2024218
818.87/811.80	c cleaning 62995 clauses out of 126006 with flag 4332776/2088218
846.16/839.02	c cleaning 64001 clauses out of 128011 with flag 4464680/2153218
872.04/864.83	c cleaning 65004 clauses out of 130012 with flag 4598572/2219220
898.73/891.41	c cleaning 65999 clauses out of 132007 with flag 4734643/2286219
925.74/918.30	c cleaning 66997 clauses out of 134007 with flag 4873686/2354218
953.49/945.94	c cleaning 68001 clauses out of 136010 with flag 5014849/2423218
982.28/973.88	c cleaning 69004 clauses out of 138011 with flag 5157916/2493220
1010.80/1002.39	c cleaning 69996 clauses out of 140005 with flag 5303168/2564218
1040.96/1032.45	c cleaning 71003 clauses out of 142009 with flag 5450752/2636218
1072.14/1063.56	c cleaning 72001 clauses out of 144006 with flag 5599957/2709218
1101.78/1093.19	c cleaning 73001 clauses out of 146006 with flag 5750641/2783219
1133.21/1124.56	c cleaning 74001 clauses out of 148005 with flag 5904003/2858219
1152.98/1144.20	c Got one! Elapsed wall clock time (in seconds):1144.065
1152.98/1144.20	o 41503
1156.29/1147.51	c cleaning 64729 clauses out of 129479 with flag 10178/2913694
1158.99/1150.24	c cleaning 35365 clauses out of 70751 with flag 22392/2919695
1161.69/1152.91	c cleaning 21185 clauses out of 42385 with flag 36712/2926694
1164.58/1155.83	c cleaning 14591 clauses out of 29200 with flag 53035/2934694
1167.78/1159.09	c cleaning 11799 clauses out of 23611 with flag 71400/2943696
1171.37/1162.68	c cleaning 10900 clauses out of 21810 with flag 91782/2953694
1175.39/1166.69	c cleaning 10951 clauses out of 21911 with flag 114250/2964695
1179.88/1171.13	c cleaning 11476 clauses out of 22959 with flag 138642/2976694
1184.57/1175.88	c cleaning 12241 clauses out of 24485 with flag 164997/2989696
1189.86/1181.16	c cleaning 13122 clauses out of 26243 with flag 193431/3003695
1195.45/1186.71	c cleaning 14055 clauses out of 28120 with flag 224622/3018694
1201.58/1192.88	c cleaning 15026 clauses out of 30065 with flag 266818/3034694
1212.07/1203.24	c cleaning 16017 clauses out of 32039 with flag 346675/3051694
1222.50/1213.61	c cleaning 17012 clauses out of 34024 with flag 432438/3069696
1233.68/1224.86	c cleaning 18006 clauses out of 36011 with flag 511720/3088695
1245.26/1236.42	c cleaning 18999 clauses out of 38004 with flag 588878/3108694
1257.15/1248.35	c cleaning 20000 clauses out of 40005 with flag 657995/3129694
1269.81/1260.94	c cleaning 21002 clauses out of 42005 with flag 729224/3151694
1283.27/1274.22	c cleaning 21997 clauses out of 44003 with flag 807401/3174694
1296.66/1287.65	c cleaning 22997 clauses out of 46006 with flag 890300/3198694
1311.32/1302.36	c cleaning 23999 clauses out of 48009 with flag 968646/3223694
1326.50/1317.56	c cleaning 25002 clauses out of 50010 with flag 1054096/3249694
1342.75/1333.67	c cleaning 26002 clauses out of 52008 with flag 1153620/3276694
1359.32/1350.28	c cleaning 26999 clauses out of 54006 with flag 1252778/3304694
1376.29/1367.26	c cleaning 28000 clauses out of 56009 with flag 1356711/3333696
1394.53/1384.83	c cleaning 28998 clauses out of 58007 with flag 1476658/3363694
1412.70/1402.93	c cleaning 30002 clauses out of 60009 with flag 1614388/3394694
1431.26/1421.52	c cleaning 31000 clauses out of 62007 with flag 1731282/3426694
1450.22/1440.55	c cleaning 31998 clauses out of 64007 with flag 1878571/3459694
1469.81/1460.07	c cleaning 33003 clauses out of 66009 with flag 2043693/3493694
1489.87/1480.19	c cleaning 33999 clauses out of 68007 with flag 2174521/3528695
1511.90/1502.05	c cleaning 34998 clauses out of 70008 with flag 2275405/3564695
1535.37/1525.39	c cleaning 35999 clauses out of 72009 with flag 2389177/3601694
1558.00/1547.87	c cleaning 37006 clauses out of 74011 with flag 2501016/3639695
1579.26/1569.12	c cleaning 37996 clauses out of 76005 with flag 2607781/3678695
1591.42/1581.31	c Got one! Elapsed wall clock time (in seconds):1581.174
1591.42/1581.31	o 40522
1594.18/1584.06	c cleaning 32484 clauses out of 64968 with flag 13433/3705654
1598.17/1588.06	c cleaning 19243 clauses out of 38485 with flag 32376/3711655
1600.36/1590.25	c cleaning 13108 clauses out of 26242 with flag 52407/3718655
1602.36/1592.21	c cleaning 10556 clauses out of 21133 with flag 69277/3726654
1604.45/1594.38	c cleaning 9776 clauses out of 19578 with flag 88289/3735655
1607.25/1597.05	c cleaning 9898 clauses out of 19802 with flag 109205/3745655
1610.03/1599.85	c cleaning 10448 clauses out of 20903 with flag 132430/3756654
1613.13/1602.96	c cleaning 11227 clauses out of 22455 with flag 157593/3768654
1616.62/1606.40	c cleaning 12115 clauses out of 24229 with flag 184924/3781655
1620.22/1610.05	c cleaning 13057 clauses out of 26113 with flag 214260/3795654
1624.00/1613.83	c cleaning 14024 clauses out of 28057 with flag 246329/3810655
1628.20/1618.08	c cleaning 15014 clauses out of 30033 with flag 283870/3826655
1632.98/1622.83	c cleaning 16008 clauses out of 32018 with flag 323490/3843654
1637.97/1627.88	c cleaning 17006 clauses out of 34011 with flag 367036/3861655
1643.46/1633.36	c cleaning 18003 clauses out of 36005 with flag 412159/3880655
1649.05/1638.91	c cleaning 18995 clauses out of 38002 with flag 461202/3900655
1655.14/1645.09	c cleaning 19999 clauses out of 40007 with flag 511194/3921655
1661.43/1651.35	c cleaning 20999 clauses out of 42007 with flag 563711/3943654
1668.52/1658.43	c cleaning 22005 clauses out of 44009 with flag 620403/3966655
1675.84/1665.67	c cleaning 22998 clauses out of 46004 with flag 678974/3990655
1683.12/1672.94	c cleaning 24003 clauses out of 48005 with flag 738008/4015654
1690.41/1680.29	c cleaning 24996 clauses out of 50002 with flag 799091/4041654
1698.29/1688.14	c cleaning 26000 clauses out of 52006 with flag 860839/4068654
1706.57/1696.46	c cleaning 26996 clauses out of 54006 with flag 925831/4096654
1715.05/1704.94	c cleaning 28003 clauses out of 56011 with flag 993373/4125655
1724.03/1713.90	c cleaning 29004 clauses out of 58008 with flag 1061565/4155655
1733.71/1723.60	c cleaning 30001 clauses out of 60003 with flag 1134187/4186654
1743.19/1733.12	c cleaning 30995 clauses out of 62002 with flag 1210213/4218654
1754.30/1744.17	c cleaning 32004 clauses out of 64008 with flag 1285876/4251655
1764.18/1754.10	c cleaning 32996 clauses out of 66003 with flag 1367864/4285654
1774.56/1764.49	c cleaning 33997 clauses out of 68007 with flag 1447536/4320654
1786.25/1776.12	c cleaning 35001 clauses out of 70010 with flag 1527007/4356654
1797.92/1787.87	c cleaning 36001 clauses out of 72009 with flag 1610663/4393654
1809.79/1799.73	c cleaning 37003 clauses out of 74009 with flag 1695019/4431655
1822.45/1812.37	c cleaning 37996 clauses out of 76005 with flag 1783337/4470654
1834.14/1824.10	c cleaning 38999 clauses out of 78009 with flag 1875034/4510654
1847.41/1837.34	c cleaning 40001 clauses out of 80010 with flag 1969042/4551654
1860.78/1850.70	c cleaning 41003 clauses out of 82010 with flag 2061241/4593655
1875.61/1865.07	c cleaning 42000 clauses out of 84007 with flag 2152652/4636655
1889.58/1879.03	c cleaning 42997 clauses out of 86007 with flag 2246874/4680655
1903.45/1892.93	c cleaning 43997 clauses out of 88010 with flag 2345185/4725655
1917.86/1907.30	c cleaning 45004 clauses out of 90013 with flag 2447443/4771655
1932.33/1921.82	c cleaning 45998 clauses out of 92009 with flag 2550563/4818655
1947.00/1936.53	c cleaning 47002 clauses out of 94011 with flag 2656183/4866655
1961.97/1951.58	c cleaning 48005 clauses out of 96009 with flag 2764664/4915655
1978.14/1967.76	c cleaning 48998 clauses out of 98004 with flag 2873456/4965655
1994.80/1984.42	c cleaning 49997 clauses out of 100006 with flag 2985989/5016655
2013.58/2003.17	c cleaning 51000 clauses out of 102008 with flag 3100387/5068654
2033.64/2023.25	c cleaning 52000 clauses out of 104008 with flag 3219262/5121654
2051.51/2041.11	c cleaning 52999 clauses out of 106009 with flag 3338306/5175655
2071.57/2061.29	c cleaning 54001 clauses out of 108010 with flag 3461850/5230655
2089.44/2079.12	c cleaning 54998 clauses out of 110008 with flag 3582249/5286654
2107.56/2097.11	c cleaning 55998 clauses out of 112010 with flag 3705733/5343654
2123.72/2113.39	c cleaning 57006 clauses out of 114013 with flag 3829271/5401655
2142.29/2131.93	c cleaning 58003 clauses out of 116006 with flag 3957585/5460654
2161.85/2151.54	c cleaning 59001 clauses out of 118003 with flag 4090021/5520654
2181.42/2171.13	c cleaning 59995 clauses out of 120003 with flag 4229624/5581655
2200.04/2189.79	c cleaning 60997 clauses out of 122008 with flag 4380905/5643655
2219.30/2209.08	c cleaning 62002 clauses out of 124010 with flag 4517486/5706654
2241.55/2231.39	c cleaning 63002 clauses out of 126008 with flag 4650113/5770654
2261.72/2251.57	c cleaning 64002 clauses out of 128007 with flag 4786057/5835655
2283.58/2273.42	c cleaning 64995 clauses out of 130005 with flag 4924636/5901655
2307.44/2297.19	c cleaning 66002 clauses out of 132010 with flag 5066450/5968655
2328.49/2318.22	c cleaning 66997 clauses out of 134007 with flag 5212355/6036654
2350.65/2340.44	c cleaning 68002 clauses out of 136011 with flag 5358082/6105655
2371.44/2361.19	c cleaning 69004 clauses out of 138008 with flag 5510883/6175654
2392.89/2382.69	c cleaning 70001 clauses out of 140005 with flag 5669474/6246655
2415.55/2405.35	c cleaning 71000 clauses out of 142004 with flag 5830869/6318655
2438.01/2427.81	c cleaning 71998 clauses out of 144004 with flag 5990248/6391655
2463.13/2452.97	c cleaning 72998 clauses out of 146005 with flag 6146518/6465654
2487.29/2477.11	c cleaning 74001 clauses out of 148007 with flag 6303767/6540654
2514.53/2504.49	c cleaning 74998 clauses out of 150007 with flag 6462107/6616655
2540.68/2530.68	c cleaning 76003 clauses out of 152009 with flag 6621501/6693655
2566.21/2556.11	c cleaning 77001 clauses out of 154006 with flag 6786704/6771655
2592.85/2582.85	c cleaning 77997 clauses out of 156004 with flag 6952785/6850654
2619.19/2609.25	c cleaning 78999 clauses out of 158008 with flag 7119966/6930655
2647.20/2637.25	c cleaning 79999 clauses out of 160008 with flag 7289712/7011654
2677.35/2667.46	c cleaning 81001 clauses out of 162009 with flag 7460074/7093654
2709.48/2699.67	c cleaning 81998 clauses out of 164008 with flag 7633835/7176654
2758.99/2748.40	c cleaning 83003 clauses out of 166011 with flag 7842941/7260655
2793.52/2782.98	c cleaning 83997 clauses out of 168007 with flag 8027269/7345654
2827.26/2816.70	c cleaning 85001 clauses out of 170010 with flag 8211813/7431654
2862.00/2851.51	c cleaning 85996 clauses out of 172010 with flag 8398951/7518655
2899.71/2889.14	c cleaning 87001 clauses out of 174013 with flag 8587333/7606654
2936.04/2925.54	c cleaning 88000 clauses out of 176012 with flag 8781892/7695654
2971.17/2960.79	c cleaning 89003 clauses out of 178012 with flag 8976304/7785654
3009.20/2998.80	c cleaning 90003 clauses out of 180010 with flag 9173247/7876655
3049.42/3039.14	c cleaning 91000 clauses out of 182007 with flag 9372570/7968655
3095.34/3085.09	c cleaning 92001 clauses out of 184006 with flag 9575101/8061654
3133.95/3123.77	c cleaning 92997 clauses out of 186005 with flag 9779959/8155654
3194.01/3183.75	c cleaning 94002 clauses out of 188009 with flag 9986459/8250655
3238.08/3227.75	c cleaning 94997 clauses out of 190006 with flag 10196979/8346654
3279.60/3269.39	c cleaning 96002 clauses out of 192010 with flag 10404938/8443655
3329.19/3318.94	c cleaning 96998 clauses out of 194008 with flag 10691681/8541655
3364.12/3353.99	c cleaning 97998 clauses out of 196010 with flag 10969572/8640655
3404.33/3394.26	c cleaning 98997 clauses out of 198011 with flag 11194074/8740654
3451.26/3440.67	c cleaning 100005 clauses out of 200015 with flag 11404842/8841655
3503.30/3492.75	c cleaning 101000 clauses out of 202010 with flag 11618981/8943655
3552.80/3542.39	c cleaning 101998 clauses out of 204009 with flag 11837518/9046654
3600.01/3589.61	c starts		: 14267
3600.01/3589.61	c conflicts		: 9147269
3600.01/3589.62	c decisions		: 14552058
3600.01/3589.62	c propagations		: 442910829
3600.01/3589.62	c inspects		: 6343204702
3600.01/3589.62	c shortcuts		: 0
3600.01/3589.62	c learnt literals	: 0
3600.01/3589.62	c learnt binary clauses	: 0
3600.01/3589.62	c learnt ternary clauses	: 856
3600.01/3589.62	c learnt constraints	: 9147269
3600.01/3589.62	c ignored constraints	: 0
3600.01/3589.62	c root simplifications	: 0
3600.01/3589.62	c removed literals (reason simplification)	: 136474618
3600.01/3589.62	c reason swapping (by a shorter reason)	: 0
3600.01/3589.62	c Calls to reduceDB	: 207
3600.01/3589.62	c Number of update (reduction) of LBD	: 107413
3600.01/3589.62	c Imported unit clauses	: 0
3600.01/3589.62	c No decision after first conflict	: false
3600.01/3589.62	c number of reductions to clauses (during analyze)	: 0
3600.01/3589.62	c number of learned constraints concerned by reduction	: 0
3600.01/3589.62	c number of learning phase by resolution	: 0
3600.01/3589.62	c number of learning phase by cutting planes	: 0
3600.01/3589.62	c number of rounding to 1 operations	: 0
3600.01/3589.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3589.62	c number of reductions of the coefficients by power 2 	: 0
3600.01/3589.62	c number of right shift for reduction by power 2 	: 0
3600.01/3589.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3589.62	c number of ending skipping 	: 0
3600.01/3589.63	c number of internal skipping 	: 0
3600.01/3589.63	c number of derivation steps 	: 0
3600.01/3589.63	c number of skipped derivation steps 	: 0
3600.01/3589.63	c number of remaining unassigned 	: 0
3600.01/3589.63	c number of remaining assigned 	: 0
3600.01/3589.63	c number of falsified literals weakened from reason	: 0
3600.01/3589.63	c number of falsified literals weakened from conflict	: 0
3600.01/3589.63	c time for arithmetic operations	: 0
3600.01/3589.64	c minimum degree of deleted constraints	: null
3600.01/3589.64	c maximum degree of deleted constraints	: null
3600.01/3589.64	c number of deleted constraints	: 0
3600.01/3589.64	c speed (assignments/second)	: 123398.92596245465
3600.01/3589.64	c non guided choices	: 267
3600.21/3589.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 202626
3600.21/3589.70	s SATISFIABLE
3600.21/3589.70	c Found 7 solution(s)
3600.21/3589.71	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 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 x894 -x895 x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 x914 -x915 x916 -x917 x918 -x919 x920 -x921 x922 -x923 x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 x932 -x933 x934 -x935 -x936 -x937 x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 x966 -x967 x968 -x969 -x970 -x971 x972 -x973 x974 -x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 x988 -x989 x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 x1055 -x1056 
3600.21/3589.71	c objective function=40522
3600.21/3589.71	c Total wall clock time (in seconds): 3589.574

Verifier Data 

OK	40522

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526288-1751630978/watcher-4526288-1751630978 -o /tmp/evaluation-result-4526288-1751630978/solver-4526288-1751630978 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751630972-92820 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526288-1751630978.wbo 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=93407, runsolver pid=93404

[startup+0.100061 s]*
/proc/loadavg: 2.19 2.28 3.77 6/315 93430
/proc/meminfo: memFree=129651292/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=18930384 memory=55700 CPUtime=0.12 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 6554 0 0 0 10 2 0 0 20 0 18 0 78775620 19384713216 13925 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4732596 13925 5380 1 0 547612 0
[pid=93407/tid=93409] ppid=93404 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 5050 0 0 0 6 1 0 0 20 0 18 0 78775621 19384713216 13925 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78775623 19384713216 13925 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78775624 19384713216 13925 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55700 KiB

[startup+0.206454 s]*
/proc/loadavg: 2.19 2.28 3.77 5/295 93445
/proc/meminfo: memFree=129702884/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=18930384 memory=66128 CPUtime=0.31 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 7037 0 0 0 28 3 0 0 20 0 18 0 78775620 19384713216 16532 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4732596 16532 5444 1 0 547914 0
[pid=93407/tid=93409] ppid=93404 vsize=18930384 memory=4026829284 CPUtime=0.17 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 5273 0 0 0 15 2 0 0 20 0 18 0 78775621 19384713216 16532 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=18930384 memory=16085 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78775623 19384713216 16532 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=18930384 memory=52987934540769 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78775624 19384713216 16532 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66128 KiB

[startup+0.306041 s]*
/proc/loadavg: 2.19 2.28 3.77 5/298 93462
/proc/meminfo: memFree=129670328/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=18930384 memory=105040 CPUtime=0.5 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 8508 0 0 0 45 5 0 0 20 0 18 0 78775620 19384713216 26260 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4732596 26260 5444 1 0 548887 0
[pid=93407/tid=93409] ppid=93404 vsize=18930384 memory=-6000919477001546086 CPUtime=0.25 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 5292 0 0 0 22 3 0 0 20 0 18 0 78775621 19384713216 26260 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78775623 19384713216 26260 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78775624 19384713216 26260 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105040 KiB

[startup+0.700213 s]
/proc/loadavg: 2.19 2.28 3.77 6/315 93485
/proc/meminfo: memFree=129631072/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=18996948 memory=124000 CPUtime=1.24 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 10507 0 0 0 117 7 0 0 20 0 19 0 78775620 19452874752 31000 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4749237 31000 5508 1 0 550592 0
[pid=93407/tid=93409] ppid=93404 vsize=18996948 memory=14336 CPUtime=0.62 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 5452 0 0 0 59 3 0 0 20 0 19 0 78775621 19452874752 31000 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775623 19452874752 31000 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775624 19452874752 31000 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775658 19452874752 31000 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124000 KiB

[startup+1.50022 s]
/proc/loadavg: 2.19 2.28 3.77 6/318 93517
/proc/meminfo: memFree=129595512/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=18996948 memory=139428 CPUtime=2.43 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 11705 0 0 0 234 9 0 0 20 0 19 0 78775620 19452874752 34857 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4749237 34857 5508 1 0 550752 0
[pid=93407/tid=93409] ppid=93404 vsize=18996948 memory=10624 CPUtime=1.41 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 5614 0 0 0 137 4 0 0 20 0 19 0 78775621 19452874752 34857 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775623 19452874752 34857 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775624 19452874752 34857 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775658 19452874752 34857 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139428 KiB

[startup+3.10577 s]
/proc/loadavg: 2.50 2.34 3.78 8/339 93607
/proc/meminfo: memFree=129471372/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=194332 CPUtime=4.2 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 16763 0 0 0 407 13 0 0 20 0 20 0 78775620 19521036288 48583 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 48583 5508 1 0 551274 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=-6000919489970334054 CPUtime=2.96 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 7102 0 0 0 290 6 0 0 20 0 20 0 78775621 19521036288 48583 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 48583 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 48583 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 48583 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194332 KiB

[startup+6.30015 s]
/proc/loadavg: 2.50 2.34 3.78 6/339 93607
/proc/meminfo: memFree=129413348/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=191224 CPUtime=7.71 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 17533 0 0 0 758 13 0 0 20 0 20 0 78775620 19521036288 47806 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 47806 5540 1 0 551413 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=10624 CPUtime=6.15 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 7252 0 0 0 609 6 0 0 20 0 20 0 78775621 19521036288 47806 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 47806 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 47806 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=141476 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 47806 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191224 KiB

[startup+12.7002 s]
/proc/loadavg: 2.73 2.40 3.79 5/341 93609
/proc/meminfo: memFree=129192804/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=268860 CPUtime=14.26 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 21337 0 0 0 1411 15 0 0 20 0 20 0 78775620 19521036288 67215 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 67215 5540 1 0 551414 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=141476 CPUtime=12.47 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 7940 0 0 0 1241 6 0 0 20 0 20 0 78775621 19521036288 67215 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 67215 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=265148 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 67215 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 67215 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 268860 KiB

[startup+25.5002 s]
/proc/loadavg: 3.08 2.49 3.80 5/341 93609
/proc/meminfo: memFree=129040496/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=436848 CPUtime=27.19 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 24622 0 0 0 2700 19 0 0 20 0 20 0 78775620 19521036288 109212 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 109212 5540 1 0 551414 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=371304 CPUtime=25.09 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 8938 0 0 0 2503 6 0 0 20 0 20 0 78775621 19521036288 109212 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 109212 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=141476 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 109212 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=191224 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 109212 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 436848 KiB

[startup+51.1059 s]
/proc/loadavg: 3.39 2.61 3.81 6/342 93611
/proc/meminfo: memFree=128454524/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=668396 CPUtime=53 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 25732 0 0 0 5276 24 0 0 20 0 20 0 78775620 19521036288 167099 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 167099 5540 1 0 551414 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=0 CPUtime=50.43 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 9082 0 0 0 5037 6 0 0 20 0 20 0 78775621 19521036288 167099 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=371304 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 167099 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=14156 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.44 4.22 4.13 5/341 93788
/proc/meminfo: memFree=119634044/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3292.58 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 101635 0 0 0 329127 131 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=2905756 CPUtime=3264.22 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 37303 0 0 0 326394 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=4715717008376360606 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=2905628 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 905 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3292.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/341 93790
/proc/meminfo: memFree=119482260/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3352.54 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 102166 0 0 0 335122 132 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=14156 CPUtime=3323.96 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 37491 0 0 0 332368 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=4916 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3352.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/339 93792
/proc/meminfo: memFree=119230916/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3413.04 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 103177 0 0 0 341171 133 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=14336 CPUtime=3383.71 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 37700 0 0 0 338343 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3413.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/338 93794
/proc/meminfo: memFree=119230048/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3472.92 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 103867 0 0 0 347158 134 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=14336 CPUtime=3443.57 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 38242 0 0 0 344329 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 1079 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=4715717008376360606 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3472.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/339 93797
/proc/meminfo: memFree=119226104/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3532.84 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 104661 0 0 0 353149 135 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3503.37 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 38712 0 0 0 350309 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3532.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/339 93799
/proc/meminfo: memFree=119226040/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3592.73 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 104815 0 0 0 359137 136 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3563.23 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 38861 0 0 0 356295 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3592.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.6 s]
/proc/loadavg: 4.23 4.16 4.12 5/339 93799
/proc/meminfo: memFree=119226040/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19063512 memory=2906780 CPUtime=3600.01 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 104835 0 0 0 359865 136 0 0 20 0 20 0 78775620 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4765878 726695 5572 1 0 738433 0
[pid=93407/tid=93409] ppid=93404 vsize=19063512 memory=-6000919489970334054 CPUtime=3570.52 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 38881 0 0 0 357024 28 0 0 20 0 20 0 78775621 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775623 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 78775624 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93476] ppid=93404 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/93407/task/93476/stat : 93476 (Timer-0) S 93404 93407 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775658 19521036288 726695 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2906780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.87 s, system=1.38007 s

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

[startup+3589.7 s]
/proc/loadavg: 4.23 4.16 4.12 5/339 93799
/proc/meminfo: memFree=119226040/131249996 swapFree=33000896/33010684
[pid=93407] ppid=93404 vsize=19263204 memory=2907676 CPUtime=3600.21 cores=4,6
/proc/93407/stat : 93407 (java) S 93404 93407 89339 0 -1 4194304 107110 0 0 0 359885 136 0 0 20 0 21 0 78775620 19725520896 726919 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
/proc/93407/statm: 4815801 726919 5572 1 0 739411 0
[pid=93407/tid=93409] ppid=93404 vsize=19263204 memory=2906780 CPUtime=3570.62 cores=4,6
/proc/93407/task/93409/stat : 93409 (java) R 93404 93407 89339 0 -1 4194368 38995 0 0 0 357034 28 0 0 20 0 21 0 78775621 19725520896 726919 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93418] ppid=93404 vsize=19263204 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93418/stat : 93418 (Finalizer) S 93404 93407 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78775623 19725520896 726919 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
[pid=93407/tid=93426] ppid=93404 vsize=19263204 memory=2906780 CPUtime=0 cores=4,6
/proc/93407/task/93426/stat : 93426 (Common-Cleaner) S 93404 93407 89339 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 21 0 78775624 19725520896 726919 18446744073709551615 94502005604352 94502005608048 140734815578960 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502005615864 94502005616656 94502027980800 140734815586687 140734815586788 140734815586788 140734815592392 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2907676 KiB

Child status: 143

Real time (s): 3589.72
CPU time (s): 3600.25
CPU user time (s): 3598.87
CPU system time (s): 1.38007
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2907676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.38007
maximum resident set size= 2907804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109346
involuntary context switches= 4398


# summary of solver processes directly reported to runsolver:
#   pid: 93407
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3598.87
#   total CPU system time (s): 1.38007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77744 second user time and 16.9947 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 14:09:38
IDJOB=4526288
IDBENCH=144029
IDSOLVER=3380
FILE ID=nodeC023/4526288-1751630978
RUNJOBID= nodeC023-1751630972-92820
SLURM_JOB_ID= 9598950
Free space on /tmp= 431864 MiB

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

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

MD5SUM BENCH= 2452411e7d53b4184f08359a7309571d
RANDOM SEED=37185093

nodeC023 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	: 0xb00002a
cpu MHz		: 3599.806
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.884
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.901
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.955
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.914
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.124
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129693348 kB
MemAvailable:   129474912 kB
Buffers:              16 kB
Cached:           524068 kB
SwapCached:         2904 kB
Active:           443936 kB
Inactive:         380560 kB
Active(anon):     259584 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   327196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6740 kB
Writeback:             4 kB
AnonPages:        300700 kB
Mapped:           118176 kB
Shmem:             12532 kB
KReclaimable:     218508 kB
Slab:             310400 kB
SReclaimable:     218508 kB
SUnreclaim:        91892 kB
KernelStack:        4836 kB
PageTables:         3908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4796944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151064 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-04 15:09:27