Trace number 4432345

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)63681 3600.25 3604.24

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
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 benchmark50769
Best CPU time to get the best result obtained on this benchmark12.3979
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432345-1721113782.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.34/0.23	c ... done. Wall clock time 0.102s.
0.34/0.23	c declared #vars     3945
0.34/0.23	c #constraints  8604
0.34/0.23	c constraints type 
0.34/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506
0.34/0.23	c org.sat4j.specs.Constr$1 => 22
0.34/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
0.34/0.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.34/0.23	c 8604 constraints processed.
0.34/0.24	c objective function length is 1872 literals
0.34/0.27	c SATISFIABLE
0.34/0.27	c OPTIMIZING...
0.34/0.27	c Got one! Elapsed wall clock time (in seconds):0.143
0.34/0.27	o 70191
0.34/0.29	c Got one! Elapsed wall clock time (in seconds):0.162
0.34/0.29	o 68889
0.34/0.30	c Got one! Elapsed wall clock time (in seconds):0.179
0.34/0.30	o 67587
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.196
0.53/0.32	o 66285
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.216
0.53/0.34	o 64983
0.53/0.37	c Got one! Elapsed wall clock time (in seconds):0.251
0.53/0.37	o 63681
2.65/1.87	c cleaning 2631 clauses out of 5275 with flag 25778/5275
4.16/3.26	c cleaning 4313 clauses out of 8644 with flag 53695/11275
6.11/5.07	c cleaning 5649 clauses out of 11331 with flag 84737/18275
8.35/7.19	c cleaning 6820 clauses out of 13683 with flag 123740/26276
10.65/9.49	c cleaning 7930 clauses out of 15862 with flag 177108/35275
13.46/12.09	c cleaning 8960 clauses out of 17933 with flag 234822/45276
16.63/15.02	c cleaning 9961 clauses out of 19972 with flag 303078/56275
19.75/18.07	c cleaning 10991 clauses out of 22012 with flag 375287/68276
23.04/21.35	c cleaning 11997 clauses out of 24020 with flag 458781/81275
26.84/25.16	c cleaning 12978 clauses out of 26023 with flag 552637/95275
30.94/29.28	c cleaning 14009 clauses out of 28045 with flag 646637/110275
34.84/33.15	c cleaning 15010 clauses out of 30036 with flag 743994/126275
38.95/37.23	c cleaning 16008 clauses out of 32026 with flag 852853/143275
43.16/41.42	c cleaning 16986 clauses out of 34018 with flag 955851/161275
48.05/46.36	c cleaning 18010 clauses out of 36032 with flag 1073954/180275
53.14/51.40	c cleaning 18987 clauses out of 38022 with flag 1191563/200275
58.32/56.63	c cleaning 20009 clauses out of 40035 with flag 1309939/221275
63.61/61.94	c cleaning 21010 clauses out of 42026 with flag 1429665/243275
69.49/67.85	c cleaning 21997 clauses out of 44016 with flag 1582752/266275
75.28/73.67	c cleaning 22976 clauses out of 46019 with flag 1727906/290275
81.18/79.54	c cleaning 24019 clauses out of 48046 with flag 1873400/315278
88.05/86.41	c cleaning 25000 clauses out of 50024 with flag 2032683/341275
94.74/93.18	c cleaning 25990 clauses out of 52026 with flag 2188260/368277
102.02/100.40	c cleaning 27003 clauses out of 54036 with flag 2354233/396277
109.90/108.32	c cleaning 27989 clauses out of 56031 with flag 2544450/425275
117.32/115.75	c cleaning 29003 clauses out of 58042 with flag 2737963/455275
124.51/122.97	c cleaning 30011 clauses out of 60039 with flag 2922210/486275
131.99/130.49	c cleaning 31004 clauses out of 62028 with flag 3110637/518275
139.68/138.18	c cleaning 31999 clauses out of 64027 with flag 3297076/551278
148.26/146.77	c cleaning 33007 clauses out of 66028 with flag 3491846/585278
156.44/154.92	c cleaning 33997 clauses out of 68018 with flag 3687694/620275
165.42/163.91	c cleaning 34992 clauses out of 70021 with flag 3926946/656275
174.93/173.40	c cleaning 35994 clauses out of 72029 with flag 4149003/693275
184.01/182.58	c cleaning 37007 clauses out of 74037 with flag 4379041/731277
194.48/193.07	c cleaning 38004 clauses out of 76028 with flag 4666292/770275
205.41/204.01	c cleaning 38985 clauses out of 78024 with flag 4957630/810275
216.05/214.74	c cleaning 40006 clauses out of 80039 with flag 5229197/851275
226.50/225.24	c cleaning 41006 clauses out of 82033 with flag 5513553/893275
236.32/235.19	c cleaning 41993 clauses out of 84027 with flag 5749980/936275
246.26/245.11	c cleaning 42999 clauses out of 86034 with flag 5985499/980275
257.07/255.92	c cleaning 44012 clauses out of 88036 with flag 6262243/1025276
267.34/266.24	c cleaning 45003 clauses out of 90023 with flag 6521731/1071275
277.82/276.78	c cleaning 46003 clauses out of 92020 with flag 6765645/1118275
288.90/287.81	c cleaning 46982 clauses out of 94017 with flag 7023194/1166275
300.77/299.72	c cleaning 48017 clauses out of 96035 with flag 7318620/1215275
313.16/312.17	c cleaning 48991 clauses out of 98019 with flag 7612126/1265276
325.92/324.92	c cleaning 50004 clauses out of 100028 with flag 7939973/1316276
338.64/337.64	c cleaning 51003 clauses out of 102023 with flag 8241529/1368275
351.63/350.73	c cleaning 51993 clauses out of 104020 with flag 8575677/1421275
365.05/364.22	c cleaning 52999 clauses out of 106027 with flag 8887014/1475275
378.07/377.38	c cleaning 54006 clauses out of 108029 with flag 9182716/1530276
392.17/391.51	c cleaning 54982 clauses out of 110022 with flag 9518959/1586275
406.19/405.61	c cleaning 55995 clauses out of 112040 with flag 9875563/1643275
420.87/420.45	c cleaning 57015 clauses out of 114045 with flag 10246777/1701275
435.63/435.25	c cleaning 58009 clauses out of 116030 with flag 10585589/1760275
451.34/450.92	c cleaning 58982 clauses out of 118021 with flag 10913510/1820275
466.70/466.35	c cleaning 60005 clauses out of 120041 with flag 11251481/1881277
482.76/482.46	c cleaning 61014 clauses out of 122035 with flag 11582088/1943276
498.58/498.28	c cleaning 61998 clauses out of 124021 with flag 11918171/2006276
514.84/514.51	c cleaning 62973 clauses out of 126022 with flag 12255450/2070275
531.00/530.77	c cleaning 64017 clauses out of 128049 with flag 12595826/2135275
547.95/547.78	c cleaning 64984 clauses out of 130032 with flag 12866093/2201275
564.93/564.75	c cleaning 66021 clauses out of 132050 with flag 13150267/2268277
581.79/581.61	c cleaning 66994 clauses out of 134027 with flag 13496082/2336275
599.64/599.52	c cleaning 68011 clauses out of 136033 with flag 13914746/2405275
617.79/617.79	c cleaning 68980 clauses out of 138022 with flag 14291915/2475275
637.21/637.17	c cleaning 69997 clauses out of 140042 with flag 14685062/2546275
655.57/655.50	c cleaning 70968 clauses out of 142045 with flag 15147985/2618275
674.63/674.62	c cleaning 72016 clauses out of 144077 with flag 15560518/2691275
693.18/693.22	c cleaning 72998 clauses out of 146061 with flag 16006331/2765275
712.60/712.64	c cleaning 74030 clauses out of 148064 with flag 16494765/2840276
731.06/731.15	c cleaning 75011 clauses out of 150033 with flag 16931131/2916275
749.62/749.76	c cleaning 76009 clauses out of 152025 with flag 17379257/2993278
769.77/769.95	c cleaning 76978 clauses out of 154013 with flag 17868640/3071275
791.09/791.24	c cleaning 78002 clauses out of 156037 with flag 18376922/3150277
811.65/811.89	c cleaning 79013 clauses out of 158034 with flag 18901394/3230276
834.29/834.50	c cleaning 80007 clauses out of 160020 with flag 19432604/3311275
857.35/857.69	c cleaning 80970 clauses out of 162013 with flag 19967971/3393275
880.57/880.54	c cleaning 82001 clauses out of 164043 with flag 20502285/3476275
902.72/902.78	c cleaning 83022 clauses out of 166043 with flag 20977085/3560276
925.16/925.22	c cleaning 83966 clauses out of 168020 with flag 21478323/3645275
947.91/948.07	c cleaning 85018 clauses out of 170054 with flag 21990256/3731275
970.11/970.30	c cleaning 86017 clauses out of 172036 with flag 22488335/3818275
993.16/993.33	c cleaning 86998 clauses out of 174019 with flag 22974157/3906275
1015.81/1016.07	c cleaning 88007 clauses out of 176022 with flag 23431821/3995276
1038.76/1039.05	c cleaning 89000 clauses out of 178015 with flag 23924002/4085276
1062.90/1063.29	c cleaning 90003 clauses out of 180014 with flag 24421194/4176275
1086.18/1086.59	c cleaning 90982 clauses out of 182011 with flag 24957771/4268275
1111.23/1111.65	c cleaning 92003 clauses out of 184029 with flag 25520134/4361275
1135.37/1135.86	c cleaning 93006 clauses out of 186026 with flag 26005541/4455275
1161.21/1161.70	c cleaning 93976 clauses out of 188020 with flag 26518725/4550275
1186.86/1187.45	c cleaning 95018 clauses out of 190044 with flag 26952312/4646275
1213.87/1214.42	c cleaning 95997 clauses out of 192026 with flag 27492341/4743275
1240.31/1240.96	c cleaning 96996 clauses out of 194029 with flag 28064287/4841275
1265.06/1265.78	c cleaning 98006 clauses out of 196033 with flag 28653227/4940275
1290.50/1291.27	c cleaning 98992 clauses out of 198027 with flag 29223004/5040275
1317.24/1317.92	c cleaning 99996 clauses out of 200035 with flag 29790852/5141275
1343.58/1344.34	c cleaning 101017 clauses out of 202040 with flag 30356955/5243276
1370.83/1371.64	c cleaning 102008 clauses out of 204023 with flag 30940326/5346276
1399.17/1400.04	c cleaning 102994 clauses out of 206014 with flag 31564929/5450275
1429.51/1430.45	c cleaning 103994 clauses out of 208020 with flag 32255066/5555275
1458.17/1459.27	c cleaning 104997 clauses out of 210029 with flag 32837064/5661278
1487.79/1488.97	c cleaning 105990 clauses out of 212029 with flag 33454632/5768275
1517.41/1518.64	c cleaning 107006 clauses out of 214040 with flag 34123465/5876276
1545.13/1546.34	c cleaning 108001 clauses out of 216033 with flag 34721345/5985275
1574.16/1575.47	c cleaning 108993 clauses out of 218032 with flag 35396909/6095275
1602.00/1603.31	c cleaning 110006 clauses out of 220039 with flag 35961929/6206275
1631.64/1633.03	c cleaning 111001 clauses out of 222034 with flag 36598386/6318276
1660.57/1662.06	c cleaning 112003 clauses out of 224034 with flag 37276755/6431277
1692.14/1693.39	c cleaning 113001 clauses out of 226029 with flag 37873018/6545275
1723.06/1724.36	c cleaning 114003 clauses out of 228028 with flag 38481763/6660275
1754.27/1755.68	c cleaning 114989 clauses out of 230026 with flag 39138944/6776276
1785.68/1787.15	c cleaning 116005 clauses out of 232037 with flag 39749108/6893276
1817.00/1818.53	c cleaning 117000 clauses out of 234031 with flag 40389936/7011275
1849.42/1851.08	c cleaning 118000 clauses out of 236031 with flag 41095574/7130275
1881.63/1883.37	c cleaning 118983 clauses out of 238032 with flag 41835317/7250276
1915.36/1917.09	c cleaning 120007 clauses out of 240049 with flag 42589185/7371276
1949.09/1950.85	c cleaning 121014 clauses out of 242041 with flag 43341788/7493275
1983.90/1985.72	c cleaning 122008 clauses out of 244028 with flag 43943530/7616276
2018.41/2020.36	c cleaning 123004 clauses out of 246021 with flag 44622872/7740277
2052.62/2054.62	c cleaning 123997 clauses out of 248015 with flag 45230616/7865275
2086.93/2089.05	c cleaning 125003 clauses out of 250018 with flag 45919687/7991275
2120.88/2122.98	c cleaning 125996 clauses out of 252015 with flag 46651955/8118275
2155.30/2157.45	c cleaning 127008 clauses out of 254020 with flag 47387369/8246276
2189.83/2192.07	c cleaning 128006 clauses out of 256012 with flag 48120082/8375276
2224.75/2227.09	c cleaning 128973 clauses out of 258006 with flag 48956443/8505276
2261.88/2264.22	c cleaning 129982 clauses out of 260032 with flag 49875376/8636275
2299.74/2302.09	c cleaning 131017 clauses out of 262050 with flag 50685591/8768275
2334.77/2337.11	c cleaning 132006 clauses out of 264034 with flag 51472773/8901276
2370.98/2373.48	c cleaning 132964 clauses out of 266027 with flag 52283399/9035275
2409.70/2412.29	c cleaning 134007 clauses out of 268064 with flag 53144486/9170276
2446.92/2449.53	c cleaning 135013 clauses out of 270056 with flag 53866224/9306275
2486.14/2488.76	c cleaning 136000 clauses out of 272045 with flag 54627589/9443277
2524.95/2527.61	c cleaning 137004 clauses out of 274044 with flag 55339334/9581276
2564.74/2567.57	c cleaning 138004 clauses out of 276039 with flag 56037187/9720275
2602.05/2604.95	c cleaning 139005 clauses out of 278035 with flag 56785610/9860275
2641.25/2644.24	c cleaning 140004 clauses out of 280030 with flag 57622931/10001275
2679.97/2682.90	c cleaning 140990 clauses out of 282027 with flag 58423706/10143276
2717.29/2720.31	c cleaning 141979 clauses out of 284036 with flag 59281748/10286275
2755.80/2758.94	c cleaning 143025 clauses out of 286057 with flag 60132596/10430275
2796.62/2799.82	c cleaning 143990 clauses out of 288034 with flag 60897486/10575277
2839.23/2842.50	c cleaning 144996 clauses out of 290042 with flag 61681542/10721275
2881.76/2884.66	c cleaning 146004 clauses out of 292046 with flag 62422694/10868275
2923.37/2926.32	c cleaning 146997 clauses out of 294042 with flag 63133175/11016275
2967.17/2970.21	c cleaning 148023 clauses out of 296047 with flag 63927615/11165277
3008.90/3012.04	c cleaning 148997 clauses out of 298025 with flag 64717472/11315278
3049.19/3052.36	c cleaning 149980 clauses out of 300025 with flag 65489658/11466275
3090.90/3094.13	c cleaning 151015 clauses out of 302050 with flag 66320359/11618280
3132.79/3136.17	c cleaning 151967 clauses out of 304030 with flag 67253656/11771275
3175.84/3179.14	c cleaning 153022 clauses out of 306066 with flag 68185192/11925278
3217.75/3221.19	c cleaning 153980 clauses out of 308041 with flag 69048499/12080275
3260.25/3263.73	c cleaning 154996 clauses out of 310061 with flag 69960536/12236275
3304.36/3307.90	c cleaning 156010 clauses out of 312065 with flag 70859814/12393275
3349.84/3353.47	c cleaning 157009 clauses out of 314055 with flag 71789578/12551275
3393.13/3396.80	c cleaning 158007 clauses out of 316046 with flag 72671057/12710275
3437.41/3441.28	c cleaning 159000 clauses out of 318039 with flag 73630376/12870275
3482.20/3486.11	c cleaning 159977 clauses out of 320039 with flag 74605521/13031275
3528.67/3532.68	c cleaning 161020 clauses out of 322062 with flag 75598944/13193275
3575.07/3579.15	c cleaning 162002 clauses out of 324042 with flag 76561650/13356275
3600.02/3604.11	c starts		: 26404
3600.02/3604.12	c conflicts		: 13446468
3600.02/3604.12	c decisions		: 130621224
3600.02/3604.12	c propagations		: 22872101334
3600.02/3604.12	c inspects		: 23705931757
3600.02/3604.12	c shortcuts		: 0
3600.02/3604.12	c learnt literals	: 0
3600.02/3604.12	c learnt binary clauses	: 1
3600.02/3604.12	c learnt ternary clauses	: 8
3600.02/3604.12	c learnt constraints	: 13446468
3600.02/3604.12	c ignored constraints	: 0
3600.02/3604.12	c root simplifications	: 0
3600.02/3604.12	c removed literals (reason simplification)	: 0
3600.02/3604.12	c reason swapping (by a shorter reason)	: 0
3600.02/3604.12	c Calls to reduceDB	: 159
3600.02/3604.12	c Number of update (reduction) of LBD	: 8259045
3600.02/3604.12	c Imported unit clauses	: 0
3600.02/3604.12	c No decision after first conflict	: false
3600.02/3604.12	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.12	c number of learned constraints concerned by reduction	: 0
3600.02/3604.12	c number of learning phase by resolution	: 0
3600.02/3604.12	c number of learning phase by cutting planes	: 0
3600.02/3604.12	c number of rounding to 1 operations	: 0
3600.02/3604.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.12	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.12	c number of right shift for reduction by power 2 	: 0
3600.02/3604.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.12	c number of ending skipping 	: 0
3600.02/3604.12	c number of internal skipping 	: 0
3600.02/3604.12	c number of derivation steps 	: 0
3600.02/3604.12	c number of skipped derivation steps 	: 0
3600.02/3604.12	c number of remaining unassigned 	: 0
3600.02/3604.12	c number of remaining assigned 	: 0
3600.02/3604.12	c number of falsified literals weakened from reason	: 0
3600.02/3604.12	c number of falsified literals weakened from conflict	: 0
3600.02/3604.12	c time for arithmetic operations	: 0
3600.02/3604.12	c minimum degree of deleted constraints	: null
3600.02/3604.12	c maximum degree of deleted constraints	: null
3600.02/3604.12	c number of deleted constraints	: 0
3600.02/3604.12	c speed (assignments/second)	: 6346521.341998069
3600.02/3604.12	c non guided choices	: 0
3600.20/3604.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 252232
3600.20/3604.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.20/3604.22	s SATISFIABLE
3600.20/3604.22	c Found 6 solution(s)
3600.20/3604.22	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 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 x3886 x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 x3942 x3943 -x3944 -x3945 
3600.20/3604.22	c objective function=63681
3600.20/3604.22	c Total wall clock time (in seconds): 3604.099

Verifier Data 

OK	63681

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432345-1721113782/watcher-4432345-1721113782 -o /tmp/evaluation-result-4432345-1721113782/solver-4432345-1721113782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840456 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432345-1721113782.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100973 s]*
/proc/loadavg: 3.78 4.05 4.07 8/324 840585
/proc/meminfo: memFree=129122392/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=18975048 memory=63544 CPUtime=0.13 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 7222 0 0 0 12 1 0 0 20 0 18 0 163545245 19430449152 15886 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4743762 15886 5733 1 0 549336 0
[pid=840516/tid=840519] ppid=840507 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 5741 0 0 0 7 1 0 0 20 0 18 0 163545245 19430449152 15886 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=18975048 memory=17993 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 15886 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 15886 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63544 KiB

[startup+0.212098 s]*
/proc/loadavg: 3.78 4.05 4.07 15/325 840586
/proc/meminfo: memFree=129072180/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=18975048 memory=80440 CPUtime=0.34 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 7822 0 0 0 32 2 0 0 20 0 18 0 163545245 19430449152 20110 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4743762 20110 5852 1 0 549761 0
[pid=840516/tid=840519] ppid=840507 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 5906 0 0 0 18 1 0 0 20 0 18 0 163545245 19430449152 20110 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=18975048 memory=17993 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 20110 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 20110 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80440 KiB

[startup+0.31108 s]*
/proc/loadavg: 3.78 4.05 4.07 13/327 840588
/proc/meminfo: memFree=129010460/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=91532 CPUtime=0.53 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 9503 0 0 0 51 2 0 0 20 0 19 0 163545245 19498610688 22883 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 22883 5890 1 0 551089 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=-9104982587974460092 CPUtime=0.28 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 6038 0 0 0 27 1 0 0 20 0 19 0 163545245 19498610688 22883 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 22883 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 22883 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 22883 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91532 KiB

[startup+0.701097 s]
/proc/loadavg: 3.78 4.05 4.07 12/328 840589
/proc/meminfo: memFree=128982672/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=98832 CPUtime=1.29 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 10683 0 0 0 126 3 0 0 20 0 19 0 163545245 19498610688 24708 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 24708 5890 1 0 551860 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=12384 CPUtime=0.67 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 6043 0 0 0 65 2 0 0 20 0 19 0 163545245 19498610688 24708 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=12384 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 24708 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=752915502500643198 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 24708 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=1968 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 24708 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98832 KiB

[startup+1.50022 s]
/proc/loadavg: 3.78 4.05 4.07 7/328 840589
/proc/meminfo: memFree=128962300/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=101520 CPUtime=2.3 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 12021 0 0 0 227 3 0 0 20 0 19 0 163545245 19498610688 25380 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 25380 5890 1 0 551878 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=12384 CPUtime=1.47 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 6215 0 0 0 145 2 0 0 20 0 19 0 163545245 19498610688 25380 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=1968 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 25380 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 25380 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 25380 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101520 KiB

[startup+3.10496 s]
/proc/loadavg: 3.78 4.05 4.07 7/328 840589
/proc/meminfo: memFree=128924164/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=106448 CPUtime=4.06 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 15393 0 0 0 403 3 0 0 20 0 19 0 163545245 19498610688 26612 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 26612 5890 1 0 552048 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=0 CPUtime=3.07 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 7254 0 0 0 305 2 0 0 20 0 19 0 163545245 19498610688 26612 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 26612 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=12384 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 26612 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=11608 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 26612 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106448 KiB

[startup+6.30022 s]
/proc/loadavg: 3.88 4.07 4.08 6/328 840589
/proc/meminfo: memFree=128893004/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=116292 CPUtime=7.48 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 23735 0 0 0 744 4 0 0 20 0 19 0 163545245 19498610688 29073 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 29073 5890 1 0 552944 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=0 CPUtime=6.25 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 8010 0 0 0 623 2 0 0 20 0 19 0 163545245 19498610688 29073 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 29073 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=12384 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 29073 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=11608 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 29073 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116292 KiB

[startup+12.7002 s]
/proc/loadavg: 3.97 4.09 4.08 6/330 840595
/proc/meminfo: memFree=128809076/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=142132 CPUtime=14.31 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 36275 0 0 0 1426 5 0 0 20 0 19 0 163545245 19498610688 35533 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 35533 5890 1 0 555236 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=126736 CPUtime=12.63 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 9883 0 0 0 1261 2 0 0 20 0 19 0 163545245 19498610688 35533 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=-8673199973700313788 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 35533 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=11608 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 35533 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 35533 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 142132 KiB

[startup+25.5002 s]
/proc/loadavg: 3.98 4.08 4.08 6/332 840598
/proc/meminfo: memFree=128677440/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19041612 memory=171632 CPUtime=27.24 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 44496 0 0 0 2717 7 0 0 20 0 19 0 163545245 19498610688 42908 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4760403 42908 5917 1 0 555237 0
[pid=840516/tid=840519] ppid=840507 vsize=19041612 memory=126736 CPUtime=25.4 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 11431 0 0 0 2537 3 0 0 20 0 19 0 163545245 19498610688 42908 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19041612 memory=148380 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 42908 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19041612 memory=131100 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 42908 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545270 19498610688 42908 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 27.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 171632 KiB

[startup+51.1053 s]
/proc/loadavg: 4.07 4.09 4.08 6/334 840605
/proc/meminfo: memFree=128544716/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=192784 CPUtime=52.84 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 50922 0 0 0 5276 8 0 0 20 0 20 0 163545245 19566772224 48196 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 48196 5965 1 0 555526 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=192768 CPUtime=50.92 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 12682 0 0 0 5089 3 0 0 20 0 20 0 163545245 19566772224 48196 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.14 7/332 842369
/proc/meminfo: memFree=121079344/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068368 CPUtime=3278.81 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 168219 0 0 0 327787 94 0 0 20 0 20 0 163545245 19566772224 517092 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517092 5980 1 0 559571 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=2068368 CPUtime=3269.97 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 68853 0 0 0 326984 13 0 0 20 0 20 0 163545245 19566772224 517092 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=2068368 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517092 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=-8673199973700313788 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 3948 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517092 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=2068368 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517092 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3278.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.14 6/330 842379
/proc/meminfo: memFree=121079076/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3338.77 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 170545 0 0 0 333782 95 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517098 5980 1 0 559572 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=2068368 CPUtime=3329.68 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 69795 0 0 0 332955 13 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=19160 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 3998 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3338.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.14 4.14 6/330 842389
/proc/meminfo: memFree=121078716/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3398.62 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 171643 0 0 0 339766 96 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517098 5980 1 0 559572 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3389.51 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 70666 0 0 0 338938 13 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 4114 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3398.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.14 6/330 842400
/proc/meminfo: memFree=121078344/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3458.45 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 172798 0 0 0 345749 96 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517098 5980 1 0 559572 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3449.33 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 71589 0 0 0 344920 13 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=11608 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 4205 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3458.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.13 6/330 842410
/proc/meminfo: memFree=121078020/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3518.39 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 174302 0 0 0 351742 97 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517098 5980 1 0 559572 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3509.05 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 71968 0 0 0 350892 13 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=-8673199973700313788 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 4205 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3518.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.14 6/330 842420
/proc/meminfo: memFree=121094284/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3578.26 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 175329 0 0 0 357728 98 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517098 5980 1 0 559572 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=5616 CPUtime=3568.9 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 72817 0 0 0 356877 13 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=1840 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 4296 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=-7593763479692142205 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3578.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.1 s]
/proc/loadavg: 4.14 4.13 4.13 6/330 842424
/proc/meminfo: memFree=121093952/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3600.02 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 175838 0 0 0 359903 99 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4777044 517098 5980 1 0 559572 0
[pid=840516/tid=840519] ppid=840507 vsize=19108176 memory=2068392 CPUtime=3590.65 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 73199 0 0 0 359052 13 0 0 20 0 20 0 163545245 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 4296 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840588] ppid=840507 vsize=19108176 memory=2068392 CPUtime=0 cores=5,7
/proc/840516/task/840588/stat : 840588 (Timer-0) S 840507 840516 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545270 19566772224 517098 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068392 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.25 s, system=1.0047 s

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

[startup+3604.21 s]
/proc/loadavg: 4.14 4.13 4.13 6/330 842424
/proc/meminfo: memFree=121093952/131524600 swapFree=131071996/131071996
[pid=840516] ppid=840507 vsize=19307868 memory=2069260 CPUtime=3600.2 cores=5,7
/proc/840516/stat : 840516 (java) S 840507 840516 840443 0 -1 1077936128 179216 0 0 0 359921 99 0 0 20 0 21 0 163545245 19771256832 517315 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
/proc/840516/statm: 4826967 517315 5979 1 0 560522 0
[pid=840516/tid=840519] ppid=840507 vsize=19307868 memory=17847 CPUtime=3590.74 cores=5,7
/proc/840516/task/840519/stat : 840519 (java) R 840507 840516 840443 0 -1 4194368 73346 0 0 0 359060 14 0 0 20 0 21 0 163545245 19771256832 517315 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840564] ppid=840507 vsize=19307868 memory=2700 CPUtime=0 cores=5,7
/proc/840516/task/840564/stat : 840564 (Finalizer) S 840507 840516 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163545248 19771256832 517315 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
[pid=840516/tid=840576] ppid=840507 vsize=19307868 memory=3617850876498280529 CPUtime=0 cores=5,7
/proc/840516/task/840576/stat : 840576 (Common-Cleaner) S 840507 840516 840443 0 -1 1077936192 4296 0 0 0 0 0 0 0 20 0 21 0 163545248 19771256832 517315 134679101440 94284149837824 94284149841520 140727843698000 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94284149849336 94284149850128 94284161003520 140727843705863 140727843705953 140727843705953 140727843712968 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2069260 KiB

Child status: 143

Real time (s): 3604.24
CPU time (s): 3600.25
CPU user time (s): 3599.25
CPU system time (s): 1.0047
CPU usage (%): 99.8895
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2069260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 1.0047
maximum resident set size= 2070004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103432
involuntary context switches= 5142


# summary of solver processes directly reported to runsolver:
#   pid: 840516
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3599.25
#   total CPU system time (s): 1.0047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80067 second user time and 15.254 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 09:09:54
IDJOB=4432345
IDBENCH=148155
IDSOLVER=3058
FILE ID=nodeC028/4432345-1721113782
RUNJOBID= nodeC028-1721113794-840456
SLURM_JOB_ID= 7505648
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432345-1721113782/watcher-4432345-1721113782 -o /tmp/evaluation-result-4432345-1721113782/solver-4432345-1721113782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840456 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432345-1721113782.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=519128151

nodeC028.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		: 3402.249
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.56
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		: 3605.753
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.59
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		: 3616.219
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.56
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		: 3652.226
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.59
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		: 3556.021
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.56
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		: 3636.661
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.59
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		: 3552.034
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.56
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		: 3662.372
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129296488 kB
MemAvailable:   129761952 kB
Buffers:          388756 kB
Cached:           916864 kB
SwapCached:            0 kB
Active:           685412 kB
Inactive:         959512 kB
Active(anon):       1456 kB
Inactive(anon):   375608 kB
Active(file):     683956 kB
Inactive(file):   583904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3060 kB
Writeback:             0 kB
AnonPages:        336652 kB
Mapped:           104424 kB
Shmem:             37720 kB
KReclaimable:      74856 kB
Slab:             177356 kB
SReclaimable:      74856 kB
SUnreclaim:       102500 kB
KernelStack:        3924 kB
PageTables:         9384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     725712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC028 at 2024-07-16 10:09:59