Trace number 4432310

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)17 3600.36 3448.1

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM0c08209891d9f5241a74237055766898
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 benchmark1
Best CPU time to get the best result obtained on this benchmark0.180845
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432310-1721059296.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.17	c ... done. Wall clock time 0.048s.
0.14/0.17	c declared #vars     934
0.14/0.17	c #constraints  1064
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 873
0.14/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 183
0.14/0.17	c org.sat4j.specs.Constr$1 => 1
0.14/0.17	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6
0.14/0.17	c 1064 constraints processed.
0.14/0.18	c objective function length is 934 literals
0.14/0.19	c SATISFIABLE
0.14/0.19	c OPTIMIZING...
0.14/0.19	c Got one! Elapsed wall clock time (in seconds):0.074
0.14/0.19	o 17
1.48/0.83	c cleaning 2494 clauses out of 5001 with flag 10201/5001
2.03/1.26	c cleaning 4245 clauses out of 8506 with flag 22271/11000
2.61/1.71	c cleaning 5623 clauses out of 11261 with flag 36341/18000
3.19/2.28	c cleaning 6812 clauses out of 13638 with flag 52435/26000
3.96/2.91	c cleaning 7903 clauses out of 15826 with flag 70525/35000
4.73/3.65	c cleaning 8955 clauses out of 17923 with flag 90625/45000
5.59/4.44	c cleaning 9975 clauses out of 19968 with flag 112735/56000
6.44/5.26	c cleaning 10988 clauses out of 21993 with flag 137123/68000
7.71/6.47	c cleaning 11995 clauses out of 24006 with flag 164400/81001
9.21/7.83	c cleaning 12995 clauses out of 26011 with flag 193773/95001
10.52/9.18	c cleaning 13999 clauses out of 28016 with flag 225243/110001
11.88/10.47	c cleaning 15000 clauses out of 30016 with flag 257762/126000
13.34/11.85	c cleaning 15998 clauses out of 32017 with flag 291856/143001
14.95/13.37	c cleaning 16998 clauses out of 34018 with flag 327952/161000
16.79/15.03	c cleaning 18000 clauses out of 36021 with flag 366056/180001
18.37/16.60	c cleaning 19001 clauses out of 38020 with flag 406162/200000
20.27/18.45	c cleaning 20001 clauses out of 40019 with flag 448276/221000
22.22/20.38	c cleaning 21001 clauses out of 42018 with flag 492395/243000
24.53/22.56	c cleaning 22001 clauses out of 44018 with flag 538521/266001
26.74/24.65	c cleaning 22996 clauses out of 46016 with flag 586649/290000
29.28/27.02	c cleaning 24000 clauses out of 48020 with flag 636784/315000
31.73/29.39	c cleaning 25000 clauses out of 50021 with flag 688927/341001
34.60/32.05	c cleaning 26002 clauses out of 52021 with flag 743072/368001
37.41/34.74	c cleaning 26997 clauses out of 54018 with flag 799221/396000
41.15/38.39	c cleaning 28003 clauses out of 56022 with flag 857533/425001
44.90/41.92	c cleaning 29000 clauses out of 58019 with flag 920151/455001
47.90/44.89	c cleaning 30001 clauses out of 60019 with flag 984806/486001
51.55/47.87	c cleaning 30999 clauses out of 62018 with flag 1051549/518001
54.79/50.94	c cleaning 31999 clauses out of 64018 with flag 1120221/551000
64.99/60.84	c cleaning 33000 clauses out of 66019 with flag 1189129/585000
71.21/67.00	c cleaning 33999 clauses out of 68019 with flag 1261775/620000
74.61/70.26	c cleaning 34999 clauses out of 70020 with flag 1335987/656000
77.97/73.56	c cleaning 36000 clauses out of 72021 with flag 1411969/693000
82.53/78.04	c cleaning 37002 clauses out of 74022 with flag 1490046/731001
87.71/83.22	c cleaning 38001 clauses out of 76019 with flag 1569799/770000
92.30/87.81	c cleaning 39000 clauses out of 78019 with flag 1650813/810001
96.88/92.07	c cleaning 40000 clauses out of 80019 with flag 1732813/851001
101.02/96.02	c cleaning 40999 clauses out of 82018 with flag 1817753/893000
105.03/100.10	c cleaning 42002 clauses out of 84019 with flag 1905235/936000
109.30/104.27	c cleaning 42999 clauses out of 86017 with flag 1995435/980000
114.63/109.34	c cleaning 44002 clauses out of 88019 with flag 2086456/1025001
120.31/114.17	c cleaning 45000 clauses out of 90017 with flag 2180212/1071001
125.08/118.89	c cleaning 45998 clauses out of 92017 with flag 2275936/1118001
131.56/125.12	c cleaning 47000 clauses out of 94018 with flag 2373820/1166000
142.69/136.14	c cleaning 47997 clauses out of 96018 with flag 2473150/1215000
151.95/145.36	c cleaning 48999 clauses out of 98021 with flag 2576074/1265000
159.46/152.85	c cleaning 49999 clauses out of 100022 with flag 2679796/1316000
170.10/162.95	c cleaning 51004 clauses out of 102023 with flag 2787468/1368000
181.42/173.92	c cleaning 51997 clauses out of 104020 with flag 2898101/1421001
189.03/180.48	c cleaning 52999 clauses out of 106022 with flag 3009547/1475000
195.21/186.34	c cleaning 54004 clauses out of 108023 with flag 3122521/1530000
201.46/192.43	c cleaning 55001 clauses out of 110020 with flag 3237905/1586001
210.38/201.08	c cleaning 56002 clauses out of 112019 with flag 3356413/1643001
219.37/209.77	c cleaning 56998 clauses out of 114016 with flag 3477683/1701000
228.95/219.03	c cleaning 57997 clauses out of 116019 with flag 3598832/1760001
237.51/227.24	c cleaning 59000 clauses out of 118021 with flag 3721966/1820000
246.08/235.40	c cleaning 59998 clauses out of 120022 with flag 3843972/1881001
254.67/243.73	c cleaning 61003 clauses out of 122023 with flag 3968864/1943000
262.07/250.87	c cleaning 61999 clauses out of 124020 with flag 4097824/2006000
269.78/258.25	c cleaning 63003 clauses out of 126021 with flag 4228192/2070000
278.51/265.74	c cleaning 64002 clauses out of 128020 with flag 4360606/2135002
286.67/273.62	c cleaning 65000 clauses out of 130017 with flag 4495939/2201001
295.83/282.79	c cleaning 66000 clauses out of 132016 with flag 4639291/2268000
305.85/292.35	c cleaning 66999 clauses out of 134016 with flag 4781068/2336000
314.58/300.60	c cleaning 67998 clauses out of 136018 with flag 4922712/2405001
323.19/309.06	c cleaning 68995 clauses out of 138020 with flag 5066400/2475001
332.72/318.26	c cleaning 70001 clauses out of 140025 with flag 5209659/2546001
343.78/328.92	c cleaning 70996 clauses out of 142024 with flag 5353659/2618001
353.77/338.72	c cleaning 72002 clauses out of 144027 with flag 5505882/2691000
363.34/348.02	c cleaning 73000 clauses out of 146025 with flag 5660258/2765000
374.19/358.46	c cleaning 74003 clauses out of 148025 with flag 5816104/2840000
384.33/368.11	c cleaning 74997 clauses out of 150022 with flag 5972834/2916000
394.06/377.74	c cleaning 76001 clauses out of 152025 with flag 6131802/2993000
404.79/388.17	c cleaning 77001 clauses out of 154024 with flag 6288336/3071000
421.80/404.77	c cleaning 78001 clauses out of 156023 with flag 6448797/3150000
434.17/416.75	c cleaning 79000 clauses out of 158023 with flag 6612914/3230001
459.11/439.96	c cleaning 80000 clauses out of 160023 with flag 6779187/3311001
482.20/462.91	c cleaning 80995 clauses out of 162022 with flag 6949518/3393000
495.07/475.44	c cleaning 82002 clauses out of 164027 with flag 7116554/3476000
513.73/493.83	c cleaning 83001 clauses out of 166026 with flag 7284672/3560001
524.61/504.22	c cleaning 83999 clauses out of 168025 with flag 7454672/3645001
540.25/519.69	c cleaning 85001 clauses out of 170025 with flag 7632001/3731000
562.09/540.97	c cleaning 86003 clauses out of 172024 with flag 7812427/3818000
578.68/557.39	c cleaning 87004 clauses out of 174023 with flag 7991411/3906002
599.87/578.01	c cleaning 88001 clauses out of 176018 with flag 8176358/3995001
616.88/594.77	c cleaning 88998 clauses out of 178017 with flag 8361513/4085001
631.28/609.06	c cleaning 90002 clauses out of 180019 with flag 8544815/4176001
646.61/624.09	c cleaning 91000 clauses out of 182017 with flag 8729848/4268001
661.38/638.33	c cleaning 91997 clauses out of 184017 with flag 8921888/4361001
674.29/651.04	c cleaning 92998 clauses out of 186019 with flag 9115816/4455000
685.60/662.00	c cleaning 94004 clauses out of 188022 with flag 9307468/4550001
698.00/674.04	c cleaning 94999 clauses out of 190017 with flag 9501119/4646000
716.76/690.59	c cleaning 96002 clauses out of 192019 with flag 9702381/4743001
732.33/705.82	c cleaning 96995 clauses out of 194017 with flag 9902391/4841001
746.26/719.25	c cleaning 98004 clauses out of 196022 with flag 10103639/4940001
762.66/735.32	c cleaning 98996 clauses out of 198018 with flag 10304979/5040001
779.60/751.56	c cleaning 100001 clauses out of 200021 with flag 10509373/5141000
793.59/765.33	c cleaning 101001 clauses out of 202021 with flag 10716596/5243001
812.17/783.43	c cleaning 102001 clauses out of 204020 with flag 10925782/5346001
829.09/799.88	c cleaning 102997 clauses out of 206019 with flag 11141854/5450001
844.58/815.13	c cleaning 103998 clauses out of 208021 with flag 11359321/5555000
861.62/831.78	c cleaning 105003 clauses out of 210023 with flag 11573297/5661000
880.02/849.59	c cleaning 105999 clauses out of 212021 with flag 11798965/5768001
898.66/867.97	c cleaning 106997 clauses out of 214022 with flag 12027942/5876001
926.96/895.76	c cleaning 107999 clauses out of 216025 with flag 12254232/5985001
945.92/914.15	c cleaning 109001 clauses out of 218026 with flag 12481340/6095001
965.18/933.28	c cleaning 110002 clauses out of 220025 with flag 12705878/6206001
984.61/950.39	c cleaning 111000 clauses out of 222022 with flag 12936953/6318000
999.72/965.23	c cleaning 111999 clauses out of 224022 with flag 13169252/6431000
1017.82/982.73	c cleaning 113005 clauses out of 226024 with flag 13399841/6545001
1034.36/999.02	c cleaning 113999 clauses out of 228018 with flag 13634947/6660000
1051.44/1015.63	c cleaning 114999 clauses out of 230020 with flag 13875116/6776001
1071.94/1035.95	c cleaning 115998 clauses out of 232020 with flag 14116697/6893000
1094.33/1057.46	c cleaning 117000 clauses out of 234022 with flag 14356586/7011000
1110.70/1073.51	c cleaning 117999 clauses out of 236023 with flag 14598665/7130001
1128.65/1090.98	c cleaning 118998 clauses out of 238023 with flag 14846751/7250000
1145.60/1107.67	c cleaning 120000 clauses out of 240026 with flag 15094844/7371001
1161.73/1123.26	c cleaning 121002 clauses out of 242025 with flag 15341936/7493000
1181.13/1142.08	c cleaning 122001 clauses out of 244024 with flag 15595634/7616001
1200.29/1160.96	c cleaning 123000 clauses out of 246022 with flag 15848954/7740000
1225.45/1185.54	c cleaning 124001 clauses out of 248023 with flag 16105679/7865001
1247.73/1207.63	c cleaning 124998 clauses out of 250021 with flag 16365184/7991000
1269.41/1228.89	c cleaning 126003 clauses out of 252023 with flag 16624674/8118000
1294.64/1253.38	c cleaning 126994 clauses out of 254020 with flag 16880895/8246000
1317.78/1273.66	c cleaning 127999 clauses out of 256026 with flag 17138926/8375000
1345.73/1301.01	c cleaning 129005 clauses out of 258028 with flag 17407227/8505001
1375.12/1330.09	c cleaning 130000 clauses out of 260022 with flag 17677351/8636000
1400.30/1354.69	c cleaning 130999 clauses out of 262022 with flag 17958568/8768000
1433.88/1388.19	c cleaning 132001 clauses out of 264024 with flag 18231792/8901001
1455.86/1409.62	c cleaning 133000 clauses out of 266023 with flag 18511226/9035001
1484.46/1437.51	c cleaning 133998 clauses out of 268023 with flag 18789787/9170001
1513.46/1466.13	c cleaning 135000 clauses out of 270025 with flag 19067184/9306001
1536.93/1488.88	c cleaning 135991 clauses out of 272024 with flag 19446125/9443000
1556.55/1508.17	c cleaning 137007 clauses out of 274033 with flag 19881238/9581000
1571.64/1522.59	c cleaning 138010 clauses out of 276027 with flag 20310122/9720001
1586.94/1536.94	c cleaning 139001 clauses out of 278017 with flag 20735999/9860001
1603.77/1553.33	c cleaning 139991 clauses out of 280015 with flag 21160896/10001000
1618.92/1567.66	c cleaning 141002 clauses out of 282024 with flag 21606957/10143000
1638.80/1584.33	c cleaning 141999 clauses out of 284022 with flag 22074983/10286000
1656.22/1601.09	c cleaning 143002 clauses out of 286025 with flag 22541484/10430002
1678.98/1623.04	c cleaning 143990 clauses out of 288022 with flag 23033320/10575001
1697.98/1641.65	c cleaning 145011 clauses out of 290031 with flag 23496037/10721000
1715.14/1657.97	c cleaning 145998 clauses out of 292021 with flag 23955031/10868001
1730.84/1673.24	c cleaning 146995 clauses out of 294024 with flag 24425616/11016002
1746.37/1688.00	c cleaning 148005 clauses out of 296028 with flag 24875309/11165001
1767.00/1707.99	c cleaning 149003 clauses out of 298023 with flag 25296160/11315001
1782.39/1722.94	c cleaning 149997 clauses out of 300019 with flag 25740125/11466000
1797.16/1736.95	c cleaning 151002 clauses out of 302022 with flag 26213790/11618000
1812.49/1751.48	c cleaning 152002 clauses out of 304022 with flag 26668028/11771002
1834.85/1773.52	c cleaning 153003 clauses out of 306019 with flag 27161505/11925001
1854.43/1789.24	c cleaning 153998 clauses out of 308015 with flag 27659802/12080000
1868.57/1802.62	c cleaning 154996 clauses out of 310019 with flag 28153998/12236002
1883.55/1817.25	c cleaning 156003 clauses out of 312022 with flag 28648825/12393001
1901.78/1834.76	c cleaning 157004 clauses out of 314018 with flag 29156862/12551000
1919.83/1851.95	c cleaning 157998 clauses out of 316014 with flag 29667865/12710000
1936.76/1868.56	c cleaning 159002 clauses out of 318016 with flag 30195865/12870000
1955.09/1886.28	c cleaning 159992 clauses out of 320014 with flag 30714155/13031000
1971.85/1902.21	c cleaning 160998 clauses out of 322022 with flag 31211728/13193000
1992.01/1922.18	c cleaning 162012 clauses out of 324024 with flag 31711855/13356000
2009.40/1938.65	c cleaning 162995 clauses out of 326012 with flag 32225400/13520000
2027.88/1956.33	c cleaning 164002 clauses out of 328021 with flag 32741121/13685004
2046.47/1974.66	c cleaning 165004 clauses out of 330015 with flag 33264457/13851000
2073.02/1997.42	c cleaning 165998 clauses out of 332011 with flag 33812318/14018000
2089.77/2013.47	c cleaning 166994 clauses out of 334014 with flag 34348935/14186001
2107.41/2030.36	c cleaning 168010 clauses out of 336020 with flag 34892072/14355001
2122.35/2044.94	c cleaning 169005 clauses out of 338009 with flag 35425408/14525000
2138.71/2060.64	c cleaning 169991 clauses out of 340005 with flag 35980786/14696001
2154.34/2075.51	c cleaning 170992 clauses out of 342014 with flag 36499639/14868001
2173.74/2094.18	c cleaning 171995 clauses out of 344021 with flag 37023085/15041000
2191.10/2111.19	c cleaning 173005 clauses out of 346027 with flag 37538822/15215001
2206.44/2125.82	c cleaning 174002 clauses out of 348021 with flag 38074699/15390000
2225.96/2144.76	c cleaning 174990 clauses out of 350019 with flag 38552873/15566000
2246.78/2164.60	c cleaning 176007 clauses out of 352029 with flag 39021189/15743000
2271.63/2185.78	c cleaning 177004 clauses out of 354022 with flag 39503289/15921000
2290.11/2203.47	c cleaning 178002 clauses out of 356019 with flag 39985683/16100001
2307.12/2219.65	c cleaning 178995 clauses out of 358017 with flag 40487692/16280001
2325.73/2238.08	c cleaning 179999 clauses out of 360021 with flag 40978428/16461000
2345.74/2257.35	c cleaning 181000 clauses out of 362026 with flag 41485076/16643004
2364.88/2275.78	c cleaning 182001 clauses out of 364022 with flag 41987427/16826000
2386.64/2296.71	c cleaning 182995 clauses out of 366021 with flag 42502965/17010000
2408.86/2318.16	c cleaning 184007 clauses out of 368026 with flag 43009497/17195000
2428.45/2337.40	c cleaning 185009 clauses out of 370021 with flag 43515954/17381002
2447.40/2355.79	c cleaning 185982 clauses out of 372010 with flag 44016912/17568000
2464.76/2372.43	c cleaning 187014 clauses out of 374028 with flag 44534362/17756000
2486.92/2390.78	c cleaning 187991 clauses out of 376014 with flag 45093607/17945000
2505.95/2408.90	c cleaning 189003 clauses out of 378024 with flag 45614176/18135001
2524.00/2426.11	c cleaning 190002 clauses out of 380021 with flag 46131679/18326001
2541.84/2443.55	c cleaning 190999 clauses out of 382018 with flag 46680273/18518000
2560.35/2461.46	c cleaning 192002 clauses out of 384021 with flag 47225777/18711002
2579.31/2479.79	c cleaning 192995 clauses out of 386018 with flag 47757282/18905001
2598.07/2497.94	c cleaning 193985 clauses out of 388022 with flag 48288558/19100000
2615.92/2515.12	c cleaning 195012 clauses out of 390037 with flag 48814993/19296000
2634.79/2533.27	c cleaning 195996 clauses out of 392026 with flag 49346853/19493001
2653.86/2551.52	c cleaning 197009 clauses out of 394029 with flag 49879943/19691000
2677.54/2570.74	c cleaning 198003 clauses out of 396020 with flag 50436020/19890000
2696.65/2588.96	c cleaning 199008 clauses out of 398017 with flag 50985533/20090000
2716.74/2608.15	c cleaning 199993 clauses out of 400009 with flag 51523889/20291000
2736.93/2628.00	c cleaning 201004 clauses out of 402016 with flag 52072770/20493000
2755.56/2646.19	c cleaning 201995 clauses out of 404012 with flag 52610592/20696000
2775.70/2665.46	c cleaning 202997 clauses out of 406017 with flag 53160138/20900000
2797.94/2687.05	c cleaning 204007 clauses out of 408021 with flag 53721446/21105001
2818.22/2706.61	c cleaning 204994 clauses out of 410013 with flag 54268508/21311000
2839.46/2727.39	c cleaning 206001 clauses out of 412019 with flag 54819107/21518000
2860.13/2747.39	c cleaning 207006 clauses out of 414019 with flag 55402211/21726001
2885.78/2769.17	c cleaning 207995 clauses out of 416012 with flag 55956451/21935000
2907.86/2790.57	c cleaning 208990 clauses out of 418018 with flag 56521464/22145001
2928.51/2810.40	c cleaning 210008 clauses out of 420027 with flag 57097171/22356000
2948.90/2830.29	c cleaning 211010 clauses out of 422019 with flag 57667075/22568000
2972.47/2853.15	c cleaning 211992 clauses out of 424010 with flag 58246460/22781001
2999.25/2879.47	c cleaning 213001 clauses out of 426017 with flag 58865035/22995000
3021.89/2900.85	c cleaning 214003 clauses out of 428016 with flag 59441316/23210000
3045.61/2923.77	c cleaning 214998 clauses out of 430014 with flag 60034992/23426001
3069.45/2946.75	c cleaning 215991 clauses out of 432015 with flag 60634619/23643000
3097.07/2968.85	c cleaning 217002 clauses out of 434025 with flag 61237322/23861001
3119.46/2990.49	c cleaning 218006 clauses out of 436026 with flag 61857712/24080004
3142.40/3012.63	c cleaning 219002 clauses out of 438017 with flag 62467746/24300001
3164.38/3034.00	c cleaning 219999 clauses out of 440014 with flag 63081734/24521000
3187.15/3056.08	c cleaning 220995 clauses out of 442015 with flag 63694481/24743000
3209.65/3077.47	c cleaning 222005 clauses out of 444020 with flag 64306800/24966000
3234.13/3101.05	c cleaning 222987 clauses out of 446015 with flag 64922759/25190000
3259.49/3125.57	c cleaning 224004 clauses out of 448028 with flag 65553800/25415000
3282.58/3147.83	c cleaning 224992 clauses out of 450024 with flag 66173808/25641000
3312.78/3173.87	c cleaning 225994 clauses out of 452032 with flag 66800322/25868000
3335.59/3196.01	c cleaning 227016 clauses out of 454039 with flag 67442254/26096001
3358.69/3218.17	c cleaning 227995 clauses out of 456023 with flag 68065970/26325001
3383.43/3241.99	c cleaning 229001 clauses out of 458027 with flag 68700050/26555000
3410.37/3268.10	c cleaning 230008 clauses out of 460026 with flag 69334849/26786000
3436.68/3293.71	c cleaning 230997 clauses out of 462018 with flag 69976824/27018000
3461.07/3316.89	c cleaning 231993 clauses out of 464021 with flag 70610754/27251000
3487.12/3342.18	c cleaning 233006 clauses out of 466028 with flag 71239649/27485000
3515.71/3366.12	c cleaning 233984 clauses out of 468022 with flag 71883965/27720000
3540.47/3390.30	c cleaning 235006 clauses out of 470038 with flag 72519120/27956000
3566.62/3415.53	c cleaning 235998 clauses out of 472033 with flag 73166908/28193001
3590.70/3438.86	c cleaning 237006 clauses out of 474034 with flag 73813923/28431000
3600.04/3447.95	c starts		: 119744
3600.04/3447.95	c conflicts		: 28550457
3600.04/3447.95	c decisions		: 115704707
3600.04/3447.95	c propagations		: 1571583072
3600.04/3447.95	c inspects		: 9578814616
3600.04/3447.95	c shortcuts		: 0
3600.04/3447.95	c learnt literals	: 0
3600.04/3447.95	c learnt binary clauses	: 0
3600.04/3447.95	c learnt ternary clauses	: 0
3600.04/3447.95	c learnt constraints	: 28550457
3600.04/3447.95	c ignored constraints	: 0
3600.04/3447.95	c root simplifications	: 0
3600.04/3447.95	c removed literals (reason simplification)	: 0
3600.04/3447.95	c reason swapping (by a shorter reason)	: 0
3600.04/3447.95	c Calls to reduceDB	: 234
3600.04/3447.95	c Number of update (reduction) of LBD	: 4611938
3600.04/3447.95	c Imported unit clauses	: 0
3600.04/3447.95	c No decision after first conflict	: false
3600.04/3447.95	c number of reductions to clauses (during analyze)	: 0
3600.04/3447.95	c number of learned constraints concerned by reduction	: 0
3600.04/3447.95	c number of learning phase by resolution	: 0
3600.04/3447.95	c number of learning phase by cutting planes	: 0
3600.04/3447.95	c number of rounding to 1 operations	: 0
3600.04/3447.95	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3447.95	c number of reductions of the coefficients by power 2 	: 0
3600.04/3447.95	c number of right shift for reduction by power 2 	: 0
3600.04/3447.95	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3447.95	c number of ending skipping 	: 0
3600.04/3447.95	c number of internal skipping 	: 0
3600.04/3447.95	c number of derivation steps 	: 0
3600.04/3447.95	c number of skipped derivation steps 	: 0
3600.04/3447.95	c number of remaining unassigned 	: 0
3600.04/3447.95	c number of remaining assigned 	: 0
3600.04/3447.95	c number of falsified literals weakened from reason	: 0
3600.04/3447.95	c number of falsified literals weakened from conflict	: 0
3600.04/3447.95	c time for arithmetic operations	: 0
3600.04/3447.95	c minimum degree of deleted constraints	: null
3600.04/3447.95	c maximum degree of deleted constraints	: null
3600.04/3447.98	c number of deleted constraints	: 0
3600.04/3447.98	c speed (assignments/second)	: 455823.9774231862
3600.04/3447.98	c non guided choices	: 0
3600.27/3448.05	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 356485
3600.27/3448.05	s SATISFIABLE
3600.27/3448.05	c Found 1 solution(s)
3600.27/3448.05	v x1 x2 x3 x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 -x17 -x18 x19 x20 x21 -x22 x23 x24 -x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 -x40 x41 x42 x43 x44 x45 x46 -x47 -x48 x49 x50 -x51 -x52 x53 x54 x55 -x56 x57 x58 x59 x60 x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 x80 -x81 x82 -x83 -x84 x85 x86 -x87 -x88 x89 x90 -x91 -x92 -x93 x94 -x95 -x96 x97 x98 -x99 -x100 x101 x102 -x103 -x104 x105 x106 x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 x115 x116 x117 x118 x119 -x120 -x121 x122 x123 x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 x144 -x145 -x146 x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 x171 x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 x190 x191 -x192 -x193 -x194 x195 x196 -x197 -x198 -x199 x200 x201 -x202 x203 x204 -x205 -x206 x207 x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 x225 -x226 -x227 x228 x229 -x230 -x231 x232 x233 x234 -x235 x236 x237 x238 -x239 x240 x241 -x242 -x243 x244 x245 x246 -x247 -x248 x249 x250 -x251 -x252 x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 x295 x296 -x297 -x298 x299 x300 -x301 -x302 x303 x304 -x305 -x306 x307 x308 -x309 -x310 x311 x312 -x313 -x314 x315 x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 -x331 x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 x344 x345 x346 -x347 -x348 x349 x350 -x351 -x352 x353 x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 x367 x368 x369 x370 -x371 -x372 -x373 x374 -x375 -x376 x377 x378 -x379 -x380 -x381 x382 x383 -x384 -x385 -x386 x387 -x388 -x389 x390 x391 -x392 -x393 x394 x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 x404 x405 x406 x407 -x408 -x409 -x410 x411 -x412 -x413 x414 x415 -x416 -x417 x418 x419 x420 x421 x422 x423 x424 x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 x437 x438 x439 x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 x459 x460 x461 x462 x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 x491 -x492 -x493 x494 x495 -x496 -x497 x498 x499 -x500 -x501 -x502 x503 x504 x505 x506 x507 -x508 -x509 x510 x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 x559 x560 -x561 -x562 -x563 x564 -x565 -x566 x567 x568 x569 x570 x571 x572 -x573 -x574 x575 x576 x577 -x578 x579 -x580 -x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 x591 x592 -x593 -x594 x595 x596 x597 x598 x599 x600 -x601 -x602 x603 x604 -x605 -x606 x607 x608 -x609 -x610 x611 x612 -x613 -x614 -x615 x616 x617 x618 -x619 -x620 -x621 -x622 x623 x624 -x625 -x626 x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 x645 -x646 -x647 x648 x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 x673 -x674 -x675 -x676 x677 x678 x679 x680 x681 x682 -x683 x684 x685 x686 -x687 -x688 x689 x690 -x691 -x692 -x693 x694 -x695 -x696 x697 x698 x699 -x700 -x701 -x702 x703 x704 -x705 -x706 x707 x708 -x709 -x710 x711 x712 -x713 -x714 x715 x716 -x717 -x718 -x719 x720 -x721 -x722 x723 x724 -x725 -x726 x727 x728 x729 -x730 x731 x732 x733 x734 x735 -x736 x737 x738 -x739 -x740 x741 x742 -x743 -x744 -x745 x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 x755 -x756 -x757 x758 x759 x760 x761 x762 -x763 -x764 x765 x766 x767 x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 -x780 x781 x782 x783 x784 x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 x805 x806 -x807 -x808 x809 x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 x818 -x819 -x820 x821 x822 -x823 -x824 x825 x826 -x827 -x828 -x829 x830 x831 -x832 -x833 x834 x835 -x836 -x837 x838 x839 -x840 -x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 x867 -x868 -x869 x870 x871 -x872 -x873 x874 x875 x876 -x877 -x878 x879 x880 -x881 -x882 -x883 x884 x885 -x886 x887 x888 -x889 x890 x891 -x892 -x893 x894 x895 x896 -x897 x898 x899 -x900 -x901 -x902 -x903 x904 -x905 x906 x907 -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 x916 -x917 -x918 x919 x920 x921 -x922 x923 x924 -x925 -x926 x927 x928 -x929 -x930 -x931 -x932 x933 x934 
3600.27/3448.05	c objective function=17
3600.27/3448.05	c Total wall clock time (in seconds): 3447.934

Verifier Data 

OK	17

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432310-1721059296/watcher-4432310-1721059296 -o /tmp/evaluation-result-4432310-1721059296/solver-4432310-1721059296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811016 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432310-1721059296.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=811083, runsolver pid=811080

[startup+0.100164 s]*
/proc/loadavg: 4.30 4.24 4.16 11/327 811146
/proc/meminfo: memFree=128404736/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=18975048 memory=64580 CPUtime=0.14 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 7216 0 0 0 13 1 0 0 20 0 18 0 158098536 19430449152 16145 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4743762 16145 5535 1 0 549343 0
[pid=811083/tid=811088] ppid=811080 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 5762 0 0 0 7 1 0 0 20 0 18 0 158098536 19430449152 16145 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=18975048 memory=15932 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158098538 19430449152 16145 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158098539 19430449152 16145 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64580 KiB

[startup+0.206951 s]*
/proc/loadavg: 4.30 4.24 4.16 13/330 811149
/proc/meminfo: memFree=128371660/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19041612 memory=73592 CPUtime=0.34 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 7665 0 0 0 32 2 0 0 20 0 19 0 158098536 19498610688 18398 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4760403 18398 5838 1 0 549961 0
[pid=811083/tid=811088] ppid=811080 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 1077936192 6047 0 0 0 16 1 0 0 20 0 19 0 158098536 19498610688 18398 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19041612 memory=15932 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098538 19498610688 18398 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19041612 memory=14408211646121490 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098539 19498610688 18398 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098554 19498610688 18398 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73592 KiB

[startup+0.306228 s]*
/proc/loadavg: 4.30 4.24 4.16 12/331 811150
/proc/meminfo: memFree=128262952/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19041612 memory=80744 CPUtime=0.52 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 9379 0 0 0 50 2 0 0 20 0 19 0 158098536 19498610688 20186 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4760403 20186 5838 1 0 550806 0
[pid=811083/tid=811088] ppid=811080 vsize=19041612 memory=-8526838479124275900 CPUtime=0.27 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 6070 0 0 0 26 1 0 0 20 0 19 0 158098536 19498610688 20186 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098538 19498610688 20186 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098539 19498610688 20186 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098554 19498610688 20186 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80744 KiB

[startup+0.701228 s]
/proc/loadavg: 4.30 4.24 4.16 13/332 811151
/proc/meminfo: memFree=128205648/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19041612 memory=116068 CPUtime=1.29 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 12981 0 0 0 126 3 0 0 20 0 19 0 158098536 19498610688 29017 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4760403 29017 5870 1 0 552908 0
[pid=811083/tid=811088] ppid=811080 vsize=19041612 memory=40552 CPUtime=0.63 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 6088 0 0 0 62 1 0 0 20 0 19 0 158098536 19498610688 29017 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19041612 memory=12512 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158098538 19498610688 29017 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19041612 memory=2268 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158098539 19498610688 29017 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19041612 memory=25944 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158098554 19498610688 29017 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116068 KiB

[startup+1.50024 s]
/proc/loadavg: 4.76 4.34 4.19 9/332 811151
/proc/meminfo: memFree=128074004/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=238132 CPUtime=2.4 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 17052 0 0 0 234 6 0 0 20 0 20 0 158098536 19566772224 59533 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 59533 5886 1 0 553293 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=12512 CPUtime=1.36 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 6481 0 0 0 134 2 0 0 20 0 20 0 158098536 19566772224 59533 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 59533 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 59533 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=25944 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 59533 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 238132 KiB

[startup+3.10623 s]
/proc/loadavg: 4.76 4.34 4.19 6/335 811156
/proc/meminfo: memFree=127232904/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=369876 CPUtime=4.16 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 18275 0 0 0 407 9 0 0 20 0 20 0 158098536 19566772224 92469 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 92469 5886 1 0 553297 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=0 CPUtime=2.82 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 6786 0 0 0 280 2 0 0 20 0 20 0 158098536 19566772224 92469 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=-9175356825465627324 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 92469 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=12512 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 92469 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 92469 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 369876 KiB

[startup+6.30028 s]
/proc/loadavg: 4.70 4.33 4.19 6/335 811156
/proc/meminfo: memFree=125850792/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=789888 CPUtime=7.61 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 19821 0 0 0 743 18 0 0 20 0 20 0 158098536 19566772224 197472 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 197472 5886 1 0 1027462 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=12512 CPUtime=5.75 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 7028 0 0 0 569 6 0 0 20 0 20 0 158098536 19566772224 197472 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 197472 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 197472 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=238132 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 197472 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 789888 KiB

[startup+12.7012 s]
/proc/loadavg: 4.72 4.34 4.20 5/335 811158
/proc/meminfo: memFree=123593788/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=1240164 CPUtime=14.26 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 23947 0 0 0 1399 27 0 0 20 0 20 0 158098536 19566772224 310041 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 310041 5886 1 0 1192477 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=238132 CPUtime=11.87 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 7736 0 0 0 1177 10 0 0 20 0 20 0 158098536 19566772224 310041 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=1121368 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 310041 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=12512 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 310041 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 310041 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1240164 KiB

[startup+25.5003 s]
/proc/loadavg: 4.61 4.33 4.19 5/335 811159
/proc/meminfo: memFree=118396068/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=2273796 CPUtime=27.64 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 25202 0 0 0 2717 47 0 0 20 0 20 0 158098536 19566772224 568449 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 568449 5892 1 0 1309466 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=1121368 CPUtime=23.9 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 8220 0 0 0 2375 15 0 0 20 0 20 0 158098536 19566772224 568449 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=2120160 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 568449 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=-9175356825465627324 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 568449 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 568449 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 27.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2273796 KiB

[startup+51.1058 s]
/proc/loadavg: 4.56 4.35 4.20 5/335 811163
/proc/meminfo: memFree=111041160/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=3853784 CPUtime=55 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 41607 0 0 0 5419 81 0 0 20 0 20 0 158098536 19566772224 963446 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 963446 5892 1 0 1422833 0

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

/proc/meminfo: memFree=77907232/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273208 CPUtime=3235.43 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 505049 0 0 0 323071 472 0 0 20 0 20 0 158098536 19566772224 3818302 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818302 5923 1 0 4087610 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=15273196 CPUtime=2975.74 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 124302 0 0 0 297477 97 0 0 20 0 20 0 158098536 19566772224 3818302 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=15273200 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818302 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1120 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818302 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=16052 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818302 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3235.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273208 KiB

[startup+3162.3 s]
/proc/loadavg: 4.54 4.64 4.70 6/334 812434
/proc/meminfo: memFree=76382276/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273212 CPUtime=3301.38 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 525540 0 0 0 329661 477 0 0 20 0 20 0 158098536 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818303 5923 1 0 4087611 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=15273200 CPUtime=3033.01 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 129564 0 0 0 303204 97 0 0 20 0 20 0 158098536 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=15273196 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1163 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=15273208 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3301.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273212 KiB

[startup+3222.3 s]
/proc/loadavg: 4.41 4.58 4.68 5/334 812444
/proc/meminfo: memFree=75921896/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273212 CPUtime=3362.88 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 528441 0 0 0 335809 479 0 0 20 0 20 0 158098536 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818303 5923 1 0 4087611 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=15273200 CPUtime=3090.89 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 130210 0 0 0 308992 97 0 0 20 0 20 0 158098536 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=15273196 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1164 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=15273212 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3362.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.49 4.64 5/332 812837
/proc/meminfo: memFree=75781312/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273212 CPUtime=3425.3 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 532676 0 0 0 342049 481 0 0 20 0 20 0 158098536 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818303 5923 1 0 4087611 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=15273212 CPUtime=3148.01 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 130856 0 0 0 314704 97 0 0 20 0 20 0 158098536 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=40552 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=12088 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1164 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=15273212 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818303 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3425.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.41 4.60 6/332 812849
/proc/meminfo: memFree=74955176/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273216 CPUtime=3487.31 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 536514 0 0 0 348248 483 0 0 20 0 20 0 158098536 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818304 5923 1 0 4087611 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=40552 CPUtime=3205.33 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 132653 0 0 0 320435 98 0 0 20 0 20 0 158098536 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=15273216 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=1904 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1215 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=15273216 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3487.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.40 4.58 6/332 812859
/proc/meminfo: memFree=74490504/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273216 CPUtime=3552.98 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 557746 0 0 0 354809 489 0 0 20 0 20 0 158098536 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818304 5923 1 0 4087611 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=15273216 CPUtime=3262.56 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 136154 0 0 0 326158 98 0 0 20 0 20 0 158098536 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=15273216 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1215 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=15273216 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3552.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3447.9 s]
/proc/loadavg: 4.17 4.36 4.56 5/332 813035
/proc/meminfo: memFree=74489360/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19108176 memory=15273216 CPUtime=3600.04 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 559582 0 0 0 359513 491 0 0 20 0 20 0 158098536 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4777044 3818304 5923 1 0 4087611 0
[pid=811083/tid=811088] ppid=811080 vsize=19108176 memory=0 CPUtime=3306.01 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 136409 0 0 0 330503 98 0 0 20 0 20 0 158098536 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19108176 memory=15273216 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158098538 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19108176 memory=15273216 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1215 0 0 0 0 0 0 0 20 0 20 0 158098539 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811149] ppid=811080 vsize=19108176 memory=27680 CPUtime=0 cores=4,6
/proc/811083/task/811149/stat : 811149 (Timer-0) S 811080 811083 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158098554 19566772224 3818304 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15273216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.4 s, system=4.96064 s

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

[startup+3448.03 s]*
/proc/loadavg: 4.17 4.36 4.56 7/333 813038
/proc/meminfo: memFree=74489028/131524600 swapFree=131071996/131071996
[pid=811083] ppid=811080 vsize=19307868 memory=15273848 CPUtime=3600.27 cores=4,6
/proc/811083/stat : 811083 (java) S 811080 811083 811005 0 -1 1077936128 561381 0 0 0 359536 491 0 0 20 0 21 0 158098536 19771256832 3818462 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
/proc/811083/statm: 4826967 3818462 5922 1 0 4088533 0
[pid=811083/tid=811088] ppid=811080 vsize=19307868 memory=-8743290532896547516 CPUtime=3306.14 cores=4,6
/proc/811083/task/811088/stat : 811088 (java) R 811080 811083 811005 0 -1 4194368 136525 0 0 0 330516 98 0 0 20 0 21 0 158098536 19771256832 3818462 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811129] ppid=811080 vsize=19307868 memory=-7522550310584869760 CPUtime=0 cores=4,6
/proc/811083/task/811129/stat : 811129 (Finalizer) S 811080 811083 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158098538 19771256832 3818462 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=811137] ppid=811080 vsize=19307868 memory=13473848 CPUtime=0 cores=4,6
/proc/811083/task/811137/stat : 811137 (Common-Cleaner) S 811080 811083 811005 0 -1 1077936192 1215 0 0 0 0 0 0 0 20 0 21 0 158098539 19771256832 3818462 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
[pid=811083/tid=813037] ppid=811080 vsize=19307868 memory=-8743290532896547516 CPUtime=0.07 cores=4,6
/proc/811083/task/813037/stat : 813037 (Thread-0) R 811080 811083 811005 0 -1 4194368 245 0 0 0 7 0 0 0 20 0 21 0 158443329 19771256832 3818462 134679101440 94141568028672 94141568032368 140723006873616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94141568040184 94141568040976 94141586116608 140723006882823 140723006882913 140723006882913 140723006889928 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15273848 KiB

Child status: 143

Real time (s): 3448.1
CPU time (s): 3600.36
CPU user time (s): 3595.4
CPU system time (s): 4.96064
CPU usage (%): 104.416
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15273848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.4
system time used= 4.96064
maximum resident set size= 15274748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120723
involuntary context switches= 23360


# summary of solver processes directly reported to runsolver:
#   pid: 811083
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3595.4
#   total CPU system time (s): 4.96064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69164 second user time and 16.5835 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 18:01:48
IDJOB=4432310
IDBENCH=146663
IDSOLVER=3058
FILE ID=nodeC032/4432310-1721059296
RUNJOBID= nodeC032-1721059308-811016
SLURM_JOB_ID= 7505498
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432310-1721059296/watcher-4432310-1721059296 -o /tmp/evaluation-result-4432310-1721059296/solver-4432310-1721059296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811016 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432310-1721059296.opb

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

MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=131526430

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.834
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3634.791
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3617.839
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.419
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3622.278
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.006
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3618.567
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.192
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128580696 kB
MemAvailable:   129722736 kB
Buffers:          364364 kB
Cached:          1606880 kB
SwapCached:            0 kB
Active:           618256 kB
Inactive:        1717676 kB
Active(anon):       1452 kB
Inactive(anon):   400948 kB
Active(file):     616804 kB
Inactive(file):  1316728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2820 kB
Writeback:             4 kB
AnonPages:        364836 kB
Mapped:           103620 kB
Shmem:             37720 kB
KReclaimable:      96660 kB
Slab:             202192 kB
SReclaimable:      96660 kB
SUnreclaim:       105532 kB
KernelStack:        4040 kB
PageTables:        10028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     752008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-15 18:59:17