Trace number 4526306

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.3 3605.61

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
spot5/normalized-spot5-1502_wcsp.wbo
MD5SUM8b182fe3da3950dcef4cc9c2810fceee
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark28042
Best CPU time to get the best result obtained on this benchmark0.031669
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables622
Total number of constraints743
Number of soft constraints534
Number of constraints which are clauses534
Number of constraints which are cardinality constraints (but not clauses)209
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 89201
Min constraint cost 1
Max constraint cost 89201
Sum of constraints costs 29079525
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

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.09	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.13/0.14	c Pseudo Boolean Optimization by upper bound
0.13/0.14	c --- Begin Solver configuration ---
0.13/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.14	c Learn all clauses as in MiniSAT
0.13/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	c Expensive reason simplification
0.13/0.14	c Glucose 2.1 dynamic restart strategy
0.13/0.14	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.13/0.14	c timeout=2147483s
0.13/0.14	c DB Simplification allowed=false
0.13/0.14	c Listener: none
0.13/0.14	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4526306-1751630979.wbo
0.13/0.14	c reading problem ... 
0.13/0.19	c ... done. Wall clock time 0.05s.
0.13/0.19	c declared #vars     622
0.13/0.19	c internal #vars     1156
0.13/0.19	c #constraints  953
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 423
0.13/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.13/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 427
0.13/0.19	c 953 constraints processed.
0.13/0.20	c objective function length is 534 literals
0.31/0.21	c SATISFIABLE
0.31/0.21	c OPTIMIZING...
0.31/0.21	c Got one! Elapsed wall clock time (in seconds):0.078
0.31/0.21	o 28042
1.08/0.69	c cleaning 2503 clauses out of 5006 with flag 10004/5006
1.78/1.01	c cleaning 4252 clauses out of 8503 with flag 22004/11006
2.11/1.30	c cleaning 5626 clauses out of 11251 with flag 36004/18006
2.42/1.64	c cleaning 6813 clauses out of 13625 with flag 52004/26006
2.84/2.03	c cleaning 7906 clauses out of 15812 with flag 70004/35006
3.23/2.45	c cleaning 8953 clauses out of 17905 with flag 90935/45005
3.91/3.03	c cleaning 9976 clauses out of 19952 with flag 113808/56005
4.60/3.78	c cleaning 10988 clauses out of 21976 with flag 137808/68005
5.65/4.70	c cleaning 11991 clauses out of 23988 with flag 163808/81005
6.54/5.61	c cleaning 12999 clauses out of 25998 with flag 191810/95006
7.51/6.59	c cleaning 13996 clauses out of 27999 with flag 221974/110006
8.71/7.76	c cleaning 15000 clauses out of 30003 with flag 254418/126006
9.98/8.94	c cleaning 15998 clauses out of 32003 with flag 288419/143006
11.18/10.17	c cleaning 17002 clauses out of 34004 with flag 324418/161005
12.58/11.59	c cleaning 18002 clauses out of 36003 with flag 362420/180006
14.18/13.10	c cleaning 18998 clauses out of 38000 with flag 402418/200005
15.78/14.74	c cleaning 19999 clauses out of 40002 with flag 444419/221005
17.58/16.58	c cleaning 21000 clauses out of 42003 with flag 488420/243005
19.27/18.26	c cleaning 22001 clauses out of 44003 with flag 534425/266005
21.07/20.01	c cleaning 22998 clauses out of 46002 with flag 582428/290005
23.26/22.22	c cleaning 23996 clauses out of 48004 with flag 632431/315005
25.57/24.52	c cleaning 25000 clauses out of 50008 with flag 684434/341005
28.06/27.00	c cleaning 26000 clauses out of 52008 with flag 738438/368005
30.75/29.72	c cleaning 27005 clauses out of 54009 with flag 794441/396006
33.55/32.50	c cleaning 27999 clauses out of 56004 with flag 852442/425006
36.54/35.59	c cleaning 28999 clauses out of 58005 with flag 912442/455006
39.93/38.90	c cleaning 29999 clauses out of 60006 with flag 974442/486006
42.63/41.66	c cleaning 31000 clauses out of 62007 with flag 1038444/518006
45.63/44.67	c cleaning 32000 clauses out of 64006 with flag 1104445/551005
48.72/47.70	c cleaning 33003 clauses out of 66006 with flag 1172447/585005
52.51/51.52	c cleaning 33998 clauses out of 68004 with flag 1242452/620006
56.20/55.22	c cleaning 34999 clauses out of 70005 with flag 1314452/656005
60.39/59.46	c cleaning 36002 clauses out of 72007 with flag 1388455/693006
64.90/63.94	c cleaning 37001 clauses out of 74005 with flag 1464455/731006
68.69/67.75	c cleaning 38002 clauses out of 76004 with flag 1542455/770006
73.08/72.17	c cleaning 38997 clauses out of 78002 with flag 1622457/810006
78.56/77.60	c cleaning 40000 clauses out of 80006 with flag 1704459/851007
84.28/83.34	c cleaning 40997 clauses out of 82004 with flag 1788455/893005
89.57/88.67	c cleaning 42002 clauses out of 84008 with flag 1874460/936006
95.16/94.21	c cleaning 43003 clauses out of 86006 with flag 1962462/980006
100.84/99.94	c cleaning 43997 clauses out of 88003 with flag 2052464/1025006
106.17/105.29	c cleaning 45000 clauses out of 90006 with flag 2144464/1071006
111.75/110.88	c cleaning 45999 clauses out of 92005 with flag 2238464/1118005
117.94/117.10	c cleaning 46996 clauses out of 94006 with flag 2334464/1166005
125.02/124.11	c cleaning 48002 clauses out of 96011 with flag 2432466/1215006
131.62/130.73	c cleaning 49003 clauses out of 98008 with flag 2532464/1265005
137.30/136.42	c cleaning 49997 clauses out of 100005 with flag 2634464/1316005
143.80/142.95	c cleaning 51001 clauses out of 102008 with flag 2738467/1368005
150.50/149.68	c cleaning 51997 clauses out of 104007 with flag 2844468/1421005
157.39/156.51	c cleaning 53000 clauses out of 106012 with flag 2952473/1475007
164.47/163.66	c cleaning 54006 clauses out of 108011 with flag 3062473/1530006
171.86/171.09	c cleaning 55000 clauses out of 110004 with flag 3174473/1586005
179.45/178.68	c cleaning 56003 clauses out of 112005 with flag 3288475/1643006
187.43/186.60	c cleaning 56998 clauses out of 114002 with flag 3404477/1701006
196.02/195.28	c cleaning 58002 clauses out of 116004 with flag 3522477/1760006
204.92/204.17	c cleaning 59000 clauses out of 118002 with flag 3642477/1820006
214.79/214.03	c cleaning 59999 clauses out of 120001 with flag 3764475/1881005
223.87/223.14	c cleaning 61001 clauses out of 122002 with flag 3888475/1943005
234.36/233.68	c cleaning 62001 clauses out of 124002 with flag 4014477/2006006
242.25/241.41	c cleaning 62997 clauses out of 126001 with flag 4144124/2070006
245.95/245.06	c cleaning 63997 clauses out of 128003 with flag 4280436/2135005
249.04/248.17	c cleaning 65003 clauses out of 130007 with flag 4416926/2201006
252.64/251.78	c cleaning 66001 clauses out of 132003 with flag 4552903/2268005
257.25/256.32	c cleaning 66998 clauses out of 134002 with flag 4702746/2336005
260.74/259.89	c cleaning 67997 clauses out of 136004 with flag 4851729/2405005
267.83/266.96	c cleaning 69002 clauses out of 138007 with flag 5015186/2475005
272.61/271.76	c cleaning 69997 clauses out of 140005 with flag 5220158/2546005
278.05/277.11	c cleaning 71002 clauses out of 142009 with flag 5435965/2618006
283.43/282.56	c cleaning 72000 clauses out of 144007 with flag 5654935/2691006
289.61/288.77	c cleaning 73004 clauses out of 146007 with flag 5875667/2765006
295.51/294.61	c cleaning 73994 clauses out of 148002 with flag 6100011/2840005
301.69/300.86	c cleaning 75001 clauses out of 150009 with flag 6327371/2916006
308.39/307.56	c cleaning 75998 clauses out of 152007 with flag 6556693/2993005
315.88/315.08	c cleaning 77001 clauses out of 154010 with flag 6789406/3071006
323.25/322.46	c cleaning 78001 clauses out of 156009 with flag 7025513/3150006
330.34/329.51	c cleaning 79001 clauses out of 158008 with flag 7264908/3230006
337.32/336.52	c cleaning 79998 clauses out of 160007 with flag 7507510/3311006
345.12/344.39	c cleaning 81002 clauses out of 162008 with flag 7753066/3393005
353.40/352.69	c cleaning 81997 clauses out of 164006 with flag 8001869/3476005
362.07/361.37	c cleaning 83003 clauses out of 166010 with flag 8253040/3560006
370.77/370.03	c cleaning 83999 clauses out of 168007 with flag 8507336/3645006
380.94/380.24	c cleaning 84999 clauses out of 170008 with flag 8764899/3731006
390.02/389.38	c cleaning 85997 clauses out of 172009 with flag 9025745/3818006
400.29/399.60	c cleaning 87002 clauses out of 174012 with flag 9289676/3906006
408.68/408.03	c cleaning 87998 clauses out of 176009 with flag 9556598/3995005
417.45/416.86	c cleaning 89001 clauses out of 178011 with flag 9826598/4085005
426.84/426.25	c cleaning 90001 clauses out of 180011 with flag 10099549/4176006
437.49/436.89	c cleaning 91001 clauses out of 182010 with flag 10375298/4268006
448.46/447.82	c cleaning 92002 clauses out of 184008 with flag 10654104/4361005
459.04/458.46	c cleaning 92995 clauses out of 186006 with flag 10934781/4455005
469.72/469.10	c cleaning 94004 clauses out of 188012 with flag 11219198/4550006
481.20/480.67	c cleaning 94997 clauses out of 190007 with flag 11506598/4646005
493.25/492.64	c cleaning 96000 clauses out of 192010 with flag 11796244/4743005
504.72/504.14	c cleaning 97001 clauses out of 194010 with flag 12089159/4841005
518.09/517.51	c cleaning 98002 clauses out of 196010 with flag 12385070/4940006
531.46/530.90	c cleaning 99000 clauses out of 198007 with flag 12683079/5040005
544.83/544.30	c cleaning 99999 clauses out of 200008 with flag 12947513/5141006
559.10/558.62	c cleaning 100999 clauses out of 202009 with flag 13151514/5243006
572.91/572.40	c cleaning 102001 clauses out of 204009 with flag 13357512/5346005
587.27/586.89	c cleaning 103001 clauses out of 206008 with flag 13565512/5450005
600.24/599.82	c cleaning 103998 clauses out of 208007 with flag 13775512/5555005
612.12/611.71	c cleaning 104999 clauses out of 210010 with flag 13987514/5661006
624.58/624.25	c cleaning 106000 clauses out of 212010 with flag 14201512/5768005
638.04/637.71	c cleaning 107002 clauses out of 214010 with flag 14417512/5876005
653.01/652.72	c cleaning 107997 clauses out of 216008 with flag 14635512/5985005
671.33/671.07	c cleaning 109002 clauses out of 218012 with flag 14855514/6095006
689.78/689.55	c cleaning 110002 clauses out of 220009 with flag 15077512/6206005
709.24/709.03	c cleaning 111000 clauses out of 222007 with flag 15301512/6318005
728.98/728.83	c cleaning 112001 clauses out of 224008 with flag 15527514/6431006
750.33/750.20	c cleaning 112999 clauses out of 226006 with flag 15755512/6545005
771.37/771.36	c cleaning 113998 clauses out of 228007 with flag 15985512/6660005
793.81/793.86	c cleaning 115000 clauses out of 230009 with flag 16217512/6776005
813.77/813.88	c cleaning 116002 clauses out of 232009 with flag 16452547/6893005
832.12/832.27	c cleaning 116997 clauses out of 234007 with flag 16689586/7011005
853.65/853.79	c cleaning 117999 clauses out of 236010 with flag 16927625/7130005
876.69/876.80	c cleaning 119003 clauses out of 238011 with flag 17168381/7250005
898.54/898.73	c cleaning 119999 clauses out of 240009 with flag 17410690/7371006
921.08/921.35	c cleaning 120999 clauses out of 242009 with flag 17654688/7493005
943.52/943.89	c cleaning 122000 clauses out of 244010 with flag 17900688/7616005
965.67/966.06	c cleaning 123003 clauses out of 246010 with flag 18148688/7740005
985.62/986.07	c cleaning 124003 clauses out of 248008 with flag 18398690/7865006
1006.86/1007.31	c cleaning 124996 clauses out of 250004 with flag 18653309/7991005
1028.00/1028.53	c cleaning 125999 clauses out of 252008 with flag 18961295/8118005
1048.56/1049.18	c cleaning 127001 clauses out of 254010 with flag 19279104/8246006
1069.80/1070.48	c cleaning 128000 clauses out of 256008 with flag 19621812/8375005
1092.25/1092.99	c cleaning 129002 clauses out of 258008 with flag 19927477/8505005
1117.59/1118.34	c cleaning 130002 clauses out of 260006 with flag 20247108/8636005
1133.44/1134.23	c cleaning 130998 clauses out of 262005 with flag 20540043/8768006
1141.72/1142.58	c cleaning 131999 clauses out of 264007 with flag 20852323/8901006
1159.28/1160.17	c cleaning 132995 clauses out of 266007 with flag 21204913/9035005
1174.15/1175.09	c cleaning 134001 clauses out of 268012 with flag 21582340/9170005
1191.42/1192.13	c cleaning 135000 clauses out of 270011 with flag 21956017/9306005
1209.47/1210.24	c cleaning 136000 clauses out of 272011 with flag 22337723/9443005
1227.12/1227.93	c cleaning 137004 clauses out of 274011 with flag 22686299/9581005
1243.48/1244.35	c cleaning 137997 clauses out of 276007 with flag 23032266/9720005
1260.63/1261.58	c cleaning 138998 clauses out of 278010 with flag 23386768/9860005
1280.98/1281.98	c cleaning 140001 clauses out of 280012 with flag 23742045/10001005
1301.72/1302.66	c cleaning 141004 clauses out of 282012 with flag 24091295/10143006
1323.77/1324.75	c cleaning 142002 clauses out of 284008 with flag 24437545/10286006
1346.62/1347.67	c cleaning 142999 clauses out of 286005 with flag 24807505/10430005
1368.76/1369.80	c cleaning 143997 clauses out of 288006 with flag 25182385/10575005
1386.33/1387.41	c cleaning 145005 clauses out of 290009 with flag 25532471/10721005
1409.38/1410.59	c cleaning 146001 clauses out of 292004 with flag 25917883/10868005
1428.53/1429.73	c cleaning 146996 clauses out of 294003 with flag 26331605/11016005
1451.58/1452.81	c cleaning 147997 clauses out of 296008 with flag 26751894/11165006
1475.13/1476.46	c cleaning 149003 clauses out of 298010 with flag 27166219/11315005
1494.99/1496.07	c cleaning 149997 clauses out of 300007 with flag 27527392/11466005
1518.33/1519.41	c cleaning 151000 clauses out of 302010 with flag 27890370/11618005
1540.78/1541.98	c cleaning 152001 clauses out of 304010 with flag 28250995/11771005
1564.43/1565.62	c cleaning 152997 clauses out of 306010 with flag 28613469/11925006
1588.37/1589.64	c cleaning 154005 clauses out of 308013 with flag 28980531/12080006
1613.02/1614.36	c cleaning 155002 clauses out of 310008 with flag 29346531/12236006
1636.97/1638.30	c cleaning 155995 clauses out of 312005 with flag 29716947/12393005
1664.01/1665.42	c cleaning 157002 clauses out of 314010 with flag 30098682/12551005
1693.30/1694.76	c cleaning 157998 clauses out of 316009 with flag 30483048/12710006
1720.55/1722.07	c cleaning 159001 clauses out of 318011 with flag 30869677/12870006
1750.27/1751.85	c cleaning 160000 clauses out of 320009 with flag 31259041/13031005
1781.89/1783.58	c cleaning 160996 clauses out of 322009 with flag 31650139/13193005
1812.32/1814.03	c cleaning 162000 clauses out of 324014 with flag 32045187/13356006
1845.52/1847.35	c cleaning 163001 clauses out of 326014 with flag 32443650/13520006
1879.03/1880.92	c cleaning 164003 clauses out of 328012 with flag 32839907/13685005
1912.16/1914.18	c cleaning 164997 clauses out of 330010 with flag 33241161/13851006
1947.16/1949.20	c cleaning 166000 clauses out of 332013 with flag 33644115/14018006
1986.28/1988.30	c cleaning 167003 clauses out of 334012 with flag 34047448/14186005
2017.83/2019.81	c cleaning 167997 clauses out of 336010 with flag 34468399/14355006
2041.59/2043.66	c cleaning 169000 clauses out of 338012 with flag 34943855/14525005
2051.86/2053.94	c cleaning 170001 clauses out of 340012 with flag 35289286/14696005
2062.73/2064.82	c cleaning 171004 clauses out of 342012 with flag 35647213/14868006
2083.39/2085.59	c cleaning 172004 clauses out of 344007 with flag 36063650/15041005
2112.84/2115.03	c cleaning 172998 clauses out of 346003 with flag 36494042/15215005
2138.39/2140.58	c cleaning 173995 clauses out of 348005 with flag 36930797/15390005
2158.54/2160.72	c cleaning 174997 clauses out of 350010 with flag 37445897/15566005
2185.88/2188.16	c cleaning 176004 clauses out of 352013 with flag 37921782/15743005
2208.73/2211.08	c cleaning 177004 clauses out of 354010 with flag 38455618/15921006
2230.37/2232.76	c cleaning 178000 clauses out of 356006 with flag 38994877/16100006
2252.71/2255.15	c cleaning 179003 clauses out of 358006 with flag 39534752/16280006
2276.34/2278.81	c cleaning 179999 clauses out of 360003 with flag 40078109/16461006
2300.09/2302.69	c cleaning 180994 clauses out of 362003 with flag 40624783/16643005
2325.81/2328.38	c cleaning 182002 clauses out of 364010 with flag 41174439/16826006
2348.25/2350.89	c cleaning 182997 clauses out of 366007 with flag 41726232/17010005
2373.19/2375.82	c cleaning 184004 clauses out of 368011 with flag 42281235/17195006
2398.62/2401.40	c cleaning 184998 clauses out of 370007 with flag 42840210/17381006
2424.26/2427.10	c cleaning 185995 clauses out of 372008 with flag 43401189/17568005
2452.48/2455.33	c cleaning 187004 clauses out of 374013 with flag 43965273/17756005
2479.91/2482.80	c cleaning 188000 clauses out of 376009 with flag 44531995/17945005
2507.64/2510.64	c cleaning 189000 clauses out of 378009 with flag 45101878/18135005
2535.18/2538.25	c cleaning 190000 clauses out of 380010 with flag 45539378/18326006
2577.57/2580.64	c cleaning 191005 clauses out of 382009 with flag 45923376/18518005
2610.50/2613.68	c cleaning 191999 clauses out of 384004 with flag 46313557/18711005
2654.90/2658.10	c cleaning 192998 clauses out of 386005 with flag 46776096/18905005
2705.47/2708.80	c cleaning 193994 clauses out of 388007 with flag 47259777/19100005
2764.71/2768.26	c cleaning 195000 clauses out of 390013 with flag 47749789/19296005
2817.87/2821.58	c cleaning 196000 clauses out of 392014 with flag 48244253/19493006
2874.33/2878.16	c cleaning 197003 clauses out of 394014 with flag 48744112/19691006
2930.19/2934.16	c cleaning 198003 clauses out of 396011 with flag 49245113/19890006
2988.84/2992.92	c cleaning 199000 clauses out of 398008 with flag 49749446/20090006
3042.95/3047.09	c cleaning 199999 clauses out of 400007 with flag 50249356/20291005
3097.02/3101.22	c cleaning 201000 clauses out of 402009 with flag 50743845/20493006
3155.79/3160.10	c cleaning 202001 clauses out of 404009 with flag 51245147/20696006
3210.14/3214.69	c cleaning 203001 clauses out of 406007 with flag 51743922/20900005
3271.49/3276.19	c cleaning 203998 clauses out of 408007 with flag 52252312/21105006
3324.26/3329.04	c cleaning 204999 clauses out of 410008 with flag 52755014/21311005
3385.79/3390.71	c cleaning 205998 clauses out of 412010 with flag 53263520/21518006
3446.34/3451.40	c cleaning 207003 clauses out of 414012 with flag 53772594/21726006
3513.47/3518.72	c cleaning 208001 clauses out of 416009 with flag 54292967/21935006
3589.25/3594.66	c cleaning 208999 clauses out of 418007 with flag 54817950/22145005
3600.09/3605.51	c starts		: 4096
3600.09/3605.52	c conflicts		: 22196715
3600.09/3605.52	c decisions		: 30896719
3600.09/3605.52	c propagations		: 3602505471
3600.09/3605.52	c inspects		: 42419153153
3600.09/3605.52	c shortcuts		: 0
3600.09/3605.52	c learnt literals	: 0
3600.09/3605.52	c learnt binary clauses	: 0
3600.09/3605.52	c learnt ternary clauses	: 2
3600.09/3605.52	c learnt constraints	: 22196715
3600.09/3605.52	c ignored constraints	: 0
3600.09/3605.52	c root simplifications	: 0
3600.09/3605.52	c removed literals (reason simplification)	: 250665324
3600.09/3605.52	c reason swapping (by a shorter reason)	: 0
3600.09/3605.52	c Calls to reduceDB	: 206
3600.09/3605.52	c Number of update (reduction) of LBD	: 13931
3600.09/3605.52	c Imported unit clauses	: 0
3600.09/3605.52	c No decision after first conflict	: false
3600.09/3605.52	c number of reductions to clauses (during analyze)	: 0
3600.09/3605.52	c number of learned constraints concerned by reduction	: 0
3600.09/3605.52	c number of learning phase by resolution	: 0
3600.09/3605.52	c number of learning phase by cutting planes	: 0
3600.09/3605.52	c number of rounding to 1 operations	: 0
3600.09/3605.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3605.52	c number of reductions of the coefficients by power 2 	: 0
3600.09/3605.52	c number of right shift for reduction by power 2 	: 0
3600.09/3605.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3605.52	c number of ending skipping 	: 0
3600.09/3605.52	c number of internal skipping 	: 0
3600.09/3605.52	c number of derivation steps 	: 0
3600.09/3605.52	c number of skipped derivation steps 	: 0
3600.09/3605.52	c number of remaining unassigned 	: 0
3600.09/3605.52	c number of remaining assigned 	: 0
3600.09/3605.52	c number of falsified literals weakened from reason	: 0
3600.09/3605.52	c number of falsified literals weakened from conflict	: 0
3600.09/3605.52	c time for arithmetic operations	: 0
3600.09/3605.52	c minimum degree of deleted constraints	: null
3600.09/3605.52	c maximum degree of deleted constraints	: null
3600.09/3605.52	c number of deleted constraints	: 0
3600.09/3605.52	c speed (assignments/second)	: 999219.89433387
3600.09/3605.53	c non guided choices	: 2788
3600.09/3605.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 260718
3600.09/3605.59	s SATISFIABLE
3600.09/3605.59	c Found 1 solution(s)
3600.09/3605.59	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 
3600.09/3605.59	c objective function=28042
3600.09/3605.59	c Total wall clock time (in seconds): 3605.458

Verifier Data 

OK	28042

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=93522, runsolver pid=93519

[startup+0.100059 s]*
/proc/loadavg: 2.19 2.28 3.77 6/337 93540
/proc/meminfo: memFree=129567944/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18930384 memory=57776 CPUtime=0.13 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 6571 0 0 0 11 2 0 0 20 0 18 0 78775724 19384713216 14444 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4732596 14444 5344 1 0 547627 0
[pid=93522/tid=93524] ppid=93519 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 5065 0 0 0 6 1 0 0 20 0 18 0 78775725 19384713216 14444 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78775727 19384713216 14444 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78775728 19384713216 14444 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57776 KiB

[startup+0.207188 s]*
/proc/loadavg: 2.19 2.28 3.77 9/338 93541
/proc/meminfo: memFree=129553388/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18996948 memory=64712 CPUtime=0.31 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 7196 0 0 0 29 2 0 0 20 0 19 0 78775724 19452874752 16178 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4749237 16178 5472 1 0 548304 0
[pid=93522/tid=93524] ppid=93519 vsize=18996948 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 5383 0 0 0 15 1 0 0 20 0 19 0 78775725 19452874752 16178 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18996948 memory=16099 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775727 19452874752 16178 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775728 19452874752 16178 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775744 19452874752 16178 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64712 KiB

[startup+0.305734 s]*
/proc/loadavg: 2.19 2.28 3.77 8/338 93541
/proc/meminfo: memFree=129542236/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18996948 memory=68636 CPUtime=0.5 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 8902 0 0 0 48 2 0 0 20 0 19 0 78775724 19452874752 17159 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4749237 17159 5472 1 0 549234 0
[pid=93522/tid=93524] ppid=93519 vsize=18996948 memory=-6000919468478654822 CPUtime=0.25 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 5406 0 0 0 24 1 0 0 20 0 19 0 78775725 19452874752 17159 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775727 19452874752 17159 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775728 19452874752 17159 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775744 19452874752 17159 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68636 KiB

[startup+0.700216 s]
/proc/loadavg: 2.50 2.34 3.78 7/338 93541
/proc/meminfo: memFree=129527492/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18996948 memory=84380 CPUtime=1.26 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 12348 0 0 0 123 3 0 0 20 0 19 0 78775724 19452874752 21095 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4749237 21095 5504 1 0 551399 0
[pid=93522/tid=93524] ppid=93519 vsize=18996948 memory=14336 CPUtime=0.61 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 5484 0 0 0 60 1 0 0 20 0 19 0 78775725 19452874752 21095 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775727 19452874752 21095 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775728 19452874752 21095 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775744 19452874752 21095 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84380 KiB

[startup+1.50016 s]
/proc/loadavg: 2.50 2.34 3.78 5/316 93551
/proc/meminfo: memFree=129568676/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18996948 memory=93804 CPUtime=2.32 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 13562 0 0 0 228 4 0 0 20 0 19 0 78775724 19452874752 23451 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4749237 23451 5504 1 0 551661 0
[pid=93522/tid=93524] ppid=93519 vsize=18996948 memory=0 CPUtime=1.42 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 5838 0 0 0 140 2 0 0 20 0 19 0 78775725 19452874752 23451 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775727 19452874752 23451 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775728 19452874752 23451 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775744 19452874752 23451 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93804 KiB

[startup+3.10532 s]
/proc/loadavg: 2.50 2.34 3.78 5/339 93607
/proc/meminfo: memFree=129437272/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18996948 memory=112368 CPUtime=4.01 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 16118 0 0 0 396 5 0 0 20 0 19 0 78775724 19452874752 28092 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4749237 28092 5504 1 0 551665 0
[pid=93522/tid=93524] ppid=93519 vsize=18996948 memory=10624 CPUtime=3.01 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 6163 0 0 0 299 2 0 0 20 0 19 0 78775725 19452874752 28092 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18996948 memory=-6000919468478654822 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775727 19452874752 28092 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775728 19452874752 28092 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775744 19452874752 28092 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112368 KiB

[startup+6.30023 s]
/proc/loadavg: 2.62 2.37 3.78 5/339 93607
/proc/meminfo: memFree=129392868/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=18996948 memory=130512 CPUtime=7.29 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 19916 0 0 0 723 6 0 0 20 0 19 0 78775724 19452874752 32628 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4749237 32628 5504 1 0 551667 0
[pid=93522/tid=93524] ppid=93519 vsize=18996948 memory=0 CPUtime=6.2 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 6872 0 0 0 617 3 0 0 20 0 19 0 78775725 19452874752 32628 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78775727 19452874752 32628 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78775728 19452874752 32628 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=18996948 memory=95852 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78775744 19452874752 32628 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130512 KiB

[startup+12.7002 s]
/proc/loadavg: 2.73 2.40 3.79 5/341 93609
/proc/meminfo: memFree=129192048/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=167956 CPUtime=13.78 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 22609 0 0 0 1372 6 0 0 20 0 20 0 78775724 19521036288 41989 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 41989 5536 1 0 551956 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=95852 CPUtime=12.57 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 7544 0 0 0 1254 3 0 0 20 0 20 0 78775725 19521036288 41989 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 41989 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=-6000919468478654822 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 41989 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=7234584545907990882 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 41989 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167956 KiB

[startup+25.5002 s]
/proc/loadavg: 3.08 2.49 3.80 5/341 93609
/proc/meminfo: memFree=128966768/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=174136 CPUtime=26.56 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 25072 0 0 0 2649 7 0 0 20 0 20 0 78775724 19521036288 43534 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 43534 5536 1 0 551956 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=174136 CPUtime=25.32 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 8436 0 0 0 2529 3 0 0 20 0 20 0 78775725 19521036288 43534 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=-6000919489836050790 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 43534 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=85404 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 43534 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=167956 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 43534 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 26.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174136 KiB

[startup+51.1057 s]
/proc/loadavg: 3.44 2.63 3.81 5/342 93611
/proc/meminfo: memFree=128384892/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=213376 CPUtime=52.12 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 25310 0 0 0 5204 8 0 0 20 0 20 0 78775724 19521036288 53344 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 53344 5536 1 0 551956 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=167956 CPUtime=50.8 cores=0,2

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

/proc/meminfo: memFree=119634044/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3277.67 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 78892 0 0 0 327646 121 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=3200 CPUtime=3271.62 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 31332 0 0 0 327124 38 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 1994 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3277.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/341 93790
/proc/meminfo: memFree=119482260/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3337.51 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 79616 0 0 0 333628 123 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=3200 CPUtime=3331.45 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 31906 0 0 0 333107 38 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2132 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3337.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/339 93792
/proc/meminfo: memFree=119230916/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3397.36 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 80392 0 0 0 339612 124 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=3200 CPUtime=3391.28 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 32415 0 0 0 339089 39 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2271 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=-6000919468478654822 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3397.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/338 93794
/proc/meminfo: memFree=119230056/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3457.21 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 80493 0 0 0 345595 126 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=3200 CPUtime=3451.11 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 32511 0 0 0 345072 39 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=4715717008376360606 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2271 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=-6000919468478654822 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3457.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/339 93797
/proc/meminfo: memFree=119226104/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3517.06 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 81147 0 0 0 351579 127 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=3200 CPUtime=3510.94 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 33022 0 0 0 351055 39 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2271 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3517.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/339 93799
/proc/meminfo: memFree=119226040/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3576.98 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 82631 0 0 0 357569 129 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3570.7 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 33182 0 0 0 357030 40 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2362 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3576.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.5 s]
/proc/loadavg: 4.47 4.22 4.14 7/338 94195
/proc/meminfo: memFree=127351100/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3600.09 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 83190 0 0 0 359876 133 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3593.8 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 33610 0 0 0 359337 43 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2362 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.35473 s

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

[startup+3605.5 s]
/proc/loadavg: 4.47 4.22 4.14 7/338 94195
/proc/meminfo: memFree=127351100/131249996 swapFree=33000896/33010684
[pid=93522] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3600.09 cores=0,2
/proc/93522/stat : 93522 (java) S 93519 93522 89339 0 -1 4194304 83190 0 0 0 359876 133 0 0 20 0 20 0 78775724 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
/proc/93522/statm: 4765878 549787 5536 1 0 564535 0
[pid=93522/tid=93524] ppid=93519 vsize=19063512 memory=2199148 CPUtime=3593.8 cores=0,2
/proc/93522/task/93524/stat : 93524 (java) R 93519 93522 89339 0 -1 4194368 33610 0 0 0 359337 43 0 0 20 0 20 0 78775725 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93533] ppid=93519 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/93522/task/93533/stat : 93533 (Finalizer) S 93519 93522 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78775727 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93540] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93540/stat : 93540 (Common-Cleaner) S 93519 93522 89339 0 -1 4194368 2362 0 0 0 0 0 0 0 20 0 20 0 78775728 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
[pid=93522/tid=93541] ppid=93519 vsize=19063512 memory=2199148 CPUtime=0 cores=0,2
/proc/93522/task/93541/stat : 93541 (Timer-0) S 93519 93522 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78775744 19521036288 549787 18446744073709551615 94632713031680 94632713035376 140727756288432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94632713043192 94632713043984 94632740163584 140727756290431 140727756290532 140727756290532 140727756296136 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199148 KiB

Child status: 143

Real time (s): 3605.61
CPU time (s): 3600.3
CPU user time (s): 3598.95
CPU system time (s): 1.35473
CPU usage (%): 99.8528
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2199148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.35473
maximum resident set size= 2200300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104025
involuntary context switches= 9223


# summary of solver processes directly reported to runsolver:
#   pid: 93522
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.35473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91737 second user time and 15.8353 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 14:09:39
IDJOB=4526306
IDBENCH=144034
IDSOLVER=3380
FILE ID=nodeC023/4526306-1751630979
RUNJOBID= nodeC023-1751630972-92819
SLURM_JOB_ID= 9598950
Free space on /tmp= 431868 MiB

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

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

MD5SUM BENCH= 8b182fe3da3950dcef4cc9c2810fceee
RANDOM SEED=930254155

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.953
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.888
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.887
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.890
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		: 3599.884
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.884
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.890
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.574
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:        129595512 kB
MemAvailable:   129375400 kB
Buffers:              16 kB
Cached:           522372 kB
SwapCached:         2904 kB
Active:           551724 kB
Inactive:         378868 kB
Active(anon):     367372 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   325504 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4988 kB
Writeback:             0 kB
AnonPages:        408408 kB
Mapped:           117848 kB
Shmem:             12532 kB
KReclaimable:     218540 kB
Slab:             309936 kB
SReclaimable:     218540 kB
SUnreclaim:        91396 kB
KernelStack:        5184 kB
PageTables:         4360 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7030352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:44