Trace number 4459783

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-07SAT (TO)-26 3600.26 3604.15

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb
MD5SUMde470c54aa7fb3a19a57813bb6f3b05e
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark2.26171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1248
Sum of products size (including duplicates)2496
Number of different products624
Sum of products size1248

Quality of the solution as a function of time


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

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.15	c Free memory 		2113181440
0.12/0.15	c Max memory 		16282288128
0.12/0.15	c Total memory 		2122317824
0.12/0.15	c Number of processors 	2
0.12/0.18	--- Begin Solver configuration ---
0.12/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	Learn all clauses as in MiniSAT
0.12/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	No reason simplification
0.12/0.18	Glucose 2.1 dynamic restart strategy
0.12/0.18	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.18	timeout=2147483s
0.12/0.18	DB Simplification allowed=false
0.12/0.18	Listener: none
0.12/0.18	--- End Solver configuration ---
0.12/0.18	c Pseudo Boolean Optimization by upper bound
0.12/0.18	c --- Begin Solver configuration ---
0.12/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	c Learn all clauses as in MiniSAT
0.12/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.19	c No reason simplification
0.12/0.19	c Glucose 2.1 dynamic restart strategy
0.12/0.19	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.19	c timeout=2147483s
0.12/0.19	c DB Simplification allowed=false
0.12/0.19	c Listener: none
0.12/0.19	c --- End Solver configuration ---
0.12/0.19	c solving HOME/instance-4459783-1721939489.opb
0.12/0.19	c reading problem ... 
0.12/0.19	c  objective function found
0.33/0.32	c ... done. Wall clock time 0.125s.
0.33/0.32	c declared #vars     100
0.33/0.32	c internal #vars     724
0.33/0.32	c #constraints  1448
0.33/0.32	c constraints type 
0.33/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624
0.33/0.32	c org.sat4j.specs.Constr$1 => 114
0.33/0.32	c org.sat4j.pb.constraints.pb.UnitClausesPB => 78
0.33/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624
0.33/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 8
0.33/0.32	c 1448 constraints processed.
0.50/0.36	c objective function length is 100 literals
0.50/0.37	c SATISFIABLE
0.50/0.37	c OPTIMIZING...
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.184
0.50/0.37	o -19
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.191
0.50/0.39	o -20
1.03/0.68	c Got one! Elapsed wall clock time (in seconds):0.489
1.03/0.68	o -21
2.03/1.13	c cleaning 2616 clauses out of 5234 with flag 8417/5234
2.60/1.44	c cleaning 4309 clauses out of 8617 with flag 20701/11233
3.28/1.90	c cleaning 5654 clauses out of 11308 with flag 37066/18233
3.89/2.34	c cleaning 6825 clauses out of 13655 with flag 55850/26234
4.14/2.50	c Got one! Elapsed wall clock time (in seconds):2.315
4.14/2.50	o -22
4.14/2.52	c Got one! Elapsed wall clock time (in seconds):2.318
4.14/2.52	o -23
4.14/2.55	c cleaning 6054 clauses out of 12108 with flag 2096/31512
4.69/2.86	c cleaning 6028 clauses out of 12055 with flag 14734/37513
5.09/3.22	c cleaning 6506 clauses out of 13026 with flag 29543/44512
5.50/3.63	c cleaning 7259 clauses out of 14523 with flag 46064/52515
5.91/4.09	c cleaning 8127 clauses out of 16262 with flag 64630/61513
6.49/4.68	c cleaning 9068 clauses out of 18136 with flag 85305/71514
7.19/5.36	c cleaning 10032 clauses out of 20066 with flag 107973/82512
8.10/6.27	c cleaning 11017 clauses out of 22034 with flag 132726/94512
9.59/7.77	c cleaning 12005 clauses out of 24018 with flag 165724/107513
10.90/9.04	c cleaning 13002 clauses out of 26012 with flag 198930/121512
12.72/10.70	c cleaning 14001 clauses out of 28012 with flag 234784/136514
14.72/12.71	c cleaning 15002 clauses out of 30010 with flag 274789/152513
17.22/15.20	c cleaning 16001 clauses out of 32007 with flag 315535/169512
19.71/17.79	c cleaning 17004 clauses out of 34007 with flag 356372/187513
22.02/20.11	c cleaning 18000 clauses out of 36004 with flag 395223/206514
24.30/22.35	c cleaning 18998 clauses out of 38004 with flag 436354/226514
27.20/25.21	c cleaning 19999 clauses out of 40004 with flag 479127/247512
30.02/28.02	c cleaning 21002 clauses out of 42007 with flag 523956/269514
32.31/30.32	c cleaning 21995 clauses out of 44003 with flag 571296/292512
38.80/36.87	c cleaning 23005 clauses out of 46010 with flag 631375/316514
44.69/42.74	c cleaning 24002 clauses out of 48005 with flag 689318/341514
49.51/47.58	c cleaning 24995 clauses out of 50002 with flag 743693/367513
55.90/53.97	c cleaning 26005 clauses out of 52009 with flag 808510/394515
66.27/64.36	c cleaning 26993 clauses out of 54003 with flag 882734/422514
75.56/73.63	c cleaning 28006 clauses out of 56012 with flag 955095/451516
80.37/78.48	c cleaning 29001 clauses out of 58002 with flag 1017030/481512
86.03/84.09	c cleaning 30001 clauses out of 60001 with flag 1080292/512512
91.20/89.23	c cleaning 30995 clauses out of 62000 with flag 1145474/544512
96.20/94.29	c cleaning 32002 clauses out of 64006 with flag 1212711/577513
100.81/98.80	c cleaning 33001 clauses out of 66003 with flag 1281908/611512
107.60/105.68	c cleaning 33998 clauses out of 68003 with flag 1353252/646513
114.88/112.95	c cleaning 35003 clauses out of 70007 with flag 1426714/682515
121.76/119.84	c cleaning 36002 clauses out of 72003 with flag 1502200/719514
134.34/132.46	c cleaning 36997 clauses out of 74000 with flag 1591293/757513
153.01/151.13	c cleaning 37997 clauses out of 76004 with flag 1690240/796514
170.10/168.26	c cleaning 39000 clauses out of 78005 with flag 1786272/836512
185.66/183.83	c cleaning 40001 clauses out of 80008 with flag 1880954/877515
200.42/198.63	c cleaning 41000 clauses out of 82004 with flag 1974765/919512
213.56/211.74	c cleaning 42002 clauses out of 84004 with flag 2063684/962512
231.62/229.83	c cleaning 42993 clauses out of 86004 with flag 2167745/1006514
248.18/246.45	c cleaning 43997 clauses out of 88010 with flag 2264142/1051513
264.01/262.21	c cleaning 45001 clauses out of 90013 with flag 2358785/1097513
279.68/277.98	c cleaning 46003 clauses out of 92011 with flag 2455342/1144512
280.67/278.95	c Got one! Elapsed wall clock time (in seconds):278.757
280.67/278.95	o -24
282.27/280.56	c cleaning 28957 clauses out of 57914 with flag 10322/1156418
283.17/281.41	c cleaning 17472 clauses out of 34957 with flag 22740/1162418
283.97/282.28	c cleaning 12242 clauses out of 24486 with flag 37878/1169419
284.57/282.84	c cleaning 10117 clauses out of 20243 with flag 54756/1177418
285.16/283.42	c cleaning 9560 clauses out of 19126 with flag 73513/1186418
285.87/284.19	c cleaning 9780 clauses out of 19568 with flag 95270/1196420
286.81/285.10	c cleaning 10388 clauses out of 20787 with flag 119199/1207419
287.60/285.85	c cleaning 11199 clauses out of 22399 with flag 143821/1219419
288.91/287.13	c cleaning 12100 clauses out of 24201 with flag 173908/1232420
289.99/288.26	c cleaning 13046 clauses out of 26099 with flag 204302/1246418
291.19/289.46	c cleaning 14021 clauses out of 28054 with flag 237516/1261419
292.38/290.65	c cleaning 15015 clauses out of 30032 with flag 271528/1277418
294.21/292.41	c cleaning 16003 clauses out of 32017 with flag 308906/1294418
296.20/294.40	c cleaning 17006 clauses out of 34017 with flag 351956/1312421
299.59/297.85	c cleaning 18001 clauses out of 36008 with flag 397249/1331418
302.38/300.61	c cleaning 19002 clauses out of 38008 with flag 443273/1351419
306.37/304.60	c cleaning 19999 clauses out of 40006 with flag 486862/1372419
309.37/307.67	c cleaning 20999 clauses out of 42008 with flag 532378/1394420
312.47/310.78	c cleaning 22000 clauses out of 44007 with flag 579672/1417418
315.87/314.14	c cleaning 23001 clauses out of 46007 with flag 629023/1441418
319.35/317.62	c cleaning 24001 clauses out of 48007 with flag 680739/1466419
322.95/321.21	c cleaning 25001 clauses out of 50005 with flag 734638/1492418
326.54/324.87	c cleaning 26002 clauses out of 52005 with flag 790474/1519419
332.42/330.76	c cleaning 26996 clauses out of 54002 with flag 848521/1547418
337.51/335.85	c cleaning 27995 clauses out of 56006 with flag 908698/1576418
341.80/340.19	c cleaning 29006 clauses out of 58011 with flag 970468/1606418
346.68/345.03	c cleaning 29996 clauses out of 60008 with flag 1034359/1637421
352.57/350.99	c cleaning 31005 clauses out of 62011 with flag 1100990/1669420
359.26/357.65	c cleaning 32002 clauses out of 64004 with flag 1168652/1702418
367.75/366.18	c cleaning 32994 clauses out of 66003 with flag 1238652/1736419
376.21/374.68	c cleaning 34005 clauses out of 68009 with flag 1311021/1771419
385.30/383.77	c cleaning 34995 clauses out of 70003 with flag 1385209/1807418
393.98/392.48	c cleaning 36003 clauses out of 72009 with flag 1460752/1844419
400.16/398.63	c cleaning 37001 clauses out of 74005 with flag 1539378/1882418
410.44/408.95	c cleaning 37997 clauses out of 76004 with flag 1619921/1921418
420.96/419.49	c cleaning 38998 clauses out of 78007 with flag 1702068/1961418
432.03/430.57	c cleaning 40005 clauses out of 80009 with flag 1786327/2002418
441.62/440.17	c cleaning 40998 clauses out of 82005 with flag 1872640/2044419
452.33/450.89	c cleaning 42001 clauses out of 84006 with flag 1961412/2087418
465.30/463.87	c cleaning 42997 clauses out of 86006 with flag 2057530/2131419
486.06/484.65	c cleaning 44000 clauses out of 88010 with flag 2162472/2176420
516.29/514.96	c cleaning 44995 clauses out of 90009 with flag 2274840/2222419
547.92/546.66	c cleaning 46007 clauses out of 92013 with flag 2395986/2269418
577.84/576.62	c cleaning 47003 clauses out of 94008 with flag 2514453/2317420
599.30/598.19	c cleaning 48000 clauses out of 96003 with flag 2616741/2366418
616.35/615.23	c cleaning 48999 clauses out of 98003 with flag 2719099/2416418
646.89/645.82	c cleaning 49993 clauses out of 100006 with flag 2840883/2467420
676.25/675.28	c cleaning 50995 clauses out of 102012 with flag 2961659/2519419
696.40/695.45	c cleaning 52005 clauses out of 104018 with flag 3078047/2572420
718.46/717.58	c cleaning 53006 clauses out of 106011 with flag 3188169/2626418
738.25/737.05	c cleaning 53999 clauses out of 108006 with flag 3300642/2681419
777.83/776.77	c cleaning 55004 clauses out of 110007 with flag 3445971/2737419
823.84/822.82	c cleaning 55998 clauses out of 112003 with flag 3594717/2794419
845.69/844.75	c cleaning 56999 clauses out of 114006 with flag 3714716/2852420
889.45/888.50	c cleaning 58000 clauses out of 116006 with flag 3857993/2911419
951.51/950.79	c cleaning 58998 clauses out of 118008 with flag 4023054/2971421
1011.40/1010.73	c cleaning 59991 clauses out of 120007 with flag 4194385/3032418
1065.28/1064.76	c cleaning 61001 clauses out of 122017 with flag 4365978/3094419
1129.66/1129.23	c cleaning 62000 clauses out of 124015 with flag 4552787/3157418
1169.48/1169.16	c cleaning 63003 clauses out of 126015 with flag 4714663/3221418
1227.94/1227.71	c cleaning 64002 clauses out of 128013 with flag 4890149/3286419
1264.56/1264.48	c cleaning 65005 clauses out of 130010 with flag 5035896/3352418
1291.80/1291.79	c cleaning 65997 clauses out of 132006 with flag 5173108/3419419
1319.86/1319.85	c cleaning 67001 clauses out of 134009 with flag 5313560/3487419
1349.01/1349.06	c cleaning 68004 clauses out of 136009 with flag 5460002/3556420
1382.34/1382.45	c cleaning 68997 clauses out of 138005 with flag 5604988/3626420
1412.47/1412.63	c cleaning 70002 clauses out of 140007 with flag 5751690/3697419
1447.72/1447.97	c cleaning 71000 clauses out of 142005 with flag 5901055/3769419
1482.04/1482.31	c cleaning 72001 clauses out of 144004 with flag 6052320/3842418
1515.47/1515.84	c cleaning 73001 clauses out of 146005 with flag 6205004/3916420
1542.22/1542.65	c cleaning 74000 clauses out of 148003 with flag 6360104/3991419
1575.24/1575.76	c cleaning 75002 clauses out of 150006 with flag 6517122/4067422
1606.76/1607.30	c cleaning 75999 clauses out of 152000 with flag 6675657/4144418
1626.61/1627.28	c Got one! Elapsed wall clock time (in seconds):1627.09
1626.61/1627.28	o -25
1634.69/1635.39	c cleaning 67764 clauses out of 135542 with flag 11670/4203959
1639.99/1640.68	c cleaning 36889 clauses out of 73778 with flag 27702/4209959
1642.78/1643.41	c cleaning 21942 clauses out of 43889 with flag 45863/4216959
1643.98/1644.68	c cleaning 14972 clauses out of 29950 with flag 64789/4224962
1645.21/1645.85	c cleaning 11982 clauses out of 23976 with flag 87522/4233960
1646.42/1647.05	c cleaning 10989 clauses out of 21994 with flag 114718/4243960
1647.52/1648.17	c cleaning 10996 clauses out of 22004 with flag 143710/4254959
1648.20/1648.88	c cleaning 11503 clauses out of 23008 with flag 168099/4266959
1649.10/1649.77	c cleaning 12250 clauses out of 24506 with flag 194508/4279960
1649.90/1650.59	c cleaning 13128 clauses out of 26255 with flag 222949/4293959
1650.89/1651.59	c cleaning 14060 clauses out of 28128 with flag 253449/4308960
1652.29/1652.93	c cleaning 15027 clauses out of 30070 with flag 285954/4324962
1653.69/1654.31	c cleaning 16021 clauses out of 32041 with flag 320526/4341960
1655.29/1655.95	c cleaning 17006 clauses out of 34019 with flag 357087/4359959
1656.58/1657.21	c cleaning 18004 clauses out of 36014 with flag 395704/4378960
1657.98/1658.67	c cleaning 19006 clauses out of 38011 with flag 436394/4398961
1659.58/1660.26	c cleaning 19998 clauses out of 40004 with flag 479043/4419960
1661.28/1661.92	c cleaning 21001 clauses out of 42005 with flag 523826/4441959
1663.39/1664.03	c cleaning 22004 clauses out of 44009 with flag 570557/4464964
1665.77/1666.41	c cleaning 22996 clauses out of 46000 with flag 619409/4488959
1668.26/1669.00	c cleaning 24001 clauses out of 48004 with flag 670277/4513959
1678.15/1678.20	c cleaning 24997 clauses out of 50003 with flag 739568/4539960
1689.81/1689.99	c cleaning 25999 clauses out of 52005 with flag 822657/4566959
1699.19/1699.34	c cleaning 26999 clauses out of 54007 with flag 909373/4594960
1708.26/1708.48	c cleaning 27998 clauses out of 56008 with flag 991691/4623960
1717.74/1717.96	c cleaning 29001 clauses out of 58010 with flag 1070508/4653960
1725.32/1725.57	c cleaning 30004 clauses out of 60008 with flag 1135528/4684959
1730.01/1730.26	c cleaning 31003 clauses out of 62005 with flag 1202219/4716960
1740.29/1740.52	c cleaning 31991 clauses out of 64001 with flag 1276736/4749959
1756.76/1757.05	c cleaning 33004 clauses out of 66012 with flag 1368503/4783961
1772.90/1773.22	c cleaning 33998 clauses out of 68007 with flag 1459027/4818960
1786.37/1786.71	c cleaning 34999 clauses out of 70008 with flag 1550852/4854959
1804.63/1805.10	c cleaning 36005 clauses out of 72009 with flag 1648928/4891959
1819.78/1820.21	c cleaning 36996 clauses out of 74005 with flag 1742818/4929960
1836.83/1837.32	c cleaning 37998 clauses out of 76008 with flag 1848543/4968959
1851.61/1852.14	c cleaning 39003 clauses out of 78010 with flag 1944989/5008959
1869.66/1870.26	c cleaning 40000 clauses out of 80007 with flag 2045999/5049959
1885.82/1886.44	c cleaning 40998 clauses out of 82007 with flag 2155044/5091959
1904.77/1905.49	c cleaning 41997 clauses out of 84009 with flag 2260083/5134959
1925.63/1926.35	c cleaning 43001 clauses out of 86012 with flag 2371228/5178959
1947.58/1948.38	c cleaning 44003 clauses out of 88011 with flag 2490483/5223959
1964.95/1965.71	c cleaning 45000 clauses out of 90008 with flag 2603364/5269959
1985.49/1986.35	c cleaning 46006 clauses out of 92011 with flag 2710816/5316962
2002.84/2003.79	c cleaning 47001 clauses out of 94002 with flag 2809491/5364959
2018.51/2019.49	c cleaning 47999 clauses out of 96002 with flag 2910729/5413960
2046.14/2047.16	c cleaning 48997 clauses out of 98003 with flag 3034064/5463960
2083.24/2084.33	c cleaning 49998 clauses out of 100006 with flag 3167625/5514960
2115.86/2117.02	c cleaning 51000 clauses out of 102007 with flag 3295511/5566959
2144.27/2145.57	c cleaning 52003 clauses out of 104008 with flag 3419772/5619960
2168.61/2169.97	c cleaning 53002 clauses out of 106005 with flag 3535766/5673960
2203.24/2204.65	c cleaning 53995 clauses out of 108002 with flag 3669715/5728959
2251.83/2253.39	c cleaning 55000 clauses out of 110007 with flag 3819008/5784959
2300.44/2302.03	c cleaning 55998 clauses out of 112008 with flag 3975259/5841960
2348.22/2350.01	c cleaning 56999 clauses out of 114010 with flag 4129246/5899960
2392.24/2394.06	c cleaning 58002 clauses out of 116012 with flag 4275259/5958961
2437.04/2438.92	c cleaning 58999 clauses out of 118011 with flag 4423714/6018962
2487.43/2489.47	c cleaning 60001 clauses out of 120009 with flag 4582070/6079959
2525.15/2527.29	c cleaning 61002 clauses out of 122008 with flag 4721751/6141959
2551.58/2553.73	c cleaning 62003 clauses out of 124008 with flag 4851732/6204961
2583.13/2585.31	c cleaning 62999 clauses out of 126004 with flag 4985861/6268960
2610.87/2613.19	c cleaning 63995 clauses out of 128004 with flag 5122002/6333959
2643.17/2645.53	c cleaning 64996 clauses out of 130009 with flag 5258942/6399959
2672.90/2675.35	c cleaning 66006 clauses out of 132013 with flag 5398161/6466959
2703.82/2706.37	c cleaning 66998 clauses out of 134007 with flag 5539209/6534959
2734.04/2736.61	c cleaning 68003 clauses out of 136010 with flag 5681346/6603960
2790.63/2793.04	c cleaning 69001 clauses out of 138007 with flag 5848616/6673960
2854.18/2856.77	c cleaning 70000 clauses out of 140006 with flag 6030172/6744960
2924.78/2927.48	c cleaning 71004 clauses out of 142007 with flag 6214014/6816961
3005.51/3008.32	c cleaning 72002 clauses out of 144003 with flag 6406589/6889961
3048.02/3050.92	c cleaning 72997 clauses out of 146001 with flag 6564726/6963961
3086.36/3089.37	c cleaning 73999 clauses out of 148002 with flag 6721768/7038959
3128.37/3131.47	c cleaning 75002 clauses out of 150003 with flag 6884057/7114959
3169.58/3172.76	c cleaning 75995 clauses out of 152002 with flag 7044992/7191960
3207.22/3210.45	c cleaning 76998 clauses out of 154006 with flag 7212150/7269959
3223.68/3226.94	c Got one! Elapsed wall clock time (in seconds):3226.752
3223.68/3226.94	o -26
3228.80/3232.05	c cleaning 63983 clauses out of 127974 with flag 10452/7320925
3230.58/3233.87	c cleaning 34991 clauses out of 69990 with flag 22822/7326924
3231.89/3235.16	c cleaning 20992 clauses out of 42000 with flag 37350/7333925
3232.67/3235.94	c cleaning 14502 clauses out of 29009 with flag 53990/7341926
3233.27/3236.53	c cleaning 11751 clauses out of 23507 with flag 72815/7350926
3233.79/3237.07	c cleaning 10872 clauses out of 21755 with flag 93651/7360925
3234.37/3237.68	c cleaning 10939 clauses out of 21883 with flag 116589/7371925
3235.37/3238.66	c cleaning 11464 clauses out of 22942 with flag 144397/7383924
3236.17/3239.46	c cleaning 12236 clauses out of 24478 with flag 171188/7396924
3237.07/3240.37	c cleaning 13120 clauses out of 26245 with flag 199714/7410927
3238.27/3241.57	c cleaning 14058 clauses out of 28124 with flag 230312/7425926
3239.47/3242.71	c cleaning 15028 clauses out of 30065 with flag 263054/7441925
3240.78/3244.02	c cleaning 16019 clauses out of 32039 with flag 297693/7458927
3242.06/3245.37	c cleaning 17007 clauses out of 34017 with flag 334555/7476924
3243.67/3246.97	c cleaning 18004 clauses out of 36011 with flag 373409/7495925
3245.56/3248.87	c cleaning 19001 clauses out of 38006 with flag 414228/7515924
3248.25/3251.51	c cleaning 19998 clauses out of 40004 with flag 458828/7536924
3252.44/3255.76	c cleaning 21004 clauses out of 42008 with flag 512435/7558926
3256.84/3260.17	c cleaning 22001 clauses out of 44002 with flag 568275/7581924
3261.11/3264.49	c cleaning 22998 clauses out of 46002 with flag 625039/7605925
3266.90/3270.24	c cleaning 23998 clauses out of 48004 with flag 685233/7630925
3271.40/3274.75	c cleaning 25003 clauses out of 50005 with flag 740384/7656924
3277.99/3281.38	c cleaning 25999 clauses out of 52005 with flag 806665/7683927
3284.47/3287.85	c cleaning 26998 clauses out of 54004 with flag 879446/7711925
3291.95/3295.35	c cleaning 27999 clauses out of 56005 with flag 951457/7740924
3299.84/3303.27	c cleaning 29003 clauses out of 58006 with flag 1020920/7770924
3305.42/3308.80	c cleaning 30001 clauses out of 60004 with flag 1085278/7801925
3311.41/3314.82	c cleaning 30998 clauses out of 62003 with flag 1150409/7833925
3318.20/3321.60	c cleaning 32002 clauses out of 64006 with flag 1217987/7866926
3324.38/3327.87	c cleaning 32997 clauses out of 66002 with flag 1287540/7900924
3330.68/3334.12	c cleaning 34003 clauses out of 68005 with flag 1358762/7935924
3339.74/3343.23	c cleaning 35001 clauses out of 70005 with flag 1433622/7971927
3347.83/3351.34	c cleaning 35999 clauses out of 72003 with flag 1509177/8008926
3355.11/3358.64	c cleaning 36997 clauses out of 74002 with flag 1586582/8046924
3361.40/3365.00	c cleaning 37996 clauses out of 76005 with flag 1666109/8085924
3368.28/3371.86	c cleaning 39002 clauses out of 78009 with flag 1747810/8125924
3377.26/3380.84	c cleaning 40001 clauses out of 80009 with flag 1832828/8166926
3387.45/3391.07	c cleaning 41001 clauses out of 82007 with flag 1919905/8208925
3398.72/3402.38	c cleaning 41996 clauses out of 84006 with flag 2008366/8251925
3406.99/3410.64	c cleaning 43000 clauses out of 86010 with flag 2098530/8295925
3416.97/3420.63	c cleaning 44003 clauses out of 88010 with flag 2190935/8340925
3431.29/3434.91	c cleaning 45000 clauses out of 90007 with flag 2288888/8386926
3459.53/3463.27	c cleaning 45996 clauses out of 92005 with flag 2409951/8433924
3482.39/3486.12	c cleaning 47004 clauses out of 94009 with flag 2521872/8481924
3498.74/3502.55	c cleaning 48003 clauses out of 96005 with flag 2622923/8530924
3521.09/3524.97	c cleaning 48999 clauses out of 98003 with flag 2740818/8580925
3537.05/3540.92	c cleaning 49999 clauses out of 100003 with flag 2852900/8631924
3553.32/3557.22	c cleaning 51003 clauses out of 102005 with flag 2961556/8683925
3566.79/3570.79	c cleaning 51997 clauses out of 104001 with flag 3072197/8736924
3595.23/3599.26	c cleaning 52997 clauses out of 106004 with flag 3203375/8790924
3600.02/3604.05	c starts		: 47866
3600.02/3604.06	c conflicts		: 8806084
3600.02/3604.06	c decisions		: 11474419
3600.02/3604.06	c propagations		: 51573603
3600.02/3604.06	c inspects		: 30987990335
3600.02/3604.06	c shortcuts		: 0
3600.02/3604.06	c learnt literals	: 4
3600.02/3604.06	c learnt binary clauses	: 0
3600.02/3604.06	c learnt ternary clauses	: 2
3600.02/3604.06	c learnt constraints	: 8806080
3600.02/3604.06	c ignored constraints	: 0
3600.02/3604.06	c root simplifications	: 0
3600.02/3604.06	c removed literals (reason simplification)	: 0
3600.02/3604.06	c reason swapping (by a shorter reason)	: 0
3600.02/3604.06	c Calls to reduceDB	: 244
3600.02/3604.06	c Number of update (reduction) of LBD	: 297889
3600.02/3604.06	c Imported unit clauses	: 0
3600.02/3604.06	c No decision after first conflict	: false
3600.02/3604.06	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.06	c number of learned constraints concerned by reduction	: 0
3600.02/3604.06	c number of learning phase by resolution	: 0
3600.02/3604.06	c number of learning phase by cutting planes	: 0
3600.02/3604.06	c number of rounding to 1 operations	: 0
3600.02/3604.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.06	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.06	c number of right shift for reduction by power 2 	: 0
3600.02/3604.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.06	c number of ending skipping 	: 0
3600.02/3604.06	c number of internal skipping 	: 0
3600.02/3604.06	c number of derivation steps 	: 0
3600.02/3604.06	c number of skipped derivation steps 	: 0
3600.02/3604.06	c number of remaining unassigned 	: 0
3600.02/3604.06	c number of remaining assigned 	: 0
3600.02/3604.06	c number of falsified literals weakened from reason	: 0
3600.02/3604.06	c number of falsified literals weakened from conflict	: 0
3600.02/3604.06	c time for arithmetic operations	: 0
3600.02/3604.07	c minimum degree of deleted constraints	: null
3600.02/3604.07	c maximum degree of deleted constraints	: null
3600.02/3604.07	c number of deleted constraints	: 0
3600.02/3604.07	c speed (assignments/second)	: 14311.280091616873
3600.02/3604.07	c non guided choices	: 0
3600.02/3604.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 68167
3600.02/3604.12	s SATISFIABLE
3600.02/3604.12	c Found 8 solution(s)
3600.02/3604.12	v -x1 x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 x50 x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 x80 -x81 -x82 -x83 -x84 x85 x86 x87 x88 -x89 x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 
3600.02/3604.12	c objective function=-26
3600.02/3604.12	c Total wall clock time (in seconds): 3603.932

Verifier Data 

OK	-26

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: 64059 MiB (41185 MiB free)
  memory of node 1: 64510 MiB (54194 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459783-1721939489/watcher-4459783-1721939489 -o /tmp/evaluation-result-4459783-1721939489/solver-4459783-1721939489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251129 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459783-1721939489.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=251454, runsolver pid=251451

[startup+0.108375 s]*
/proc/loadavg: 2.09 0.59 0.38 5/318 251472
/proc/meminfo: memFree=97634000/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=18975048 memory=56152 CPUtime=0.12 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 6616 0 0 0 10 2 0 0 20 0 18 0 29937913 19430449152 14038 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4743762 14038 5557 1 0 550924 0
[pid=251454/tid=251456] ppid=251451 vsize=18975048 memory=4026561586 CPUtime=0.1 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 5528 0 0 0 8 2 0 0 20 0 18 0 29937913 19430449152 14038 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29937918 19430449152 14038 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=18975048 memory=3834596516937596960 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29937919 19430449152 14038 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56152 KiB

[startup+0.219363 s]*
/proc/loadavg: 2.09 0.59 0.38 7/318 251472
/proc/meminfo: memFree=97623852/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=18975048 memory=66196 CPUtime=0.33 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 7445 0 0 0 30 3 0 0 20 0 18 0 29937913 19430449152 16549 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4743762 16549 5738 1 0 551581 0
[pid=251454/tid=251456] ppid=251451 vsize=18975048 memory=4782652875487838339 CPUtime=0.21 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 5942 0 0 0 19 2 0 0 20 0 18 0 29937913 19430449152 16549 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=18975048 memory=1122407 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29937918 19430449152 16549 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=18975048 memory=14131147651172177 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29937919 19430449152 16549 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66196 KiB

[startup+0.322358 s]*
/proc/loadavg: 2.09 0.59 0.38 9/318 251472
/proc/meminfo: memFree=97617300/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=18975048 memory=68764 CPUtime=0.5 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 7573 0 0 0 47 3 0 0 20 0 18 0 29937913 19430449152 17191 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4743762 17191 5749 1 0 551648 0
[pid=251454/tid=251456] ppid=251451 vsize=18975048 memory=-9104139258244604604 CPUtime=0.29 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 6015 0 0 0 27 2 0 0 20 0 18 0 29937913 19430449152 17191 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29937918 19430449152 17191 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29937919 19430449152 17191 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68764 KiB

[startup+0.704237 s]
/proc/loadavg: 2.09 0.59 0.38 8/319 251473
/proc/meminfo: memFree=97458888/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19041612 memory=78524 CPUtime=1.2 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 10447 0 0 0 116 4 0 0 20 0 19 0 29937913 19498610688 19631 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4760403 19631 5877 1 0 553592 0
[pid=251454/tid=251456] ppid=251451 vsize=19041612 memory=5456 CPUtime=0.6 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 6102 0 0 0 58 2 0 0 20 0 19 0 29937913 19498610688 19631 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19041612 memory=12108 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29937918 19498610688 19631 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29937919 19498610688 19631 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29937949 19498610688 19631 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78524 KiB

[startup+1.50035 s]
/proc/loadavg: 2.41 0.68 0.41 8/319 251473
/proc/meminfo: memFree=97406928/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19041612 memory=95576 CPUtime=2.78 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 16953 0 0 0 272 6 0 0 20 0 19 0 29937913 19498610688 23894 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4760403 23894 5893 1 0 555107 0
[pid=251454/tid=251456] ppid=251451 vsize=19041612 memory=12108 CPUtime=1.38 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 7069 0 0 0 135 3 0 0 20 0 19 0 29937913 19498610688 23894 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29937918 19498610688 23894 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29937919 19498610688 23894 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19041612 memory=280515320128784 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29937949 19498610688 23894 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95576 KiB

[startup+3.11356 s]
/proc/loadavg: 2.41 0.68 0.41 5/319 251473
/proc/meminfo: memFree=97198088/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19041612 memory=118668 CPUtime=5 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 18210 0 0 0 494 6 0 0 20 0 19 0 29937913 19498610688 29667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4760403 29667 5893 1 0 555180 0
[pid=251454/tid=251456] ppid=251451 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 7545 0 0 0 295 3 0 0 20 0 19 0 29937913 19498610688 29667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19041612 memory=12108 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29937918 19498610688 29667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29937919 19498610688 29667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19041612 memory=11756 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29937949 19498610688 29667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118668 KiB

[startup+6.30044 s]
/proc/loadavg: 2.54 0.74 0.43 5/319 251473
/proc/meminfo: memFree=96844704/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19041612 memory=151360 CPUtime=8.2 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 18756 0 0 0 812 8 0 0 20 0 19 0 29937913 19498610688 37840 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4760403 37840 5893 1 0 555182 0
[pid=251454/tid=251456] ppid=251451 vsize=19041612 memory=12108 CPUtime=6.16 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 7925 0 0 0 612 4 0 0 20 0 19 0 29937913 19498610688 37840 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29937918 19498610688 37840 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19041612 memory=95576 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29937919 19498610688 37840 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29937949 19498610688 37840 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 8.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151360 KiB

[startup+12.7005 s]
/proc/loadavg: 2.65 0.79 0.45 7/319 251542
/proc/meminfo: memFree=96273352/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=190780 CPUtime=14.72 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 22100 0 0 0 1463 9 0 0 20 0 20 0 29937913 19566772224 47695 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 47695 5941 1 0 555471 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=0 CPUtime=12.48 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 8285 0 0 0 1243 5 0 0 20 0 20 0 29937913 19566772224 47695 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=-9104139258244604604 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 47695 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=2224 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 29937919 19566772224 47695 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 47695 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190780 KiB

[startup+25.5005 s]
/proc/loadavg: 2.94 0.91 0.49 5/320 251544
/proc/meminfo: memFree=95576080/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=223988 CPUtime=27.5 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 24645 0 0 0 2739 11 0 0 20 0 20 0 29937913 19566772224 55997 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 55997 5941 1 0 555471 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=11756 CPUtime=25.09 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 9288 0 0 0 2504 5 0 0 20 0 20 0 29937913 19566772224 55997 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=223988 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 55997 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=-9104139258244604604 CPUtime=0 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 29937919 19566772224 55997 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=69356 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 55997 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 27.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 223988 KiB

[startup+51.114 s]
/proc/loadavg: 3.50 1.24 0.61 6/322 251553
/proc/meminfo: memFree=93856024/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=291824 CPUtime=53.12 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 28348 0 0 0 5297 15 0 0 20 0 20 0 29937913 19566772224 72956 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 72956 5972 1 0 555471 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=11756 CPUtime=50.46 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 10867 0 0 0 5041 5 0 0 20 0 20 0 29937913 19566772224 72956 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=291800 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 72956 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.28 4.16 5/320 253088
/proc/meminfo: memFree=82111660/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625784 CPUtime=3278.98 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 122528 0 0 0 327690 208 0 0 20 0 20 0 29937913 19566772224 406446 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406446 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=1625784 CPUtime=3266.25 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 50663 0 0 0 326609 16 0 0 20 0 20 0 29937913 19566772224 406446 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=1625760 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406446 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=1625680 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 3730 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406446 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406446 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3278.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.25 4.16 5/320 253098
/proc/meminfo: memFree=82066192/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625812 CPUtime=3338.85 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 124395 0 0 0 333674 211 0 0 20 0 20 0 29937913 19566772224 406453 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406453 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=5456 CPUtime=3326 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 51382 0 0 0 332584 16 0 0 20 0 20 0 29937913 19566772224 406453 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=1625784 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406453 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=1625812 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 3782 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406453 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=-9104139258244604604 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406453 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3338.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.25 4.17 5/322 253278
/proc/meminfo: memFree=81884284/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625848 CPUtime=3398.72 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 125405 0 0 0 339657 215 0 0 20 0 20 0 29937913 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406462 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=1625784 CPUtime=3385.73 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 51671 0 0 0 338557 16 0 0 20 0 20 0 29937913 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=1625848 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=1625848 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 3831 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=-9104139258244604604 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3398.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.23 4.17 5/322 253289
/proc/meminfo: memFree=81884236/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625848 CPUtime=3458.63 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 127447 0 0 0 345646 217 0 0 20 0 20 0 29937913 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406462 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=1625784 CPUtime=3445.55 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 52413 0 0 0 344539 16 0 0 20 0 20 0 29937913 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=1625848 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=1625848 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 3920 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406462 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3458.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/322 253423
/proc/meminfo: memFree=92810284/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625852 CPUtime=3518.5 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 128904 0 0 0 351630 220 0 0 20 0 20 0 29937913 19566772224 406463 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406463 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=1625848 CPUtime=3505.25 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 52996 0 0 0 350509 16 0 0 20 0 20 0 29937913 19566772224 406463 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=1625852 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406463 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=12108 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 3989 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406463 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=1625852 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406463 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3518.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625852 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.24 4.18 5/321 253501
/proc/meminfo: memFree=95701300/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625860 CPUtime=3578.36 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 129980 0 0 0 357614 222 0 0 20 0 20 0 29937913 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406465 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=-9104139258244604604 CPUtime=3565.01 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 53186 0 0 0 356485 16 0 0 20 0 20 0 29937913 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=1625860 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 4008 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=1625860 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3578.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604 s]*
/proc/loadavg: 4.35 4.26 4.18 5/321 253505
/proc/meminfo: memFree=95647120/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19108176 memory=1625860 CPUtime=3600.02 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 130356 0 0 0 359779 223 0 0 20 0 20 0 29937913 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4777044 406465 5972 1 0 558198 0
[pid=251454/tid=251456] ppid=251451 vsize=19108176 memory=-8671230735473681084 CPUtime=3586.65 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 53490 0 0 0 358649 16 0 0 20 0 20 0 29937913 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19108176 memory=411308 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19108176 memory=2668 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 4008 0 0 0 0 1 0 0 20 0 20 0 29937919 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251473] ppid=251451 vsize=19108176 memory=4572 CPUtime=0 cores=0,2
/proc/251454/task/251473/stat : 251473 (Timer-0) S 251451 251454 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29937949 19566772224 406465 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1625860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598 s, system=2.25998 s

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

[startup+3604.13 s]
/proc/loadavg: 4.35 4.26 4.18 5/321 253505
/proc/meminfo: memFree=95647120/131655788 swapFree=131062644/131071996
[pid=251454] ppid=251451 vsize=19307868 memory=1626668 CPUtime=3600.23 cores=0,2
/proc/251454/stat : 251454 (java) S 251451 251454 251119 0 -1 1077936128 133750 0 0 0 359799 224 0 0 20 0 20 0 29937913 19771256832 406667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
/proc/251454/statm: 4826967 406667 5987 1 0 559124 0
[pid=251454/tid=251456] ppid=251451 vsize=19307868 memory=-9104139258244604604 CPUtime=3586.72 cores=0,2
/proc/251454/task/251456/stat : 251456 (java) R 251451 251454 251119 0 -1 4194368 53844 0 0 0 358656 16 0 0 20 0 20 0 29937913 19771256832 406667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251465] ppid=251451 vsize=19307868 memory=1625812 CPUtime=0 cores=0,2
/proc/251454/task/251465/stat : 251465 (Finalizer) S 251451 251454 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29937918 19771256832 406667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
[pid=251454/tid=251472] ppid=251451 vsize=19307868 memory=1625860 CPUtime=0.01 cores=0,2
/proc/251454/task/251472/stat : 251472 (Common-Cleaner) S 251451 251454 251119 0 -1 1077936192 4008 0 0 0 0 1 0 0 20 0 20 0 29937919 19771256832 406667 134679101440 94352966569984 94352966573680 140731494085152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94352966581496 94352966582288 94352987074560 140731494089734 140731494089824 140731494089824 140731494096840 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1626668 KiB

Child status: 143

Real time (s): 3604.15
CPU time (s): 3600.26
CPU user time (s): 3598
CPU system time (s): 2.25998
CPU usage (%): 99.8923
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1626668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598
system time used= 2.25998
maximum resident set size= 1627360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106823
involuntary context switches= 25862


# summary of solver processes directly reported to runsolver:
#   pid: 251454
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3598
#   total CPU system time (s): 2.25998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8612 second user time and 38.7537 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 22:31:29
IDJOB=4459783
IDBENCH=148560
IDSOLVER=3058
FILE ID=nodeC003/4459783-1721939489
RUNJOBID= nodeC003-1721939462-251129
SLURM_JOB_ID= 8247257
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459783-1721939489/watcher-4459783-1721939489 -o /tmp/evaluation-result-4459783-1721939489/solver-4459783-1721939489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251129 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459783-1721939489.opb

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

MD5SUM BENCH= de470c54aa7fb3a19a57813bb6f3b05e
RANDOM SEED=1956819754

nodeC003.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		: 3492.075
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	: 6984.09
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		: 3655.530
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.31
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.278
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	: 6984.09
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.422
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.31
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		: 3643.721
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	: 6984.09
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		: 3650.316
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.31
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.425
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	: 6984.09
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.403
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        97669284 kB
MemAvailable:   127430528 kB
Buffers:          336296 kB
Cached:         29968240 kB
SwapCached:          968 kB
Active:          2545908 kB
Inactive:       30433016 kB
Active(anon):       2612 kB
Inactive(anon):  2724940 kB
Active(file):    2543296 kB
Inactive(file): 27708076 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              4568 kB
Writeback:             0 kB
AnonPages:       2673624 kB
Mapped:           131004 kB
Shmem:             53440 kB
KReclaimable:     571616 kB
Slab:             686484 kB
SReclaimable:     571616 kB
SUnreclaim:       114868 kB
KernelStack:        4776 kB
PageTables:        15164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10835336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2498560 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-25 23:31:33