Trace number 4432158

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.18 3597.4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
MD5SUM536cfe435eeefcaf3068230629f950df
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1398254
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33244
Total number of constraints456
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints456
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 326417514192
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 77387257610240
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 2427818341201528
Number of bits of the biggest sum of numbers52
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432158-1721070454.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.52/0.37	c ... done. Wall clock time 0.244s.
0.52/0.38	c declared #vars     33244
0.52/0.38	c #constraints  617
0.52/0.38	c constraints type 
0.52/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 612
0.52/0.38	c org.sat4j.specs.Constr$1 => 5
0.52/0.38	c 617 constraints processed.
0.52/0.38	c objective function length is 210 literals
110.89/109.85	c cleaning 2496 clauses out of 5002 with flag 16571/5002
320.13/319.01	c cleaning 4243 clauses out of 8505 with flag 41792/11001
540.76/539.95	c cleaning 5622 clauses out of 11261 with flag 70390/18000
663.86/662.86	c cleaning 6804 clauses out of 13639 with flag 94853/26000
665.45/664.46	c cleaning 7917 clauses out of 15840 with flag 112863/35005
667.16/666.19	c cleaning 8956 clauses out of 17918 with flag 132853/45000
669.15/668.17	c cleaning 9975 clauses out of 19962 with flag 154853/56000
671.62/670.40	c cleaning 10991 clauses out of 21988 with flag 178855/68001
673.91/672.78	c cleaning 11994 clauses out of 23997 with flag 204855/81001
676.51/675.31	c cleaning 12996 clauses out of 26004 with flag 232857/95002
679.21/678.03	c cleaning 13996 clauses out of 28008 with flag 262857/110002
682.28/681.04	c cleaning 15001 clauses out of 30011 with flag 294855/126001
685.43/684.18	c cleaning 15998 clauses out of 32009 with flag 328853/143000
688.62/687.38	c cleaning 17002 clauses out of 34013 with flag 364857/161002
692.50/691.12	c cleaning 18000 clauses out of 36010 with flag 402855/180001
696.17/694.85	c cleaning 18996 clauses out of 38010 with flag 442855/200001
700.03/698.78	c cleaning 20001 clauses out of 40015 with flag 484857/221002
704.38/703.01	c cleaning 21000 clauses out of 42013 with flag 528855/243001
708.64/707.36	c cleaning 22002 clauses out of 44013 with flag 574855/266001
713.10/711.86	c cleaning 23001 clauses out of 46011 with flag 622855/290001
718.42/716.76	c cleaning 24001 clauses out of 48009 with flag 672853/315000
723.21/721.55	c cleaning 24999 clauses out of 50010 with flag 724857/341002
728.20/726.53	c cleaning 26002 clauses out of 52012 with flag 778859/368003
731.17/729.49	c cleaning 26997 clauses out of 54007 with flag 834853/396000
733.35/731.66	c cleaning 27999 clauses out of 56012 with flag 892857/425002
735.73/733.91	c cleaning 28998 clauses out of 58012 with flag 952855/455001
738.00/736.29	c cleaning 29996 clauses out of 60014 with flag 1014855/486001
740.58/738.81	c cleaning 30988 clauses out of 62019 with flag 1078857/518002
743.88/742.04	c cleaning 31997 clauses out of 64029 with flag 1150082/551000
746.76/744.96	c cleaning 32998 clauses out of 66032 with flag 1222783/585000
750.06/748.13	c cleaning 34003 clauses out of 68035 with flag 1296743/620001
753.05/751.18	c cleaning 35007 clauses out of 70031 with flag 1371932/656000
755.44/753.55	c cleaning 36005 clauses out of 72025 with flag 1447594/693001
758.12/756.16	c cleaning 37005 clauses out of 74019 with flag 1524837/731000
760.71/758.73	c cleaning 37999 clauses out of 76014 with flag 1604076/770000
763.20/761.21	c cleaning 39003 clauses out of 78017 with flag 1685095/810002
765.70/763.71	c cleaning 39998 clauses out of 80012 with flag 1767981/851000
768.19/766.22	c cleaning 41002 clauses out of 82014 with flag 1852873/893000
770.85/768.88	c cleaning 41998 clauses out of 84012 with flag 1939556/936000
773.35/771.34	c cleaning 43003 clauses out of 86016 with flag 2028204/980002
775.95/773.90	c cleaning 43997 clauses out of 88011 with flag 2118753/1025000
778.94/776.91	c cleaning 44998 clauses out of 90014 with flag 2211453/1071000
782.23/779.95	c cleaning 46002 clauses out of 92016 with flag 2306108/1118000
785.43/783.13	c cleaning 46999 clauses out of 94014 with flag 2402533/1166000
788.91/786.63	c cleaning 48000 clauses out of 96015 with flag 2500907/1215000
792.11/789.80	c cleaning 48994 clauses out of 98016 with flag 2601132/1265001
795.31/793.07	c cleaning 50006 clauses out of 100021 with flag 2703130/1316000
798.44/796.15	c cleaning 50997 clauses out of 102015 with flag 2807130/1368000
801.73/799.44	c cleaning 52001 clauses out of 104020 with flag 2913134/1421002
805.62/803.35	c cleaning 52999 clauses out of 106017 with flag 3021130/1475000
809.21/806.99	c cleaning 54001 clauses out of 108018 with flag 3131130/1530000
812.81/810.59	c cleaning 55000 clauses out of 110017 with flag 3243130/1586000
816.40/814.13	c cleaning 56005 clauses out of 112020 with flag 3357136/1643003
819.90/817.65	c cleaning 56996 clauses out of 114012 with flag 3473130/1701000
823.69/821.40	c cleaning 58003 clauses out of 116019 with flag 3591136/1760003
827.39/825.17	c cleaning 59001 clauses out of 118013 with flag 3711130/1820000
831.38/829.11	c cleaning 59997 clauses out of 120012 with flag 3833130/1881000
835.44/833.12	c cleaning 61001 clauses out of 122017 with flag 3957134/1943002
839.33/837.04	c cleaning 62000 clauses out of 124015 with flag 4083132/2006001
843.51/841.21	c cleaning 62997 clauses out of 126014 with flag 4211130/2070000
847.50/845.29	c cleaning 64001 clauses out of 128019 with flag 4341134/2135002
851.69/849.47	c cleaning 65001 clauses out of 130018 with flag 4473134/2201002
856.19/853.90	c cleaning 65997 clauses out of 132016 with flag 4607132/2268001
860.68/858.41	c cleaning 67002 clauses out of 134018 with flag 4743130/2336000
865.38/863.15	c cleaning 68000 clauses out of 136016 with flag 4881130/2405000
870.39/868.01	c cleaning 69002 clauses out of 138018 with flag 5021134/2475002
874.77/872.48	c cleaning 70003 clauses out of 140016 with flag 5163134/2546002
879.47/877.16	c cleaning 71001 clauses out of 142012 with flag 5307132/2618001
884.56/882.24	c cleaning 71997 clauses out of 144012 with flag 5453134/2691002
889.62/887.27	c cleaning 72998 clauses out of 146015 with flag 5601134/2765002
895.01/892.64	c cleaning 73997 clauses out of 148015 with flag 5751130/2840000
900.40/898.04	c cleaning 75001 clauses out of 150018 with flag 5903130/2916000
905.49/903.18	c cleaning 76005 clauses out of 152019 with flag 6057134/2993002
911.17/908.84	c cleaning 76996 clauses out of 154012 with flag 6213130/3071000
916.76/914.43	c cleaning 78002 clauses out of 156017 with flag 6371132/3150001
922.25/919.95	c cleaning 79000 clauses out of 158014 with flag 6531130/3230000
928.44/926.01	c cleaning 80000 clauses out of 160016 with flag 6693134/3311002
934.02/931.60	c cleaning 81001 clauses out of 162016 with flag 6857134/3393002
939.51/937.19	c cleaning 81995 clauses out of 164013 with flag 7023130/3476000
945.29/942.97	c cleaning 83000 clauses out of 166018 with flag 7191130/3560000
950.98/948.66	c cleaning 84002 clauses out of 168019 with flag 7361132/3645001
957.20/954.71	c cleaning 85001 clauses out of 170016 with flag 7533130/3731000
963.59/961.12	c cleaning 86001 clauses out of 172015 with flag 7707130/3818000
969.87/967.49	c cleaning 87001 clauses out of 174016 with flag 7883134/3906002
975.76/973.39	c cleaning 87995 clauses out of 176014 with flag 8061132/3995001
983.74/981.36	c cleaning 89001 clauses out of 178018 with flag 8241130/4085000
990.94/988.47	c cleaning 90004 clauses out of 180018 with flag 8423132/4176001
998.32/995.81	c cleaning 91000 clauses out of 182013 with flag 8607130/4268000
1005.11/1002.64	c cleaning 91998 clauses out of 184013 with flag 8793130/4361000
1012.68/1009.79	c cleaning 93000 clauses out of 186017 with flag 8981134/4455002
1020.27/1017.33	c cleaning 93999 clauses out of 188016 with flag 9171132/4550001
1027.35/1024.46	c cleaning 95001 clauses out of 190017 with flag 9363132/4646001
1034.84/1031.91	c cleaning 96004 clauses out of 192019 with flag 9557138/4743004
1042.41/1039.42	c cleaning 97000 clauses out of 194012 with flag 9753132/4841001
1050.29/1047.34	c cleaning 98002 clauses out of 196013 with flag 9951134/4940002
1059.08/1056.11	c cleaning 98998 clauses out of 198010 with flag 10151132/5040001
1068.00/1064.92	c cleaning 99995 clauses out of 200011 with flag 10353130/5141000
1076.09/1073.06	c cleaning 101000 clauses out of 202018 with flag 10557134/5243002
1084.88/1081.88	c cleaning 101999 clauses out of 204018 with flag 10763134/5346002
1093.86/1090.84	c cleaning 103005 clauses out of 206019 with flag 10971134/5450002
1102.04/1098.91	c cleaning 103997 clauses out of 208012 with flag 11181130/5555000
1111.42/1108.34	c cleaning 105001 clauses out of 210015 with flag 11393130/5661000
1121.22/1118.15	c cleaning 105994 clauses out of 212014 with flag 11607130/5768000
1129.95/1126.80	c cleaning 106998 clauses out of 214021 with flag 11823132/5876001
1139.44/1136.35	c cleaning 108005 clauses out of 216023 with flag 12041132/5985001
1148.73/1145.62	c cleaning 109003 clauses out of 218020 with flag 12261136/6095003
1157.41/1154.36	c cleaning 109999 clauses out of 220017 with flag 12483136/6206003
1165.75/1162.65	c cleaning 111000 clauses out of 222017 with flag 12707134/6318002
1174.74/1171.66	c cleaning 112001 clauses out of 224015 with flag 12933130/6431000
1184.02/1180.98	c cleaning 112999 clauses out of 226016 with flag 13161134/6545002
1193.00/1189.97	c cleaning 114002 clauses out of 228017 with flag 13391134/6660002
1202.01/1198.92	c cleaning 115004 clauses out of 230017 with flag 13623138/6776004
1212.28/1209.26	c cleaning 115997 clauses out of 232009 with flag 13857130/6893000
1221.76/1218.76	c cleaning 116998 clauses out of 234014 with flag 14093134/7011002
1232.17/1229.18	c cleaning 118000 clauses out of 236014 with flag 14331130/7130000
1241.35/1238.33	c cleaning 118997 clauses out of 238015 with flag 14571132/7250001
1251.44/1248.40	c cleaning 120001 clauses out of 240020 with flag 14813136/7371003
1261.22/1258.26	c cleaning 121001 clauses out of 242019 with flag 15057136/7493003
1276.33/1273.31	c cleaning 121996 clauses out of 244015 with flag 15303130/7616000
1287.92/1284.98	c cleaning 123002 clauses out of 246020 with flag 15551132/7740001
1300.00/1297.10	c cleaning 124002 clauses out of 248020 with flag 15801136/7865003
1312.30/1308.80	c cleaning 124995 clauses out of 250015 with flag 16053130/7991000
1324.09/1320.61	c cleaning 126000 clauses out of 252020 with flag 16307130/8118000
1335.14/1331.67	c cleaning 127003 clauses out of 254021 with flag 16563132/8246001
1345.93/1342.48	c cleaning 128002 clauses out of 256019 with flag 16821134/8375002
1359.10/1355.66	c cleaning 129001 clauses out of 258018 with flag 17081136/8505003
1370.76/1367.26	c cleaning 129997 clauses out of 260014 with flag 17343130/8636000
1381.83/1378.34	c cleaning 131001 clauses out of 262018 with flag 17607132/8768001
1393.80/1390.31	c cleaning 132000 clauses out of 264016 with flag 17873130/8901000
1406.33/1402.87	c cleaning 132998 clauses out of 266016 with flag 18141130/9035000
1417.91/1414.45	c cleaning 134004 clauses out of 268021 with flag 18411136/9170003
1430.28/1426.89	c cleaning 135003 clauses out of 270015 with flag 18683132/9306001
1442.26/1438.86	c cleaning 136001 clauses out of 272011 with flag 18957130/9443000
1457.27/1453.88	c cleaning 136998 clauses out of 274011 with flag 19233132/9581001
1471.95/1468.57	c cleaning 137994 clauses out of 276012 with flag 19511130/9720000
1485.92/1482.59	c cleaning 138997 clauses out of 278018 with flag 19791130/9860000
1498.10/1494.79	c cleaning 140002 clauses out of 280021 with flag 20073130/10001000
1513.67/1510.20	c cleaning 140998 clauses out of 282019 with flag 20357130/10143000
1525.84/1522.48	c cleaning 142002 clauses out of 284022 with flag 20643132/10286001
1539.72/1536.37	c cleaning 143001 clauses out of 286019 with flag 20931130/10430000
1554.30/1550.86	c cleaning 143995 clauses out of 288020 with flag 21221134/10575002
1568.16/1564.87	c cleaning 145005 clauses out of 290023 with flag 21513130/10721000
1580.43/1577.15	c cleaning 146003 clauses out of 292018 with flag 21807130/10868000
1596.83/1593.01	c cleaning 147000 clauses out of 294015 with flag 22103130/11016000
1614.09/1610.33	c cleaning 148001 clauses out of 296016 with flag 22401132/11165001
1627.67/1623.97	c cleaning 149003 clauses out of 298015 with flag 22701132/11315001
1643.71/1640.03	c cleaning 149996 clauses out of 300013 with flag 23003134/11466002
1660.46/1656.92	c cleaning 150998 clauses out of 302017 with flag 23307134/11618002
1676.02/1672.61	c cleaning 151997 clauses out of 304020 with flag 23613136/11771003
1693.86/1690.48	c cleaning 153003 clauses out of 306021 with flag 23921132/11925001
1706.64/1703.28	c cleaning 153998 clauses out of 308017 with flag 24231130/12080000
1720.71/1717.36	c cleaning 155001 clauses out of 310019 with flag 24543130/12236000
1733.81/1730.38	c cleaning 155996 clauses out of 312018 with flag 24857130/12393000
1747.99/1744.54	c cleaning 157004 clauses out of 314024 with flag 25173134/12551002
1761.97/1758.58	c cleaning 158001 clauses out of 316019 with flag 25491132/12710001
1777.14/1773.60	c cleaning 159000 clauses out of 318017 with flag 25811130/12870000
1791.11/1787.68	c cleaning 159997 clauses out of 320017 with flag 26133130/13031000
1806.48/1803.08	c cleaning 160998 clauses out of 322020 with flag 26457130/13193000
1822.54/1819.04	c cleaning 161999 clauses out of 324022 with flag 26783130/13356000
1838.70/1835.27	c cleaning 163004 clauses out of 326023 with flag 27111130/13520000
1855.46/1852.02	c cleaning 164003 clauses out of 328021 with flag 27441134/13685002
1871.79/1868.46	c cleaning 164999 clauses out of 330016 with flag 27773130/13851000
1887.35/1884.18	c cleaning 165994 clauses out of 332017 with flag 28107130/14018000
1902.81/1899.64	c cleaning 167005 clauses out of 334023 with flag 28443130/14186000
1921.84/1918.82	c cleaning 168002 clauses out of 336020 with flag 28781134/14355002
1940.27/1936.71	c cleaning 169000 clauses out of 338018 with flag 29121134/14525002
1957.95/1954.40	c cleaning 169999 clauses out of 340016 with flag 29463130/14696000
1976.04/1972.52	c cleaning 171001 clauses out of 342017 with flag 29807130/14868000
1993.79/1990.35	c cleaning 171997 clauses out of 344017 with flag 30153132/15041001
2008.86/2005.41	c cleaning 173002 clauses out of 346021 with flag 30501134/15215002
2026.12/2022.70	c cleaning 174003 clauses out of 348017 with flag 30851130/15390000
2042.27/2039.06	c cleaning 174998 clauses out of 350014 with flag 31203130/15566000
2060.30/2057.23	c cleaning 176004 clauses out of 352017 with flag 31557132/15743001
2078.90/2075.86	c cleaning 177000 clauses out of 354012 with flag 31913130/15921000
2096.84/2093.97	c cleaning 177997 clauses out of 356012 with flag 32271130/16100000
2114.28/2111.53	c cleaning 178997 clauses out of 358016 with flag 32631132/16280001
2131.65/2128.91	c cleaning 180002 clauses out of 360018 with flag 32993130/16461000
2148.80/2146.24	c cleaning 180999 clauses out of 362017 with flag 33357132/16643001
2166.63/2164.24	c cleaning 182002 clauses out of 364019 with flag 33723134/16826002
2183.46/2181.15	c cleaning 182997 clauses out of 366015 with flag 34091130/17010000
2200.72/2198.48	c cleaning 184000 clauses out of 368018 with flag 34461130/17195000
2218.44/2216.00	c cleaning 185001 clauses out of 370020 with flag 34833134/17381002
2239.09/2236.71	c cleaning 186000 clauses out of 372018 with flag 35207132/17568001
2259.13/2256.36	c cleaning 186995 clauses out of 374017 with flag 35583130/17756000
2278.01/2275.25	c cleaning 188002 clauses out of 376022 with flag 35961130/17945000
2296.59/2293.84	c cleaning 189002 clauses out of 378020 with flag 36341130/18135000
2316.95/2314.20	c cleaning 189997 clauses out of 380018 with flag 36723130/18326000
2334.11/2331.44	c cleaning 191000 clauses out of 382022 with flag 37107132/18518001
2351.69/2349.05	c cleaning 192001 clauses out of 384021 with flag 37493130/18711000
2370.06/2367.47	c cleaning 192999 clauses out of 386021 with flag 37881132/18905001
2388.32/2385.78	c cleaning 194005 clauses out of 388024 with flag 38271136/19100003
2408.00/2405.45	c cleaning 195000 clauses out of 390018 with flag 38663134/19296002
2427.14/2424.76	c cleaning 195996 clauses out of 392016 with flag 39057130/19493000
2446.46/2444.22	c cleaning 197004 clauses out of 394021 with flag 39453132/19691001
2468.04/2465.70	c cleaning 198000 clauses out of 396016 with flag 39851130/19890000
2491.99/2489.70	c cleaning 198996 clauses out of 398016 with flag 40251130/20090000
2513.26/2511.00	c cleaning 200003 clauses out of 400020 with flag 40653130/20291000
2535.44/2533.29	c cleaning 200998 clauses out of 402017 with flag 41057130/20493000
2560.09/2557.91	c cleaning 202001 clauses out of 404019 with flag 41463130/20696000
2583.59/2581.30	c cleaning 203003 clauses out of 406018 with flag 41871130/20900000
2606.14/2603.93	c cleaning 204003 clauses out of 408015 with flag 42281130/21105000
2629.57/2626.73	c cleaning 204997 clauses out of 410012 with flag 42693130/21311000
2659.00/2656.34	c cleaning 206003 clauses out of 412018 with flag 43107136/21518003
2681.64/2679.00	c cleaning 207000 clauses out of 414013 with flag 43523132/21726001
2704.47/2701.60	c cleaning 208002 clauses out of 416014 with flag 43941134/21935002
2729.74/2726.95	c cleaning 208999 clauses out of 418012 with flag 44361134/22145002
2754.46/2751.66	c cleaning 209995 clauses out of 420011 with flag 44783130/22356000
2779.81/2777.05	c cleaning 210998 clauses out of 422016 with flag 45207130/22568000
2799.45/2796.73	c cleaning 212000 clauses out of 424019 with flag 45633132/22781001
2822.03/2819.44	c cleaning 212999 clauses out of 426019 with flag 46061132/22995001
2845.65/2842.40	c cleaning 214001 clauses out of 428019 with flag 46491130/23210000
2868.88/2865.67	c cleaning 214999 clauses out of 430019 with flag 46923132/23426001
2893.74/2890.54	c cleaning 216001 clauses out of 432019 with flag 47357130/23643000
2918.76/2915.60	c cleaning 217005 clauses out of 434019 with flag 47793132/23861001
2943.12/2939.81	c cleaning 218000 clauses out of 436013 with flag 48231130/24080000
2968.87/2965.60	c cleaning 218999 clauses out of 438014 with flag 48671132/24300001
2997.98/2994.75	c cleaning 220001 clauses out of 440014 with flag 49113130/24521000
3031.34/3028.13	c cleaning 220999 clauses out of 442013 with flag 49557130/24743000
3060.58/3057.31	c cleaning 221993 clauses out of 444015 with flag 50003132/24966001
3084.44/3081.12	c cleaning 223003 clauses out of 446022 with flag 50451132/25190001
3115.78/3112.50	c cleaning 223998 clauses out of 448018 with flag 50901130/25415000
3141.96/3138.22	c cleaning 225005 clauses out of 450022 with flag 51353134/25641002
3167.57/3163.80	c cleaning 225997 clauses out of 452015 with flag 51807130/25868000
3192.73/3189.06	c cleaning 227000 clauses out of 454019 with flag 52263132/26096001
3218.71/3215.09	c cleaning 228003 clauses out of 456019 with flag 52721132/26325001
3245.76/3242.10	c cleaning 229001 clauses out of 458016 with flag 53181132/26555001
3274.14/3270.59	c cleaning 230000 clauses out of 460014 with flag 53643130/26786000
3300.28/3296.76	c cleaning 230996 clauses out of 462015 with flag 54107132/27018001
3328.04/3324.53	c cleaning 231994 clauses out of 464018 with flag 54573130/27251000
3353.60/3350.17	c cleaning 233003 clauses out of 466026 with flag 55041134/27485002
3378.35/3374.97	c cleaning 234001 clauses out of 468021 with flag 55511130/27720000
3406.44/3403.07	c cleaning 235002 clauses out of 470020 with flag 55983130/27956000
3433.79/3430.46	c cleaning 236003 clauses out of 472021 with flag 56457136/28193003
3460.24/3457.04	c cleaning 236994 clauses out of 474016 with flag 56933132/28431001
3486.92/3483.96	c cleaning 238002 clauses out of 476023 with flag 57411134/28670002
3516.40/3513.54	c cleaning 238998 clauses out of 478019 with flag 57891130/28910000
3541.48/3538.80	c cleaning 240003 clauses out of 480022 with flag 58373132/29151001
3570.91/3567.96	c cleaning 241002 clauses out of 482021 with flag 58857136/29393003
3599.05/3596.37	c cleaning 241997 clauses out of 484016 with flag 59343130/29636000
3600.04/3597.32	c starts		: 36
3600.04/3597.32	c timeout
3600.04/3597.32	c conflicts		: 29655529
3600.04/3597.32	c decisions		: 29850182
3600.04/3597.32	c propagations		: 503836134
3600.04/3597.32	c inspects		: 11604975043
3600.04/3597.32	c shortcuts		: 0
3600.04/3597.32	c learnt literals	: 0
3600.04/3597.32	c learnt binary clauses	: 3
3600.04/3597.32	c learnt ternary clauses	: 2
3600.04/3597.32	c learnt constraints	: 29655529
3600.04/3597.32	c ignored constraints	: 0
3600.04/3597.32	c root simplifications	: 0
3600.04/3597.32	c removed literals (reason simplification)	: 0
3600.04/3597.32	c reason swapping (by a shorter reason)	: 0
3600.04/3597.32	c Calls to reduceDB	: 239
3600.04/3597.32	c Number of update (reduction) of LBD	: 9990
3600.04/3597.32	c Imported unit clauses	: 0
3600.04/3597.32	c No decision after first conflict	: false
3600.04/3597.32	c number of reductions to clauses (during analyze)	: 0
3600.04/3597.32	c number of learned constraints concerned by reduction	: 0
3600.04/3597.32	c number of learning phase by resolution	: 0
3600.04/3597.32	c number of learning phase by cutting planes	: 0
3600.04/3597.32	c number of rounding to 1 operations	: 0
3600.04/3597.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3597.33	c number of reductions of the coefficients by power 2 	: 0
3600.04/3597.33	c number of right shift for reduction by power 2 	: 0
3600.04/3597.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3597.33	c number of ending skipping 	: 0
3600.04/3597.33	c number of internal skipping 	: 0
3600.04/3597.33	c number of derivation steps 	: 0
3600.04/3597.33	c number of skipped derivation steps 	: 0
3600.04/3597.33	c number of remaining unassigned 	: 0
3600.04/3597.33	c number of remaining assigned 	: 0
3600.04/3597.33	c number of falsified literals weakened from reason	: 0
3600.04/3597.33	c number of falsified literals weakened from conflict	: 0
3600.04/3597.33	c time for arithmetic operations	: 0
3600.04/3597.33	c minimum degree of deleted constraints	: null
3600.04/3597.33	c maximum degree of deleted constraints	: null
3600.04/3597.33	c number of deleted constraints	: 0
3600.04/3597.33	c speed (assignments/second)	: 140074.90717714257
3600.04/3597.33	c non guided choices	: 9558
3600.04/3597.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 261545
3600.04/3597.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 3
3600.04/3597.39	s UNKNOWN
3600.04/3597.39	c Total wall clock time (in seconds): 3597.26

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61791 MiB free)
  memory of node 1: 64473 MiB (63427 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432158-1721070454/watcher-4432158-1721070454 -o /tmp/evaluation-result-4432158-1721070454/solver-4432158-1721070454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815593 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432158-1721070454.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=815651, runsolver pid=815643
Current StackSize limit: 8192 KiB


[startup+0.10102 s]*
/proc/loadavg: 3.79 4.05 4.07 12/323 815723
/proc/meminfo: memFree=128067352/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=18975048 memory=63436 CPUtime=0.13 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 7255 0 0 0 11 2 0 0 20 0 18 0 159208954 19430449152 15859 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4743762 15859 5701 1 0 549334 0
[pid=815651/tid=815656] ppid=815643 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 1078198336 5774 0 0 0 7 1 0 0 20 0 18 0 159208954 19430449152 15859 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=18975048 memory=1623 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159208957 19430449152 15859 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159208957 19430449152 15859 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63436 KiB

[startup+0.207417 s]*
/proc/loadavg: 3.79 4.05 4.07 14/324 815724
/proc/meminfo: memFree=128005828/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=18975048 memory=78076 CPUtime=0.33 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 8122 0 0 0 30 3 0 0 20 0 18 0 159208954 19430449152 19519 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4743762 19519 5834 1 0 549685 0
[pid=815651/tid=815656] ppid=815643 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 5927 0 0 0 16 2 0 0 20 0 18 0 159208954 19430449152 19519 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=18975048 memory=1623 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159208957 19430449152 19519 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159208957 19430449152 19519 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78076 KiB

[startup+0.309416 s]*
/proc/loadavg: 3.79 4.05 4.07 14/324 815724
/proc/meminfo: memFree=127895812/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=18975048 memory=120772 CPUtime=0.52 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 9796 0 0 0 49 3 0 0 20 0 18 0 159208954 19430449152 30193 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4743762 30193 5834 1 0 550643 0
[pid=815651/tid=815656] ppid=815643 vsize=18975048 memory=-8527676289804772028 CPUtime=0.27 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 5947 0 0 0 24 3 0 0 20 0 18 0 159208954 19430449152 30193 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159208957 19430449152 30193 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159208957 19430449152 30193 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 120772 KiB

[startup+0.704958 s]
/proc/loadavg: 3.79 4.05 4.07 12/327 815727
/proc/meminfo: memFree=127702944/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19041612 memory=163140 CPUtime=1.29 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 13465 0 0 0 124 5 0 0 20 0 19 0 159208954 19498610688 40785 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4760403 40785 5872 1 0 552726 0
[pid=815651/tid=815656] ppid=815643 vsize=19041612 memory=5436 CPUtime=0.64 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 6068 0 0 0 61 3 0 0 20 0 19 0 159208954 19498610688 40785 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159208957 19498610688 40785 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19041612 memory=115300 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159208957 19498610688 40785 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159208997 19498610688 40785 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163140 KiB

[startup+1.50041 s]
/proc/loadavg: 3.79 4.05 4.07 13/327 815793
/proc/meminfo: memFree=127771084/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19041612 memory=168856 CPUtime=2.37 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 15583 0 0 0 232 5 0 0 20 0 19 0 159208954 19498610688 42214 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4760403 42214 5872 1 0 553556 0
[pid=815651/tid=815656] ppid=815643 vsize=19041612 memory=12292 CPUtime=1.42 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 6198 0 0 0 139 3 0 0 20 0 19 0 159208954 19498610688 42214 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159208957 19498610688 42214 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159208957 19498610688 42214 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19041612 memory=58481197711417 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159208997 19498610688 42214 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168856 KiB

[startup+3.106 s]
/proc/loadavg: 3.79 4.05 4.07 7/329 815995
/proc/meminfo: memFree=127666788/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=193744 CPUtime=4.03 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 18858 0 0 0 397 6 0 0 20 0 20 0 159208954 19566772224 48436 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 48436 5888 1 0 553862 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=0 CPUtime=2.98 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 7166 0 0 0 295 3 0 0 20 0 20 0 159208954 19566772224 48436 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 48436 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 48436 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 48436 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193744 KiB

[startup+6.30024 s]
/proc/loadavg: 3.81 4.05 4.07 6/330 815996
/proc/meminfo: memFree=127306884/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=191020 CPUtime=7.41 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 20088 0 0 0 734 7 0 0 20 0 20 0 159208954 19566772224 47755 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 47755 5904 1 0 553862 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=12292 CPUtime=6.18 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 7280 0 0 0 614 4 0 0 20 0 20 0 159208954 19566772224 47755 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 47755 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=170904 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 47755 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 47755 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191020 KiB

[startup+12.7003 s]
/proc/loadavg: 3.91 4.07 4.08 6/331 815997
/proc/meminfo: memFree=127030060/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=191272 CPUtime=13.82 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 21682 0 0 0 1375 7 0 0 20 0 20 0 159208954 19566772224 47818 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 47818 5907 1 0 553862 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=0 CPUtime=12.56 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 7737 0 0 0 1252 4 0 0 20 0 20 0 159208954 19566772224 47818 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 47818 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 47818 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=40860 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 47818 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191272 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.09 6/331 816067
/proc/meminfo: memFree=126290636/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=191276 CPUtime=26.59 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 22789 0 0 0 2652 7 0 0 20 0 20 0 159208954 19566772224 47819 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 47819 5907 1 0 553862 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=191276 CPUtime=25.33 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 8375 0 0 0 2529 4 0 0 20 0 20 0 159208954 19566772224 47819 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=280851670071728 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 47819 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 47819 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=-8960303329009050300 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 47819 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191276 KiB

[startup+51.1061 s]
/proc/loadavg: 4.11 4.10 4.09 6/331 816070
/proc/meminfo: memFree=124402188/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=207848 CPUtime=52.19 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 25287 0 0 0 5210 9 0 0 20 0 20 0 159208954 19566772224 51962 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 51962 5907 1 0 553862 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=207848 CPUtime=50.86 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 9031 0 0 0 5082 4 0 0 20 0 20 0 159208954 19566772224 51962 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=-8960303329009050300 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 51962 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0

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

/proc/meminfo: memFree=116694368/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169568 CPUtime=3285.91 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 162015 0 0 0 328457 134 0 0 20 0 20 0 159208954 19566772224 542392 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542392 5966 1 0 556058 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=2169568 CPUtime=3262.99 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 50811 0 0 0 326279 20 0 0 20 0 20 0 159208954 19566772224 542392 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542392 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=2169568 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2701 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542392 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542392 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3285.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.20 4.16 6/335 817851
/proc/meminfo: memFree=116694072/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169604 CPUtime=3345.8 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 162381 0 0 0 334445 135 0 0 20 0 20 0 159208954 19566772224 542401 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542401 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=2169604 CPUtime=3322.67 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 50940 0 0 0 332247 20 0 0 20 0 20 0 159208954 19566772224 542401 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542401 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2710 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542401 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542401 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3345.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.21 4.16 6/333 817863
/proc/meminfo: memFree=116693780/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169608 CPUtime=3405.74 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 163025 0 0 0 340437 137 0 0 20 0 20 0 159208954 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542402 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=2169604 CPUtime=3382.52 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 51505 0 0 0 338232 20 0 0 20 0 20 0 159208954 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2711 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3405.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.22 4.17 7/333 817873
/proc/meminfo: memFree=116693428/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169608 CPUtime=3465.5 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 164174 0 0 0 346411 139 0 0 20 0 20 0 159208954 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542402 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=2169604 CPUtime=3442.06 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 52085 0 0 0 344186 20 0 0 20 0 20 0 159208954 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=2169604 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2796 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=2169608 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3465.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.17 7/330 817883
/proc/meminfo: memFree=116692104/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169608 CPUtime=3525.11 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 164710 0 0 0 352372 139 0 0 20 0 20 0 159208954 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542402 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=2169608 CPUtime=3501.36 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 52377 0 0 0 350116 20 0 0 20 0 20 0 159208954 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=2169608 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2796 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=-8960303329009050300 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542402 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3525.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.42 4.26 4.19 5/329 817961
/proc/meminfo: memFree=120935432/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169660 CPUtime=3585.17 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 168000 0 0 0 358376 141 0 0 20 0 20 0 159208954 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542415 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=12292 CPUtime=3560.71 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 52952 0 0 0 356051 20 0 0 20 0 20 0 159208954 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=32412 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=5484 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2882 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.3 s]
/proc/loadavg: 4.32 4.24 4.18 5/330 817965
/proc/meminfo: memFree=120851720/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169660 CPUtime=3600.04 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 168178 0 0 0 359863 141 0 0 20 0 20 0 159208954 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542415 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=5484 CPUtime=3575.58 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 53126 0 0 0 357538 20 0 0 20 0 20 0 159208954 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=-8960303329009050300 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2884 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.75 s, system=1.42763 s

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

[startup+3597.3 s]
/proc/loadavg: 4.32 4.24 4.18 5/330 817965
/proc/meminfo: memFree=120851720/131524600 swapFree=131071996/131071996
[pid=815651] ppid=815643 vsize=19108176 memory=2169660 CPUtime=3600.04 cores=4,6
/proc/815651/stat : 815651 (java) S 815643 815651 815582 0 -1 1077936128 168178 0 0 0 359863 141 0 0 20 0 20 0 159208954 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
/proc/815651/statm: 4777044 542415 5966 1 0 556066 0
[pid=815651/tid=815656] ppid=815643 vsize=19108176 memory=5484 CPUtime=3575.58 cores=4,6
/proc/815651/task/815656/stat : 815656 (java) R 815643 815651 815582 0 -1 4194368 53126 0 0 0 357538 20 0 0 20 0 20 0 159208954 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 159208956 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815698] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815698/stat : 815698 (Finalizer) S 815643 815651 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815713] ppid=815643 vsize=19108176 memory=-8960303329009050300 CPUtime=0 cores=4,6
/proc/815651/task/815713/stat : 815713 (Common-Cleaner) S 815643 815651 815582 0 -1 1077936192 2884 0 0 0 0 0 0 0 20 0 20 0 159208957 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
[pid=815651/tid=815726] ppid=815643 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/815651/task/815726/stat : 815726 (Timer-0) S 815643 815651 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159208997 19566772224 542415 134679101440 94353426178048 94353426181744 140720942565072 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94353426189560 94353426190352 94353454940160 140720942568455 140720942568545 140720942568545 140720942575560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169660 KiB

Child status: 143

Real time (s): 3597.4
CPU time (s): 3600.18
CPU user time (s): 3598.75
CPU system time (s): 1.42763
CPU usage (%): 100.077
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2169660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.75
system time used= 1.42763
maximum resident set size= 2171076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110284
involuntary context switches= 11843


# summary of solver processes directly reported to runsolver:
#   pid: 815651
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.75
#   total CPU system time (s): 1.42763

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.36194 second user time and 18.4044 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 21:07:48
IDJOB=4432158
IDBENCH=146850
IDSOLVER=3058
FILE ID=nodeC020/4432158-1721070454
RUNJOBID= nodeC020-1721070467-815593
SLURM_JOB_ID= 7505528
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432158-1721070454/watcher-4432158-1721070454 -o /tmp/evaluation-result-4432158-1721070454/solver-4432158-1721070454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815593 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432158-1721070454.opb

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

MD5SUM BENCH= 536cfe435eeefcaf3068230629f950df
RANDOM SEED=771251594

nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3649.188
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3600.951
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3652.644
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3665.376
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3656.959
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3662.424
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3639.292
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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.400
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128237404 kB
MemAvailable:   129724884 kB
Buffers:          373480 kB
Cached:          1939720 kB
SwapCached:            0 kB
Active:           599176 kB
Inactive:        2072960 kB
Active(anon):       1500 kB
Inactive(anon):   395472 kB
Active(file):     597676 kB
Inactive(file):  1677488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10000 kB
Writeback:             0 kB
AnonPages:        358568 kB
Mapped:           102904 kB
Shmem:             37720 kB
KReclaimable:     104276 kB
Slab:             210368 kB
SReclaimable:     104276 kB
SUnreclaim:       106092 kB
KernelStack:        3840 kB
PageTables:         9616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     653856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58816 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-15 22:07:45