Trace number 4440450

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 2024 2024-07-07? (TO) 3600.2 3644.2

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb
MD5SUM273ff9d6fcea8c8a0f3c86ec45e3976c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3258634294888
Best CPU time to get the best result obtained on this benchmark8.91844
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21104
Total number of constraints100045
Number of constraints which are clauses98480
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8588
Biggest coefficient in the objective function 79285326336
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234763814370998
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79285326336
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234763814370998
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.11	c See www.sat4j.org for details.
0.14/0.12	c version CUSTOM.v20240707
0.14/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.13	c java.vm.version	22.0.1+8-16
0.14/0.13	c java.vm.vendor	Oracle Corporation
0.14/0.13	c sun.arch.data.model	64
0.14/0.13	c java.version		22.0.1
0.14/0.13	c os.name		Linux
0.14/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.13	c os.arch		amd64
0.14/0.14	c Free memory 		2115194816
0.14/0.14	c Max memory 		16282288128
0.14/0.14	c Total memory 		2122317824
0.14/0.14	c Number of processors 	2
0.14/0.20	--- Begin Solver configuration ---
0.14/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.20	Learn all clauses as in MiniSAT
0.14/0.20	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.20	Expensive reason simplification
0.14/0.20	Glucose 2.1 dynamic restart strategy
0.14/0.20	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.14/0.20	timeout=2147483s
0.14/0.20	DB Simplification allowed=false
0.14/0.20	Listener: none
0.14/0.20	--- End Solver configuration ---
0.14/0.20	c Pseudo Boolean Optimization by upper bound
0.14/0.20	c --- Begin Solver configuration ---
0.14/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.20	c Learn all clauses as in MiniSAT
0.14/0.20	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.20	c Expensive reason simplification
0.14/0.20	c Glucose 2.1 dynamic restart strategy
0.14/0.20	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.14/0.20	c timeout=2147483s
0.14/0.20	c DB Simplification allowed=false
0.14/0.20	c Listener: none
0.14/0.20	c --- End Solver configuration ---
0.14/0.20	c solving HOME/instance-4440450-1721820351.opb
0.14/0.20	c reading problem ... 
0.14/0.20	c using VERIPB proof format
0.14/0.20	c  objective function found
2.20/1.30	c ... done. Wall clock time 1.097s.
2.39/1.31	c declared #vars     21104
2.39/1.31	c #constraints  100045
2.39/1.31	c constraints type 
2.39/1.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 34249
2.39/1.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1561
2.39/1.31	c org.sat4j.specs.Constr$1 => 136
2.39/1.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 62906
2.39/1.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 1193
2.39/1.31	c 100045 constraints processed.
2.39/1.32	c objective function length is 8588 literals
5.25/2.96	c SATISFIABLE
5.25/2.96	c OPTIMIZING...
5.25/2.96	c Got one! Elapsed wall clock time (in seconds):2.763
5.25/2.96	o 3894799378484
8.59/5.01	c cleaning 2664 clauses out of 5328 with flag 27086/5330
16.07/12.28	c cleaning 4331 clauses out of 8665 with flag 53934/11331
21.35/16.51	c cleaning 5658 clauses out of 11334 with flag 90814/18331
25.32/19.82	c cleaning 6838 clauses out of 13675 with flag 138451/26330
29.03/23.52	c cleaning 7917 clauses out of 15838 with flag 191030/35331
33.16/27.62	c cleaning 8960 clauses out of 17920 with flag 248013/45330
38.26/32.83	c cleaning 9981 clauses out of 19961 with flag 304478/56331
42.16/36.70	c cleaning 10985 clauses out of 21979 with flag 342976/68330
53.13/47.59	c cleaning 11995 clauses out of 23994 with flag 392792/81330
73.38/67.80	c cleaning 12991 clauses out of 25999 with flag 443725/95330
80.09/74.59	c cleaning 14005 clauses out of 28009 with flag 490340/110331
85.70/80.20	c cleaning 14995 clauses out of 30003 with flag 538096/126330
90.67/85.01	c cleaning 16001 clauses out of 32009 with flag 587259/143331
96.57/90.63	c cleaning 17003 clauses out of 34008 with flag 633730/161331
103.31/97.17	c cleaning 17992 clauses out of 36004 with flag 692934/180330
110.98/104.89	c cleaning 19007 clauses out of 38013 with flag 762823/200331
120.65/114.47	c cleaning 19998 clauses out of 40005 with flag 839503/221330
129.64/123.48	c cleaning 21004 clauses out of 42007 with flag 920216/243330
138.28/132.00	c cleaning 21995 clauses out of 44003 with flag 977009/266330
145.06/138.79	c cleaning 23004 clauses out of 46009 with flag 1032571/290331
152.05/145.76	c cleaning 23993 clauses out of 48004 with flag 1103333/315330
158.23/151.91	c cleaning 25003 clauses out of 50012 with flag 1186600/341331
164.48/158.41	c cleaning 26000 clauses out of 52008 with flag 1280329/368330
175.36/169.36	c cleaning 27001 clauses out of 54009 with flag 1354173/396331
188.45/182.43	c cleaning 28001 clauses out of 56007 with flag 1432253/425330
199.10/193.14	c cleaning 28999 clauses out of 58007 with flag 1501396/455331
214.27/208.36	c cleaning 29999 clauses out of 60008 with flag 1579399/486331
229.20/223.41	c cleaning 30997 clauses out of 62008 with flag 1659996/518330
238.59/232.86	c cleaning 32001 clauses out of 64010 with flag 1740822/551330
245.98/240.21	c cleaning 33005 clauses out of 66010 with flag 1823501/585331
253.75/248.25	c cleaning 34003 clauses out of 68005 with flag 1909681/620331
262.36/256.88	c cleaning 34998 clauses out of 70002 with flag 1998743/656331
274.06/268.52	c cleaning 36002 clauses out of 72003 with flag 2087130/693330
286.24/280.82	c cleaning 36997 clauses out of 74002 with flag 2176594/731331
298.54/293.14	c cleaning 37996 clauses out of 76004 with flag 2269548/770330
311.21/305.84	c cleaning 39002 clauses out of 78009 with flag 2367035/810331
326.52/321.25	c cleaning 39997 clauses out of 80007 with flag 2472393/851331
338.80/333.60	c cleaning 41002 clauses out of 82009 with flag 2587615/893330
350.88/345.79	c cleaning 41998 clauses out of 84008 with flag 2701919/936331
363.56/358.42	c cleaning 42998 clauses out of 86009 with flag 2804926/980330
376.41/371.43	c cleaning 44003 clauses out of 88011 with flag 2916223/1025330
403.63/398.60	c cleaning 45002 clauses out of 90008 with flag 3023511/1071330
414.53/411.71	c Got one! Elapsed wall clock time (in seconds):411.511
414.53/411.71	o 3894799378441
416.58/413.41	c cleaning 36360 clauses out of 72734 with flag 16037/1099058
419.58/416.47	c cleaning 21183 clauses out of 42375 with flag 35256/1105059
421.67/418.53	c cleaning 14083 clauses out of 28192 with flag 53008/1112059
424.08/420.98	c cleaning 11043 clauses out of 22108 with flag 72656/1120058
426.87/423.72	c cleaning 10024 clauses out of 20065 with flag 93966/1129058
429.86/426.78	c cleaning 10015 clauses out of 20042 with flag 117695/1139059
433.17/430.09	c cleaning 10514 clauses out of 21028 with flag 143623/1150060
436.84/433.78	c cleaning 11254 clauses out of 22512 with flag 172623/1162058
440.98/437.96	c cleaning 12127 clauses out of 24259 with flag 204568/1175059
445.37/442.35	c cleaning 13064 clauses out of 26132 with flag 238675/1189059
450.08/447.04	c cleaning 14025 clauses out of 28068 with flag 274800/1204059
454.75/451.77	c cleaning 15014 clauses out of 30042 with flag 316126/1220058
459.75/456.74	c cleaning 16014 clauses out of 32028 with flag 361644/1237058
465.34/462.37	c cleaning 17003 clauses out of 34015 with flag 407210/1255059
472.29/485.67	c cleaning 18005 clauses out of 36012 with flag 452838/1274059
478.69/492.02	c cleaning 19002 clauses out of 38007 with flag 502443/1294059
485.67/499.11	c cleaning 20001 clauses out of 40004 with flag 551968/1315058
493.14/506.53	c cleaning 20994 clauses out of 42003 with flag 602702/1337058
501.00/514.66	c cleaning 22005 clauses out of 44010 with flag 654532/1360059
509.28/522.92	c cleaning 22998 clauses out of 46004 with flag 709708/1384058
517.76/531.43	c cleaning 23997 clauses out of 48006 with flag 768470/1409058
532.00/545.82	c cleaning 24999 clauses out of 50009 with flag 841508/1435058
556.45/570.30	c cleaning 26003 clauses out of 52011 with flag 923718/1462059
594.15/608.12	c cleaning 27002 clauses out of 54008 with flag 1010145/1490059
618.22/632.23	c cleaning 27998 clauses out of 56005 with flag 1097171/1519058
632.46/646.56	c cleaning 29004 clauses out of 58008 with flag 1175029/1549059
642.24/656.30	c cleaning 30000 clauses out of 60004 with flag 1245450/1580059
652.12/666.29	c cleaning 30999 clauses out of 62004 with flag 1323272/1612059
662.33/676.55	c cleaning 32003 clauses out of 64005 with flag 1397733/1645059
673.61/687.81	c cleaning 32999 clauses out of 66002 with flag 1479060/1679059
685.19/699.58	c cleaning 33996 clauses out of 68003 with flag 1559792/1714059
697.57/711.98	c cleaning 35001 clauses out of 70007 with flag 1641992/1750059
709.69/724.10	c cleaning 36000 clauses out of 72006 with flag 1730041/1787059
722.28/736.77	c cleaning 37000 clauses out of 74006 with flag 1824781/1825059
734.76/749.23	c cleaning 38000 clauses out of 76006 with flag 1917707/1864059
747.34/761.92	c cleaning 38997 clauses out of 78006 with flag 2014931/1904059
760.43/775.06	c cleaning 40004 clauses out of 80009 with flag 2110444/1945059
773.20/787.85	c cleaning 41000 clauses out of 82005 with flag 2208629/1987059
786.18/800.99	c cleaning 41990 clauses out of 84005 with flag 2307004/2030059
800.30/815.07	c cleaning 42995 clauses out of 86014 with flag 2410603/2074058
816.74/832.87	c cleaning 44005 clauses out of 88020 with flag 2510883/2119059
836.80/852.99	c cleaning 45005 clauses out of 90014 with flag 2624344/2165058
878.07/894.72	c cleaning 45998 clauses out of 92009 with flag 2756130/2212058
916.91/933.78	c cleaning 46998 clauses out of 94010 with flag 2891768/2260058
932.26/949.34	c cleaning 48004 clauses out of 96013 with flag 3012937/2309059
947.63/964.78	c cleaning 48997 clauses out of 98009 with flag 3152114/2359059
963.14/980.56	c cleaning 50006 clauses out of 100011 with flag 3286641/2410058
980.50/997.96	c cleaning 50994 clauses out of 102005 with flag 3483337/2462058
998.71/1016.36	c cleaning 51999 clauses out of 104012 with flag 3661658/2515059
1017.66/1035.39	c cleaning 52992 clauses out of 106012 with flag 3852240/2569058
1037.53/1055.46	c cleaning 54009 clauses out of 108021 with flag 4040804/2624059
1057.43/1075.52	c cleaning 54999 clauses out of 110012 with flag 4199373/2680059
1075.14/1093.25	c cleaning 56001 clauses out of 112013 with flag 4345226/2737059
1094.24/1113.50	c cleaning 57006 clauses out of 114011 with flag 4483258/2795058
1112.21/1131.56	c cleaning 57994 clauses out of 116006 with flag 4633038/2854059
1130.75/1150.13	c cleaning 59000 clauses out of 118011 with flag 4787747/2914058
1150.81/1170.24	c cleaning 59999 clauses out of 120012 with flag 4942680/2975059
1170.37/1189.82	c cleaning 61001 clauses out of 122013 with flag 5118184/3037059
1189.79/1209.30	c cleaning 61998 clauses out of 124012 with flag 5294077/3100059
1208.52/1228.14	c cleaning 62996 clauses out of 126014 with flag 5470894/3164059
1227.76/1247.43	c cleaning 64009 clauses out of 128018 with flag 5620919/3229059
1248.80/1268.55	c cleaning 65005 clauses out of 130010 with flag 5770893/3295060
1272.51/1292.34	c cleaning 65999 clauses out of 132003 with flag 5924189/3362058
1314.43/1334.37	c cleaning 66998 clauses out of 134004 with flag 6083204/3430058
1364.66/1384.61	c cleaning 67996 clauses out of 136006 with flag 6231877/3499058
1396.68/1416.72	c cleaning 68998 clauses out of 138011 with flag 6383399/3569059
1428.40/1448.54	c cleaning 69998 clauses out of 140013 with flag 6536406/3640059
1453.72/1474.64	c cleaning 71004 clauses out of 142015 with flag 6693109/3712059
1484.43/1505.40	c cleaning 71999 clauses out of 144011 with flag 6869844/3785059
1511.42/1532.54	c Got one! Elapsed wall clock time (in seconds):1532.34
1511.42/1532.54	o 3894799378370
1514.06/1534.76	c cleaning 56771 clauses out of 113543 with flag 13734/3826590
1515.95/1536.65	c cleaning 31381 clauses out of 62770 with flag 28793/3832588
1518.15/1538.87	c cleaning 19189 clauses out of 38390 with flag 45452/3839589
1520.45/1541.16	c cleaning 13594 clauses out of 27201 with flag 66009/3847589
1523.04/1543.70	c cleaning 11295 clauses out of 22606 with flag 87591/3856588
1525.73/1546.49	c cleaning 10649 clauses out of 21312 with flag 112627/3866589
1528.85/1549.58	c cleaning 10827 clauses out of 21662 with flag 139414/3877588
1532.04/1552.77	c cleaning 11409 clauses out of 22835 with flag 168918/3889588
1535.64/1556.32	c cleaning 12209 clauses out of 24428 with flag 198214/3902590
1539.82/1560.51	c cleaning 13101 clauses out of 26218 with flag 232219/3916589
1544.18/1564.92	c cleaning 14059 clauses out of 28117 with flag 267011/3931589
1548.68/1569.46	c cleaning 15026 clauses out of 30058 with flag 305568/3947589
1553.66/1574.42	c cleaning 16016 clauses out of 32032 with flag 347929/3964589
1558.95/1579.70	c cleaning 17007 clauses out of 34015 with flag 392212/3982588
1564.64/1585.46	c cleaning 18001 clauses out of 36008 with flag 441618/4001588
1570.62/1591.48	c cleaning 19002 clauses out of 38008 with flag 494062/4021589
1576.69/1597.54	c cleaning 19995 clauses out of 40006 with flag 542189/4042589
1582.97/1603.87	c cleaning 21001 clauses out of 42011 with flag 591596/4064589
1589.76/1610.65	c cleaning 21999 clauses out of 44010 with flag 644272/4087589
1597.25/1618.17	c cleaning 23001 clauses out of 46011 with flag 700135/4111589
1604.99/1625.94	c cleaning 23999 clauses out of 48009 with flag 758357/4136588
1612.81/1633.70	c cleaning 25005 clauses out of 50010 with flag 816542/4162588
1621.10/1642.10	c cleaning 25995 clauses out of 52005 with flag 876823/4189588
1629.87/1650.81	c cleaning 27002 clauses out of 54010 with flag 941447/4217588
1638.59/1659.77	c cleaning 28000 clauses out of 56008 with flag 1009661/4246588
1647.57/1668.72	c cleaning 28992 clauses out of 58008 with flag 1089743/4276588
1656.35/1677.58	c cleaning 30002 clauses out of 60017 with flag 1178291/4307589
1665.80/1687.06	c cleaning 31004 clauses out of 62015 with flag 1284936/4339589
1675.47/1696.72	c cleaning 32000 clauses out of 64011 with flag 1378063/4372589
1686.10/1707.35	c cleaning 32999 clauses out of 66011 with flag 1463755/4406589
1696.53/1717.89	c cleaning 34003 clauses out of 68012 with flag 1552528/4441589
1707.60/1729.01	c cleaning 35004 clauses out of 70008 with flag 1644948/4477588
1719.79/1741.18	c cleaning 35995 clauses out of 72004 with flag 1737057/4514588
1731.82/1753.25	c cleaning 37003 clauses out of 74010 with flag 1829087/4552589
1743.86/1765.34	c cleaning 37997 clauses out of 76007 with flag 1917640/4591589
1755.95/1777.48	c cleaning 39000 clauses out of 78009 with flag 2012009/4631588
1768.27/1789.87	c cleaning 39998 clauses out of 80010 with flag 2108737/4672589
1780.84/1802.41	c cleaning 41004 clauses out of 82011 with flag 2216312/4714588
1794.17/1815.88	c cleaning 42004 clauses out of 84008 with flag 2331721/4757589
1821.42/1843.18	c cleaning 42995 clauses out of 86004 with flag 2448957/4801589
1865.42/1887.29	c cleaning 43999 clauses out of 88008 with flag 2588921/4846588
1880.81/1902.60	c cleaning 45000 clauses out of 90009 with flag 2706257/4892588
1919.51/1941.42	c cleaning 46000 clauses out of 92010 with flag 2844380/4939589
1959.91/1981.99	c cleaning 47005 clauses out of 94010 with flag 2988680/4987589
1976.98/1999.03	c cleaning 47999 clauses out of 96004 with flag 3113242/5036588
1991.86/2014.00	c cleaning 48995 clauses out of 98006 with flag 3233175/5086589
2007.60/2029.80	c cleaning 49996 clauses out of 100010 with flag 3354672/5137588
2023.99/2046.12	c cleaning 51004 clauses out of 102015 with flag 3486013/5189589
2040.30/2062.56	c cleaning 52000 clauses out of 104011 with flag 3609352/5242589
2056.55/2078.89	c cleaning 53002 clauses out of 106010 with flag 3744036/5296588
2073.17/2095.69	c cleaning 53993 clauses out of 108008 with flag 3889022/5351588
2090.94/2113.48	c cleaning 55008 clauses out of 110016 with flag 4021427/5407589
2110.57/2133.17	c cleaning 56000 clauses out of 112008 with flag 4155532/5464589
2150.26/2172.90	c cleaning 56996 clauses out of 114008 with flag 4303940/5522589
2178.24/2200.95	c cleaning 58004 clauses out of 116011 with flag 4444199/5581588
2205.07/2227.82	c cleaning 59001 clauses out of 118008 with flag 4589359/5641589
2237.88/2260.78	c cleaning 59998 clauses out of 120007 with flag 4726477/5702589
2267.71/2290.67	c cleaning 61000 clauses out of 122008 with flag 4885891/5764588
2291.20/2314.11	c cleaning 62000 clauses out of 124009 with flag 5043044/5827589
2310.84/2333.97	c cleaning 62999 clauses out of 126008 with flag 5197711/5891588
2331.79/2354.99	c cleaning 64005 clauses out of 128009 with flag 5360471/5956588
2354.39/2377.55	c cleaning 65001 clauses out of 130005 with flag 5538258/6022589
2375.28/2398.53	c cleaning 66001 clauses out of 132003 with flag 5718727/6089588
2397.12/2420.37	c cleaning 66996 clauses out of 134002 with flag 5895148/6157588
2419.32/2442.78	c cleaning 68003 clauses out of 136006 with flag 6070286/6226588
2441.53/2465.01	c cleaning 69001 clauses out of 138003 with flag 6244708/6296588
2462.53/2486.09	c cleaning 70000 clauses out of 140003 with flag 6413658/6367589
2501.38/2524.97	c cleaning 70998 clauses out of 142002 with flag 6619754/6439588
2532.90/2556.59	c cleaning 71996 clauses out of 144005 with flag 6834001/6512589
2559.12/2582.81	c cleaning 73003 clauses out of 146008 with flag 7022450/6586588
2586.74/2610.51	c cleaning 73998 clauses out of 148005 with flag 7202690/6661588
2610.60/2634.43	c cleaning 74996 clauses out of 150007 with flag 7388771/6737588
2640.60/2664.56	c cleaning 76000 clauses out of 152011 with flag 7630722/6814588
2670.52/2694.50	c cleaning 76998 clauses out of 154012 with flag 7899421/6892589
2698.51/2722.54	c cleaning 78000 clauses out of 156013 with flag 8165485/6971588
2727.41/2751.47	c cleaning 79000 clauses out of 158014 with flag 8431232/7051589
2752.42/2776.58	c cleaning 80005 clauses out of 160014 with flag 8656416/7132589
2761.37/2785.41	c Got one! Elapsed wall clock time (in seconds):2785.21
2761.37/2785.41	o 3894799378369
2763.20/2787.15	c cleaning 53330 clauses out of 106671 with flag 24662/7159251
2765.09/2789.04	c cleaning 29671 clauses out of 59341 with flag 56974/7165251
2767.33/2791.38	c cleaning 18332 clauses out of 36671 with flag 97630/7172252
2770.14/2794.13	c cleaning 13159 clauses out of 26338 with flag 145329/7180251
2772.82/2796.83	c cleaning 11081 clauses out of 22179 with flag 191470/7189251
2777.02/2801.01	c cleaning 10540 clauses out of 21098 with flag 246552/7199251
2780.80/2804.82	c cleaning 10773 clauses out of 21558 with flag 302147/7210251
2787.80/2811.80	c cleaning 11393 clauses out of 22785 with flag 372549/7222251
2792.88/2816.91	c cleaning 12196 clauses out of 24392 with flag 441954/7235251
2798.98/2823.02	c cleaning 13093 clauses out of 26195 with flag 519144/7249250
2805.85/2829.93	c cleaning 14048 clauses out of 28103 with flag 601610/7264251
2812.54/2836.69	c cleaning 15023 clauses out of 30054 with flag 688972/7280250
2820.23/2844.32	c cleaning 16011 clauses out of 32032 with flag 783170/7297251
2828.51/2852.69	c cleaning 17007 clauses out of 34020 with flag 873791/7315250
2854.67/2878.96	c cleaning 18005 clauses out of 36013 with flag 943348/7334250
2877.05/2901.49	c cleaning 19002 clauses out of 38008 with flag 1016165/7354250
2902.15/2926.65	c cleaning 19999 clauses out of 40007 with flag 1092380/7375251
2928.61/2953.22	c cleaning 20999 clauses out of 42008 with flag 1163380/7397251
2955.49/2980.22	c cleaning 22004 clauses out of 44009 with flag 1233122/7420251
2992.67/3017.56	c cleaning 23002 clauses out of 46004 with flag 1304917/7444250
3027.96/3052.95	c cleaning 23993 clauses out of 48003 with flag 1375133/7469251
3065.81/3090.99	c cleaning 25002 clauses out of 50010 with flag 1452569/7495251
3108.14/3133.58	c cleaning 26004 clauses out of 52007 with flag 1522450/7522250
3155.11/3180.79	c cleaning 27002 clauses out of 54004 with flag 1590092/7550251
3204.62/3230.62	c cleaning 27995 clauses out of 56002 with flag 1659312/7579251
3249.52/3275.68	c cleaning 28998 clauses out of 58006 with flag 1732132/7609250
3288.55/3314.95	c cleaning 29999 clauses out of 60008 with flag 1812275/7640250
3302.03/3328.43	c Got one! Elapsed wall clock time (in seconds):3328.226
3302.03/3328.43	o 3894799378368
3303.82/3330.09	c cleaning 26265 clauses out of 52529 with flag 17242/7662770
3305.50/3331.77	c cleaning 16130 clauses out of 32265 with flag 36349/7668771
3307.60/3333.86	c cleaning 11555 clauses out of 23136 with flag 57672/7675772
3309.91/3336.19	c cleaning 9778 clauses out of 19580 with flag 77710/7683771
3312.59/3338.82	c cleaning 9390 clauses out of 18802 with flag 102798/7692771
3315.39/3341.68	c cleaning 9701 clauses out of 19412 with flag 125999/7702771
3318.79/3345.19	c cleaning 10352 clauses out of 20711 with flag 152137/7713771
3322.37/3348.70	c cleaning 11179 clauses out of 22359 with flag 185532/7725771
3326.06/3352.43	c cleaning 12083 clauses out of 24180 with flag 215548/7738771
3329.77/3356.19	c cleaning 13042 clauses out of 26097 with flag 247085/7752771
3333.66/3360.04	c cleaning 14024 clauses out of 28055 with flag 284423/7767771
3337.85/3364.22	c cleaning 15013 clauses out of 30030 with flag 326755/7783770
3342.53/3368.98	c cleaning 16003 clauses out of 32018 with flag 367520/7800771
3347.74/3374.14	c cleaning 17004 clauses out of 34015 with flag 415100/7818771
3353.39/3379.97	c cleaning 18006 clauses out of 36011 with flag 465274/7837771
3367.93/3394.40	c cleaning 19000 clauses out of 38005 with flag 513725/7857771
3378.63/3405.12	c cleaning 20003 clauses out of 40006 with flag 563839/7878772
3393.10/3419.73	c cleaning 20997 clauses out of 42002 with flag 621978/7900771
3403.95/3430.45	c Got one! Elapsed wall clock time (in seconds):3430.247
3403.95/3430.45	o 3894780922815
3405.77/3432.11	c Got one! Elapsed wall clock time (in seconds):3431.907
3405.77/3432.11	o 3894762467210
3407.28/3433.40	c cleaning 19900 clauses out of 39807 with flag 7918/7919573
3410.78/3437.03	c cleaning 12944 clauses out of 25907 with flag 21914/7925573
3413.72/3439.94	c cleaning 9974 clauses out of 19962 with flag 40292/7932572
3415.82/3442.04	c cleaning 8984 clauses out of 17988 with flag 59474/7940572
3418.41/3444.62	c cleaning 8994 clauses out of 18004 with flag 79277/7949572
3421.39/3447.57	c cleaning 9500 clauses out of 19010 with flag 100202/7959572
3424.29/3450.46	c cleaning 10254 clauses out of 20511 with flag 123289/7970573
3429.48/3455.67	c cleaning 11119 clauses out of 22257 with flag 154585/7982573
3437.76/3463.96	c cleaning 12066 clauses out of 24138 with flag 194298/7995573
3465.53/3491.82	c cleaning 13038 clauses out of 26075 with flag 226035/8009576
3484.22/3510.68	c cleaning 14017 clauses out of 28033 with flag 260390/8024572
3506.82/3533.31	c cleaning 14997 clauses out of 30017 with flag 303055/8040573
3521.70/3548.28	c cleaning 16007 clauses out of 32019 with flag 347048/8057572
3534.91/3561.54	c cleaning 17001 clauses out of 34012 with flag 393876/8075572
3543.99/3570.61	c Got one! Elapsed wall clock time (in seconds):3570.409
3543.99/3570.61	o 3894762467132
3545.56/3572.14	c cleaning 16525 clauses out of 33053 with flag 15166/8091614
3547.05/3573.66	c cleaning 11259 clauses out of 22528 with flag 31792/8097614
3549.04/3575.61	c cleaning 9120 clauses out of 18270 with flag 54690/8104615
3551.24/3577.83	c cleaning 8566 clauses out of 17149 with flag 72980/8112614
3553.84/3580.40	c cleaning 8789 clauses out of 17583 with flag 94465/8121614
3556.87/3583.43	c cleaning 9394 clauses out of 18795 with flag 116664/8131615
3560.21/3586.82	c cleaning 10194 clauses out of 20401 with flag 148055/8142615
3564.00/3590.70	c cleaning 11104 clauses out of 22207 with flag 180477/8154615
3568.06/3594.83	c cleaning 12049 clauses out of 24102 with flag 212882/8167614
3572.13/3598.93	c cleaning 13024 clauses out of 26053 with flag 246826/8181614
3576.68/3603.54	c cleaning 14008 clauses out of 28029 with flag 281887/8196614
3581.44/3608.30	c cleaning 15011 clauses out of 30022 with flag 321580/8212615
3586.89/3613.82	c cleaning 16005 clauses out of 32010 with flag 365466/8229614
3592.58/3619.57	c cleaning 17001 clauses out of 34006 with flag 408129/8247615
3599.96/3643.94	c cleaning 17996 clauses out of 36004 with flag 451672/8266614
3600.07/3644.03	c starts		: 24517
3600.07/3644.04	c conflicts		: 8266851
3600.07/3644.04	c decisions		: 14563148
3600.07/3644.04	c propagations		: 19903156783
3600.07/3644.04	c inspects		: 10817877609
3600.07/3644.04	c shortcuts		: 0
3600.07/3644.04	c learnt literals	: 4
3600.07/3644.04	c learnt binary clauses	: 893
3600.07/3644.04	c learnt ternary clauses	: 2712
3600.07/3644.04	c learnt constraints	: 8266847
3600.07/3644.04	c ignored constraints	: 0
3600.07/3644.04	c root simplifications	: 0
3600.07/3644.04	c removed literals (reason simplification)	: 533208692
3600.07/3644.04	c reason swapping (by a shorter reason)	: 0
3600.07/3644.04	c Calls to reduceDB	: 262
3600.07/3644.04	c Number of update (reduction) of LBD	: 54741
3600.07/3644.04	c Imported unit clauses	: 0
3600.07/3644.04	c No decision after first conflict	: false
3600.07/3644.04	c number of reductions to clauses (during analyze)	: 0
3600.07/3644.04	c number of learned constraints concerned by reduction	: 0
3600.07/3644.04	c number of learning phase by resolution	: 0
3600.07/3644.04	c number of learning phase by cutting planes	: 0
3600.07/3644.04	c number of rounding to 1 operations	: 0
3600.07/3644.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3644.04	c number of reductions of the coefficients by power 2 	: 0
3600.07/3644.04	c number of right shift for reduction by power 2 	: 0
3600.07/3644.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3644.04	c number of ending skipping 	: 0
3600.07/3644.04	c number of internal skipping 	: 0
3600.07/3644.04	c number of derivation steps 	: 0
3600.07/3644.05	c number of skipped derivation steps 	: 0
3600.07/3644.05	c number of remaining unassigned 	: 0
3600.07/3644.05	c number of remaining assigned 	: 0
3600.07/3644.05	c number of falsified literals weakened from reason	: 0
3600.07/3644.05	c number of falsified literals weakened from conflict	: 0
3600.07/3644.05	c time for arithmetic operations	: 0
3600.07/3644.05	c minimum degree of deleted constraints	: null
3600.07/3644.05	c maximum degree of deleted constraints	: null
3600.07/3644.05	c number of deleted constraints	: 0
3600.07/3644.05	c speed (assignments/second)	: 5463853.361082012
3600.07/3644.05	c non guided choices	: 1098666
3600.07/3644.05	c timeout
3600.07/3644.05	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.07/3644.05		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.07/3644.05		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.07/3644.05		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.07/3644.05		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.07/3644.05		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.07/3644.05		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.07/3644.05		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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: 64096 MiB (58287 MiB free)
  memory of node 1: 64473 MiB (61611 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440450-1721820351/watcher-4440450-1721820351 -o /tmp/evaluation-result-4440450-1721820351/solver-4440450-1721820351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172053 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440450-1721820351 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440450-1721820351.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 Starting watchdog threadmit, stack expansion wi
Linux Starting watchdog threadmit, stack expansion wi
Current StackSize limit: 8192 KiB

solver pid=172383, runsolver pid=172380

[startup+0.10007 s]*
/proc/loadavg: 1.99 0.55 0.24 7/323 172401
/proc/meminfo: memFree=122710472/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=18975048 memory=56960 CPUtime=0.14 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 6686 0 0 0 11 3 0 0 20 0 18 0 18024361 19430449152 14240 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4743762 14240 5664 1 0 550988 0
[pid=172383/tid=172385] ppid=172380 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 5613 0 0 0 7 2 0 0 20 0 18 0 18024361 19430449152 14240 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18024367 19430449152 14240 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=18975048 memory=3833179250744360992 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18024368 19430449152 14240 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56960 KiB

[startup+0.218619 s]*
/proc/loadavg: 1.99 0.55 0.24 7/323 172401
/proc/meminfo: memFree=122697232/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=18975048 memory=66204 CPUtime=0.34 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 7453 0 0 0 30 4 0 0 20 0 18 0 18024361 19430449152 16551 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4743762 16551 5738 1 0 551628 0
[pid=172383/tid=172385] ppid=172380 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 5921 0 0 0 17 3 0 0 20 0 18 0 18024361 19430449152 16551 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=18975048 memory=1276314 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18024367 19430449152 16551 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18024368 19430449152 16551 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66204 KiB

[startup+0.323465 s]*
/proc/loadavg: 1.99 0.55 0.24 7/323 172401
/proc/meminfo: memFree=122691092/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=18975048 memory=71028 CPUtime=0.52 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 7607 0 0 0 48 4 0 0 20 0 18 0 18024361 19430449152 17757 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4743762 17757 5765 1 0 551703 0
[pid=172383/tid=172385] ppid=172380 vsize=18975048 memory=-9175353522535572156 CPUtime=0.27 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 5959 0 0 0 24 3 0 0 20 0 18 0 18024361 19430449152 17757 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18024367 19430449152 17757 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18024368 19430449152 17757 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71028 KiB

[startup+0.700616 s]
/proc/loadavg: 1.99 0.55 0.24 7/323 172401
/proc/meminfo: memFree=122666196/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=18975048 memory=138776 CPUtime=1.22 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 9888 0 0 0 116 6 0 0 20 0 18 0 18024361 19430449152 34694 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4743762 34694 5826 1 0 553082 0
[pid=172383/tid=172385] ppid=172380 vsize=18975048 memory=5456 CPUtime=0.6 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 6018 0 0 0 56 4 0 0 20 0 18 0 18024361 19430449152 34694 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=18975048 memory=12620 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18024367 19430449152 34694 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18024368 19430449152 34694 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 138776 KiB

[startup+1.50061 s]
/proc/loadavg: 1.99 0.55 0.24 8/324 172402
/proc/meminfo: memFree=122557316/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=231716 CPUtime=2.78 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 19241 0 0 0 268 10 0 0 20 0 20 0 18024361 19566772224 57929 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 57929 5912 1 0 560188 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=12620 CPUtime=1.2 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 6172 0 0 0 115 5 0 0 20 0 20 0 18024361 19566772224 57929 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 57929 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 57929 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 231716 KiB

[startup+3.10561 s]
/proc/loadavg: 2.31 0.64 0.27 7/325 172405
/proc/meminfo: memFree=122346888/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=233552 CPUtime=5.6 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 24104 0 0 0 549 11 0 0 20 0 20 0 18024361 19566772224 58388 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 58388 5928 1 0 560243 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=198340509722 CPUtime=2.76 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 6257 0 0 0 270 6 0 0 20 0 20 0 18024361 19566772224 58388 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 58388 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=12620 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 58388 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=232384 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 58388 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 233552 KiB

[startup+6.30061 s]
/proc/loadavg: 2.31 0.64 0.27 7/325 172405
/proc/meminfo: memFree=121888180/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=280160 CPUtime=10.01 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 29258 0 0 0 988 13 0 0 20 0 20 0 18024361 19566772224 70040 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 70040 5928 1 0 1560852 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=0 CPUtime=5.89 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 7656 0 0 0 582 7 0 0 20 0 20 0 18024361 19566772224 70040 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=12620 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 70040 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=233068 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 70040 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=276036 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 70040 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 10.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 280160 KiB

[startup+12.7006 s]
/proc/loadavg: 2.44 0.69 0.29 5/325 172405
/proc/meminfo: memFree=121401304/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=342140 CPUtime=17 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 36157 0 0 0 1683 17 0 0 20 0 20 0 18024361 19566772224 85535 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 85535 5959 1 0 1561036 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=328112 CPUtime=12.24 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 8157 0 0 0 1215 9 0 0 20 0 20 0 18024361 19566772224 85535 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 85535 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=6083065025397351251 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 85535 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 85535 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 342140 KiB

[startup+25.5006 s]
/proc/loadavg: 2.86 0.87 0.36 5/325 172408
/proc/meminfo: memFree=120745956/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=531816 CPUtime=31.07 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 43184 0 0 0 3085 22 0 0 20 0 20 0 18024361 19566772224 132954 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 132954 5975 1 0 1561045 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=6083065025397351251 CPUtime=24.9 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 9249 0 0 0 2477 13 0 0 20 0 20 0 18024361 19566772224 132954 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 132954 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=2332 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 132954 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=-9175353522535572156 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 132954 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 531816 KiB

[startup+51.1137 s]
/proc/loadavg: 3.60 1.21 0.48 5/328 172482
/proc/meminfo: memFree=118718608/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=1033652 CPUtime=56.75 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 48011 0 0 0 5639 36 0 0 20 0 20 0 18024361 19566772224 258413 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 258413 5975 1 0 1561045 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=1011124 CPUtime=50.34 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 11017 0 0 0 5009 25 0 0 20 0 20 0 18024361 19566772224 258413 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=970124 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 258413 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=912756 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 258413 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 258413 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0

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

/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1074899 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3319 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1074899 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4299516 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1074899 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3256.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4299596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.23 4.12 6/324 173902
/proc/meminfo: memFree=77736048/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4299628 CPUtime=3316.1 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 211305 0 0 0 331040 570 0 0 20 0 20 0 18024361 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1074907 5991 1 0 1561139 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=4299596 CPUtime=3299.42 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 96099 0 0 0 329508 434 0 0 20 0 20 0 18024361 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3070 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=4299628 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=59920 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3319 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4299628 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3316.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4299628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.22 4.12 6/325 173913
/proc/meminfo: memFree=76329492/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4299628 CPUtime=3375.81 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 211799 0 0 0 337001 580 0 0 20 0 20 0 18024361 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1074907 5991 1 0 1561139 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=4299628 CPUtime=3358.96 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 96553 0 0 0 335453 443 0 0 20 0 20 0 18024361 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3094 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=4299596 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=4299628 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3319 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4299628 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1074907 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3375.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4299628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.12 5/325 173924
/proc/meminfo: memFree=74445408/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4371424 CPUtime=3436.16 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 218299 0 0 0 343023 593 0 0 20 0 20 0 18024361 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1092856 5991 1 0 1561155 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=4299628 CPUtime=3418.35 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 98435 0 0 0 341383 452 0 0 20 0 20 0 18024361 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3114 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=4299596 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=4371424 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3364 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4371424 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3436.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4371424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.17 4.10 5/325 173934
/proc/meminfo: memFree=74109020/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4371424 CPUtime=3495.9 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 218346 0 0 0 348993 597 0 0 20 0 20 0 18024361 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1092856 5991 1 0 1561155 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=4371424 CPUtime=3478.05 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 98478 0 0 0 347351 454 0 0 20 0 20 0 18024361 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3129 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=4371424 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=4371424 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3364 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4371424 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1092856 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3495.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4371424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.20 4.12 4/312 174384
/proc/meminfo: memFree=104467936/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4371452 CPUtime=3555.73 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 221042 0 0 0 354969 604 0 0 20 0 20 0 18024361 19566772224 1092863 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1092863 5991 1 0 1561155 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=4371424 CPUtime=3537.79 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 100445 0 0 0 353320 459 0 0 20 0 20 0 18024361 19566772224 1092863 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3140 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=4371452 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1092863 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=4371452 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3396 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1092863 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4371452 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1092863 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3555.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4371452 KiB

[startup+3642.3 s]
/proc/loadavg: 4.72 4.37 4.18 5/324 174475
/proc/meminfo: memFree=102402116/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4371600 CPUtime=3598.37 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 223067 0 0 0 359224 613 0 0 20 0 20 0 18024361 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1092900 5991 1 0 1561155 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=4371424 CPUtime=3580.29 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 100946 0 0 0 357563 466 0 0 20 0 20 0 18024361 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4857 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=4371596 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=4371596 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=4371600 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3598.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4371600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3644 s]*
/proc/loadavg: 4.66 4.36 4.18 5/324 174477
/proc/meminfo: memFree=102394024/131655788 swapFree=131056320/131071996
[pid=172383] ppid=172380 vsize=19108176 memory=4371600 CPUtime=3600.07 cores=1,3
/proc/172383/stat : 172383 (java) S 172380 172383 172041 0 -1 1077936128 223081 0 0 0 359394 613 0 0 20 0 20 0 18024361 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
/proc/172383/statm: 4777044 1092900 5991 1 0 1561155 0
[pid=172383/tid=172385] ppid=172380 vsize=19108176 memory=-8600017562037428924 CPUtime=3582.01 cores=1,3
/proc/172383/task/172385/stat : 172385 (java) R 172380 172383 172041 0 -1 4194368 100959 0 0 0 357734 467 0 0 20 0 20 0 18024361 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4857 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172394] ppid=172380 vsize=19108176 memory=1276243 CPUtime=0 cores=1,3
/proc/172383/task/172394/stat : 172394 (Finalizer) S 172380 172383 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18024367 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172401] ppid=172380 vsize=19108176 memory=1275631 CPUtime=0 cores=1,3
/proc/172383/task/172401/stat : 172401 (Common-Cleaner) S 172380 172383 172041 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 20 0 18024368 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
[pid=172383/tid=172403] ppid=172380 vsize=19108176 memory=1462697 CPUtime=0 cores=1,3
/proc/172383/task/172403/stat : 172403 (Timer-0) S 172380 172383 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18024496 19566772224 1092900 134679101440 94895440556032 94895440559728 140734232113664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94895440567544 94895440568336 94895443857408 140734232122283 140734232122465 140734232122465 140734232129480 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4371600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.03 s, system=6.16643 s

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

[startup+3644.12 s]*
/proc/loadavg: 4.66 4.36 4.18 4/306 174480
/proc/meminfo: memFree=106746360/131655788 swapFree=131056320/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3644.2
CPU time (s): 3600.2
CPU user time (s): 3594.03
CPU system time (s): 6.16643
CPU usage (%): 98.7925
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4371600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.03
system time used= 6.16643
maximum resident set size= 4373116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8591152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111316
involuntary context switches= 6574


# summary of solver processes directly reported to runsolver:
#   pid: 172383
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3594.03
#   total CPU system time (s): 6.16643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6094 second user time and 37.1088 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 13:25:51
IDJOB=4440450
IDBENCH=150995
IDSOLVER=3079
FILE ID=nodeC006/4440450-1721820351
RUNJOBID= nodeC006-1721820325-172053
SLURM_JOB_ID= 7891453
Free space on /tmp= 723764 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440450-1721820351/watcher-4440450-1721820351 -o /tmp/evaluation-result-4440450-1721820351/solver-4440450-1721820351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172053 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440450-1721820351 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440450-1721820351.opb

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

MD5SUM BENCH= 273ff9d6fcea8c8a0f3c86ec45e3976c
RANDOM SEED=661698601

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122781972 kB
MemAvailable:   125593784 kB
Buffers:          242164 kB
Cached:          3181604 kB
SwapCached:          240 kB
Active:          1923556 kB
Inactive:        6011048 kB
Active(anon):       1736 kB
Inactive(anon):  4554104 kB
Active(file):    1921820 kB
Inactive(file):  1456944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:            310708 kB
Writeback:            12 kB
AnonPages:       4510436 kB
Mapped:           112044 kB
Shmem:             45244 kB
KReclaimable:     494956 kB
Slab:             613076 kB
SReclaimable:     494956 kB
SUnreclaim:       118120 kB
KernelStack:        4912 kB
PageTables:        19144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12419676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4132864 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723648 MiB
End job on nodeC006 at 2024-07-24 14:26:35