Trace number 4440405

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)63681 3600.36 3629.68

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 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d 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	Expensive 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.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440405-1721819380.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.33/0.26	c ... done. Wall clock time 0.134s.
0.33/0.26	c declared #vars     3945
0.33/0.26	c #constraints  8604
0.33/0.26	c constraints type 
0.33/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506
0.33/0.26	c org.sat4j.specs.Constr$1 => 22
0.33/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
0.33/0.26	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.33/0.26	c 8604 constraints processed.
0.33/0.28	c objective function length is 1872 literals
0.51/0.32	c SATISFIABLE
0.51/0.32	c OPTIMIZING...
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.187
0.51/0.32	o 70191
0.51/0.34	c Got one! Elapsed wall clock time (in seconds):0.213
0.51/0.34	o 68889
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.237
0.51/0.36	o 67587
0.51/0.39	c Got one! Elapsed wall clock time (in seconds):0.265
0.70/0.41	o 66285
0.70/0.44	c Got one! Elapsed wall clock time (in seconds):0.309
0.70/0.45	o 64983
0.89/0.51	c Got one! Elapsed wall clock time (in seconds):0.383
0.89/0.51	o 63681
3.75/2.24	c cleaning 2638 clauses out of 5278 with flag 24862/5278
5.66/3.88	c cleaning 4308 clauses out of 8637 with flag 52999/11275
7.86/5.80	c cleaning 5654 clauses out of 11332 with flag 87256/18278
10.36/8.13	c cleaning 6816 clauses out of 13675 with flag 139116/26275
12.66/10.45	c cleaning 7899 clauses out of 15859 with flag 198676/35275
15.39/13.19	c cleaning 8946 clauses out of 17960 with flag 256610/45275
18.58/16.33	c cleaning 9993 clauses out of 20014 with flag 332691/56275
21.88/19.67	c cleaning 10979 clauses out of 22021 with flag 395507/68275
25.37/23.18	c cleaning 12003 clauses out of 24042 with flag 470045/81275
29.28/27.08	c cleaning 13004 clauses out of 26043 with flag 544564/95279
33.80/31.55	c cleaning 13983 clauses out of 28035 with flag 649062/110275
38.50/36.38	c cleaning 15017 clauses out of 30052 with flag 731397/126275
43.35/41.19	c cleaning 16000 clauses out of 32035 with flag 823620/143275
48.72/46.46	c cleaning 17018 clauses out of 34036 with flag 918191/161276
54.31/52.09	c cleaning 18000 clauses out of 36017 with flag 1011540/180275
60.29/58.05	c cleaning 18992 clauses out of 38017 with flag 1107117/200275
66.18/63.99	c cleaning 20001 clauses out of 40028 with flag 1205729/221278
72.71/70.52	c cleaning 21003 clauses out of 42024 with flag 1334302/243275
79.40/77.22	c cleaning 21998 clauses out of 44021 with flag 1461465/266275
86.89/84.63	c cleaning 23006 clauses out of 46023 with flag 1573765/290275
94.26/91.82	c cleaning 24007 clauses out of 48017 with flag 1677650/315275
101.42/99.09	c cleaning 24993 clauses out of 50010 with flag 1776230/341275
108.79/106.46	c cleaning 26001 clauses out of 52018 with flag 1879193/368276
116.77/114.44	c cleaning 26973 clauses out of 54016 with flag 2024218/396275
124.38/122.08	c cleaning 28018 clauses out of 56043 with flag 2156344/425275
132.75/130.50	c cleaning 28996 clauses out of 58026 with flag 2329768/455276
141.25/139.06	c cleaning 30001 clauses out of 60031 with flag 2489373/486277
150.04/147.86	c cleaning 31014 clauses out of 62028 with flag 2671135/518275
159.55/157.41	c cleaning 31975 clauses out of 64014 with flag 2857157/551275
169.05/167.05	c cleaning 33011 clauses out of 66040 with flag 3045218/585276
178.59/176.66	c cleaning 33996 clauses out of 68034 with flag 3252201/620281
188.83/186.94	c cleaning 34987 clauses out of 70032 with flag 3461936/656275
199.58/197.76	c cleaning 35987 clauses out of 72046 with flag 3675106/693276
211.05/209.20	c cleaning 37011 clauses out of 74058 with flag 3917685/731275
222.20/220.48	c cleaning 38005 clauses out of 76047 with flag 4166356/770275
233.67/231.99	c cleaning 39005 clauses out of 78042 with flag 4459612/810275
246.36/244.63	c cleaning 40007 clauses out of 80037 with flag 4714373/851275
259.10/257.47	c cleaning 40968 clauses out of 82030 with flag 4983520/893275
272.39/270.72	c cleaning 42011 clauses out of 84062 with flag 5244592/936275
285.25/283.60	c cleaning 43001 clauses out of 86051 with flag 5514467/980275
298.52/296.91	c cleaning 44010 clauses out of 88053 with flag 5793629/1025278
311.20/309.64	c cleaning 44996 clauses out of 90041 with flag 6032086/1071276
324.24/322.73	c cleaning 46002 clauses out of 92044 with flag 6269938/1118275
338.20/336.73	c cleaning 46996 clauses out of 94042 with flag 6533111/1166275
353.23/352.58	c cleaning 47994 clauses out of 96046 with flag 6823544/1215275
368.33/367.69	c cleaning 49009 clauses out of 98052 with flag 7114585/1265275
384.03/383.41	c cleaning 50012 clauses out of 100043 with flag 7417237/1316275
399.92/399.38	c cleaning 51011 clauses out of 102031 with flag 7778465/1368275
416.18/415.62	c cleaning 52005 clauses out of 104020 with flag 8062855/1421275
432.34/431.81	c cleaning 52992 clauses out of 106015 with flag 8398823/1475275
448.86/448.44	c cleaning 54012 clauses out of 108024 with flag 8724232/1530276
465.21/464.84	c cleaning 55004 clauses out of 110012 with flag 8987479/1586276
480.91/480.58	c cleaning 55990 clauses out of 112007 with flag 9246519/1643275
497.67/497.33	c cleaning 56998 clauses out of 114017 with flag 9505047/1701275
516.02/515.76	c cleaning 58006 clauses out of 116019 with flag 9820265/1760275
534.51/534.28	c cleaning 59007 clauses out of 118013 with flag 10093703/1820275
553.10/552.89	c cleaning 59979 clauses out of 120006 with flag 10375328/1881275
572.52/572.37	c cleaning 60973 clauses out of 122027 with flag 10690423/1943275
592.26/592.12	c cleaning 62015 clauses out of 124054 with flag 11023412/2006275
611.71/611.67	c cleaning 63016 clauses out of 126039 with flag 11431279/2070275
631.92/632.05	c cleaning 64002 clauses out of 128024 with flag 11770491/2135276
652.76/653.68	c cleaning 64972 clauses out of 130021 with flag 12147863/2201275
673.91/674.85	c cleaning 66020 clauses out of 132049 with flag 12534985/2268275
695.10/696.08	c cleaning 67005 clauses out of 134029 with flag 12934303/2336275
716.37/717.38	c cleaning 67972 clauses out of 136024 with flag 13315526/2405275
738.66/739.62	c cleaning 69016 clauses out of 138052 with flag 13759354/2475275
760.92/761.98	c cleaning 69973 clauses out of 140037 with flag 14120662/2546276
783.41/784.40	c cleaning 71026 clauses out of 142065 with flag 14503967/2618277
806.36/807.49	c cleaning 71996 clauses out of 144037 with flag 14856921/2691275
828.18/829.22	c cleaning 73010 clauses out of 146041 with flag 15215173/2765275
850.23/851.30	c cleaning 73992 clauses out of 148032 with flag 15595693/2840276
872.77/873.91	c cleaning 75014 clauses out of 150039 with flag 15983963/2916275
895.31/896.50	c cleaning 75991 clauses out of 152025 with flag 16376564/2993275
918.81/920.08	c cleaning 77008 clauses out of 154035 with flag 16735639/3071276
942.36/943.65	c cleaning 77986 clauses out of 156026 with flag 17095203/3150275
966.11/967.40	c cleaning 79003 clauses out of 158040 with flag 17499283/3230275
989.06/990.45	c cleaning 80012 clauses out of 160038 with flag 17936496/3311276
1013.60/1014.91	c cleaning 81012 clauses out of 162025 with flag 18360615/3393275
1038.17/1039.58	c cleaning 82000 clauses out of 164013 with flag 18789642/3476275
1063.32/1064.72	c cleaning 83001 clauses out of 166014 with flag 19216279/3560276
1088.52/1090.02	c cleaning 84001 clauses out of 168012 with flag 19733376/3645275
1114.33/1115.83	c cleaning 84983 clauses out of 170011 with flag 20240194/3731275
1141.84/1143.30	c cleaning 85987 clauses out of 172028 with flag 20732465/3818275
1168.34/1169.88	c cleaning 87002 clauses out of 174041 with flag 21218056/3906275
1195.46/1197.04	c cleaning 87999 clauses out of 176039 with flag 21748594/3995275
1222.78/1225.42	c cleaning 88998 clauses out of 178040 with flag 22275386/4085275
1249.95/1252.63	c cleaning 89997 clauses out of 180042 with flag 22766109/4176275
1277.52/1280.22	c cleaning 91009 clauses out of 182045 with flag 23228799/4268275
1304.84/1307.67	c cleaning 92019 clauses out of 184037 with flag 23711198/4361276
1332.72/1335.59	c cleaning 92998 clauses out of 186017 with flag 24194128/4455275
1361.19/1364.09	c cleaning 93980 clauses out of 188019 with flag 24622017/4550275
1389.30/1392.25	c cleaning 95009 clauses out of 190039 with flag 25082995/4646275
1417.87/1420.94	c cleaning 95972 clauses out of 192030 with flag 25561697/4743275
1447.77/1458.11	c cleaning 97012 clauses out of 194058 with flag 26113277/4841275
1479.60/1490.03	c cleaning 97990 clauses out of 196046 with flag 26745430/4940275
1510.37/1520.89	c cleaning 99024 clauses out of 198056 with flag 27349769/5040275
1542.24/1552.73	c cleaning 99997 clauses out of 200033 with flag 27908975/5141276
1574.92/1585.44	c cleaning 100998 clauses out of 202035 with flag 28448725/5243275
1605.96/1616.58	c cleaning 101988 clauses out of 204039 with flag 28975539/5346277
1638.13/1648.73	c cleaning 103016 clauses out of 206049 with flag 29542657/5450275
1669.86/1680.50	c cleaning 104001 clauses out of 208033 with flag 30110474/5555275
1702.01/1712.78	c cleaning 105001 clauses out of 210032 with flag 30710359/5661275
1733.22/1744.02	c cleaning 105976 clauses out of 212031 with flag 31264159/5768275
1765.00/1775.98	c cleaning 107028 clauses out of 214057 with flag 31885254/5876277
1797.83/1808.90	c cleaning 107998 clauses out of 216027 with flag 32514142/5985275
1831.35/1843.09	c cleaning 109007 clauses out of 218029 with flag 33089454/6095275
1863.95/1875.72	c cleaning 110008 clauses out of 220024 with flag 33652099/6206277
1897.77/1909.49	c cleaning 110964 clauses out of 222014 with flag 34182435/6318275
1930.98/1942.83	c cleaning 112000 clauses out of 224051 with flag 34779105/6431276
1965.43/1977.44	c cleaning 113022 clauses out of 226050 with flag 35383125/6545275
2000.40/2012.73	c cleaning 113990 clauses out of 228028 with flag 36016364/6660275
2034.52/2047.13	c cleaning 115008 clauses out of 230040 with flag 36580845/6776277
2070.98/2086.08	c cleaning 115978 clauses out of 232030 with flag 37179522/6893275
2108.63/2129.25	c cleaning 117004 clauses out of 234052 with flag 37796019/7011275
2145.16/2165.83	c cleaning 117999 clauses out of 236048 with flag 38424830/7130275
2182.42/2203.36	c cleaning 119004 clauses out of 238049 with flag 39068197/7250275
2219.37/2240.51	c cleaning 120008 clauses out of 240045 with flag 39786987/7371275
2256.38/2277.63	c cleaning 121004 clauses out of 242037 with flag 40443825/7493275
2295.01/2316.44	c cleaning 121995 clauses out of 244033 with flag 41141939/7616275
2334.25/2355.83	c cleaning 123009 clauses out of 246039 with flag 41871675/7740276
2371.28/2393.17	c cleaning 123997 clauses out of 248029 with flag 42556663/7865275
2408.83/2430.97	c cleaning 125008 clauses out of 250032 with flag 43264936/7991275
2446.53/2468.90	c cleaning 126000 clauses out of 252024 with flag 43939300/8118275
2486.52/2510.27	c cleaning 126987 clauses out of 254026 with flag 44637703/8246277
2523.75/2547.52	c cleaning 127985 clauses out of 256037 with flag 45303843/8375275
2560.99/2585.12	c cleaning 129005 clauses out of 258052 with flag 45974342/8505275
2599.64/2623.80	c cleaning 130009 clauses out of 260049 with flag 46617335/8636277
2637.03/2661.30	c cleaning 131010 clauses out of 262038 with flag 47278385/8768275
2676.28/2701.53	c cleaning 131990 clauses out of 264028 with flag 47944328/8901275
2717.41/2742.71	c cleaning 133014 clauses out of 266038 with flag 48649814/9035275
2760.86/2786.26	c cleaning 134010 clauses out of 268025 with flag 49396813/9170276
2803.45/2828.95	c cleaning 134960 clauses out of 270016 with flag 50077947/9306277
2845.70/2871.29	c cleaning 136023 clauses out of 272054 with flag 50833951/9443275
2888.44/2914.04	c cleaning 136991 clauses out of 274031 with flag 51573139/9581275
2931.67/2957.37	c cleaning 138010 clauses out of 276040 with flag 52321791/9720275
2974.89/3000.63	c cleaning 138952 clauses out of 278033 with flag 53087186/9860278
3018.54/3044.39	c cleaning 140034 clauses out of 280078 with flag 53866574/10001275
3062.41/3088.32	c cleaning 140998 clauses out of 282044 with flag 54650374/10143275
3105.55/3132.97	c cleaning 142011 clauses out of 284046 with flag 55536323/10286275
3151.91/3179.40	c cleaning 142982 clauses out of 286035 with flag 56380616/10430275
3198.57/3226.31	c cleaning 144026 clauses out of 288053 with flag 57218826/10575275
3243.09/3270.95	c cleaning 145003 clauses out of 290027 with flag 58127076/10721275
3288.37/3316.49	c cleaning 145975 clauses out of 292024 with flag 58937889/10868275
3334.20/3362.55	c cleaning 147003 clauses out of 294049 with flag 59800159/11016275
3377.90/3406.35	c cleaning 148011 clauses out of 296047 with flag 60596889/11165276
3424.60/3453.30	c cleaning 149018 clauses out of 298035 with flag 61404287/11315275
3469.66/3498.50	c cleaning 150002 clauses out of 300017 with flag 62278048/11466275
3517.55/3546.61	c cleaning 150992 clauses out of 302016 with flag 63117808/11618276
3563.90/3593.28	c cleaning 152006 clauses out of 304023 with flag 63988472/11771275
3600.09/3629.52	c starts		: 12311
3600.09/3629.52	c conflicts		: 11897414
3600.09/3629.52	c decisions		: 123992884
3600.09/3629.52	c propagations		: 20340954971
3600.09/3629.52	c inspects		: 21421740030
3600.09/3629.52	c shortcuts		: 0
3600.09/3629.52	c learnt literals	: 0
3600.09/3629.52	c learnt binary clauses	: 1
3600.09/3629.52	c learnt ternary clauses	: 4
3600.09/3629.52	c learnt constraints	: 11897414
3600.09/3629.52	c ignored constraints	: 0
3600.09/3629.52	c root simplifications	: 0
3600.09/3629.52	c removed literals (reason simplification)	: 60761881
3600.09/3629.52	c reason swapping (by a shorter reason)	: 0
3600.09/3629.52	c Calls to reduceDB	: 149
3600.09/3629.52	c Number of update (reduction) of LBD	: 7452228
3600.09/3629.52	c Imported unit clauses	: 0
3600.09/3629.52	c No decision after first conflict	: false
3600.09/3629.52	c number of reductions to clauses (during analyze)	: 0
3600.09/3629.52	c number of learned constraints concerned by reduction	: 0
3600.09/3629.52	c number of learning phase by resolution	: 0
3600.09/3629.52	c number of learning phase by cutting planes	: 0
3600.09/3629.52	c number of rounding to 1 operations	: 0
3600.09/3629.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3629.52	c number of reductions of the coefficients by power 2 	: 0
3600.09/3629.52	c number of right shift for reduction by power 2 	: 0
3600.09/3629.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3629.53	c number of ending skipping 	: 0
3600.09/3629.53	c number of internal skipping 	: 0
3600.09/3629.53	c number of derivation steps 	: 0
3600.09/3629.53	c number of skipped derivation steps 	: 0
3600.09/3629.53	c number of remaining unassigned 	: 0
3600.09/3629.53	c number of remaining assigned 	: 0
3600.09/3629.53	c number of falsified literals weakened from reason	: 0
3600.09/3629.53	c number of falsified literals weakened from conflict	: 0
3600.09/3629.53	c time for arithmetic operations	: 0
3600.09/3629.53	c minimum degree of deleted constraints	: null
3600.09/3629.53	c maximum degree of deleted constraints	: null
3600.09/3629.53	c number of deleted constraints	: 0
3600.09/3629.53	c speed (assignments/second)	: 5604734.585568073
3600.09/3629.53	c non guided choices	: 0
3600.31/3629.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 278155
3600.31/3629.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.31/3629.62	s SATISFIABLE
3600.31/3629.62	c Found 6 solution(s)
3600.31/3629.62	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.31/3629.63	c objective function=63681
3600.31/3629.63	c Total wall clock time (in seconds): 3629.502

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440405-1721819380/watcher-4440405-1721819380 -o /tmp/evaluation-result-4440405-1721819380/solver-4440405-1721819380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721817186-236612 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440405-1721819380 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440405-1721819380.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=238114, runsolver pid=238111
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.22 4.26 3.94 6/334 238132
/proc/meminfo: memFree=79563756/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=18975048 memory=66100 CPUtime=0.13 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 7089 0 0 0 11 2 0 0 20 0 18 0 18460541 19430449152 16525 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4743762 16525 5540 1 0 549327 0
[pid=238114/tid=238116] ppid=238111 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) S 238111 238114 236599 0 -1 1077936192 5671 0 0 0 7 1 0 0 20 0 18 0 18460541 19430449152 16525 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18460544 19430449152 16525 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=18975048 memory=15542920531624460 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18460544 19430449152 16525 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66100 KiB

[startup+0.207179 s]*
/proc/loadavg: 4.22 4.26 3.94 7/334 238132
/proc/meminfo: memFree=79554308/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=18975048 memory=77180 CPUtime=0.33 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 7567 0 0 0 31 2 0 0 20 0 18 0 18460541 19430449152 19295 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4743762 19295 5808 1 0 549652 0
[pid=238114/tid=238116] ppid=238111 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 5869 0 0 0 16 2 0 0 20 0 18 0 18460541 19430449152 19295 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=18975048 memory=738093 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18460544 19430449152 19295 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18460544 19430449152 19295 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77180 KiB

[startup+0.310162 s]*
/proc/loadavg: 4.22 4.26 3.94 7/335 238133
/proc/meminfo: memFree=79534236/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19041612 memory=92760 CPUtime=0.51 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 9381 0 0 0 48 3 0 0 20 0 19 0 18460541 19498610688 23190 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4760403 23190 5846 1 0 551129 0
[pid=238114/tid=238116] ppid=238111 vsize=19041612 memory=-9105268426655113916 CPUtime=0.25 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 6007 0 0 0 23 2 0 0 20 0 19 0 18460541 19498610688 23190 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18460544 19498610688 23190 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18460544 19498610688 23190 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18460569 19498610688 23190 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92760 KiB

[startup+0.700234 s]
/proc/loadavg: 4.22 4.26 3.94 7/335 238133
/proc/meminfo: memFree=79513932/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19041612 memory=125144 CPUtime=1.27 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 11177 0 0 0 123 4 0 0 20 0 19 0 18460541 19498610688 31286 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4760403 31286 5882 1 0 552341 0
[pid=238114/tid=238116] ppid=238111 vsize=19041612 memory=13048 CPUtime=0.58 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 6028 0 0 0 56 2 0 0 20 0 19 0 18460541 19498610688 31286 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19041612 memory=13048 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18460544 19498610688 31286 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18460544 19498610688 31286 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19041612 memory=39748 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18460569 19498610688 31286 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125144 KiB

[startup+1.50116 s]
/proc/loadavg: 4.22 4.26 3.94 6/335 238133
/proc/meminfo: memFree=79477640/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19041612 memory=161148 CPUtime=2.78 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 15192 0 0 0 273 5 0 0 20 0 19 0 18460541 19498610688 40287 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4760403 40287 5882 1 0 552388 0
[pid=238114/tid=238116] ppid=238111 vsize=19041612 memory=13048 CPUtime=1.36 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 6330 0 0 0 133 3 0 0 20 0 19 0 18460541 19498610688 40287 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18460544 19498610688 40287 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18460544 19498610688 40287 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18460569 19498610688 40287 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 161148 KiB

[startup+3.10616 s]
/proc/loadavg: 4.52 4.32 3.96 5/336 238136
/proc/meminfo: memFree=79404860/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=177440 CPUtime=4.95 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 18226 0 0 0 489 6 0 0 20 0 20 0 18460541 19566772224 44360 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 44360 5914 1 0 552996 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 7555 0 0 0 290 3 0 0 20 0 20 0 18460541 19566772224 44360 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 44360 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=176016 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 44360 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 44360 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177440 KiB

[startup+6.30118 s]
/proc/loadavg: 4.52 4.32 3.96 5/336 238136
/proc/meminfo: memFree=79365552/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=178076 CPUtime=8.43 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 24051 0 0 0 837 6 0 0 20 0 20 0 18460541 19566772224 44519 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 44519 5914 1 0 552998 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=13048 CPUtime=6.08 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 8149 0 0 0 605 3 0 0 20 0 20 0 18460541 19566772224 44519 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 44519 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=6082791264869503569 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 44519 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=5520 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 44519 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178076 KiB

[startup+12.7003 s]
/proc/loadavg: 4.60 4.35 3.97 5/336 238137
/proc/meminfo: memFree=79204024/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=290056 CPUtime=14.99 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 30814 0 0 0 1488 11 0 0 20 0 20 0 18460541 19566772224 72514 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 72514 5914 1 0 552998 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=0 CPUtime=12.45 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 9559 0 0 0 1238 7 0 0 20 0 20 0 18460541 19566772224 72514 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=263432 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 72514 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 72514 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=16140 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 72514 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 290056 KiB

[startup+25.5003 s]
/proc/loadavg: 4.50 4.34 3.97 5/336 238139
/proc/meminfo: memFree=78653732/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=601484 CPUtime=27.78 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 34847 0 0 0 2760 18 0 0 20 0 20 0 18460541 19566772224 150371 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 150371 5930 1 0 552998 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=263432 CPUtime=25.19 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 11113 0 0 0 2506 13 0 0 20 0 20 0 18460541 19566772224 150371 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=16140 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 150371 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=3558 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 150371 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=595296 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 150371 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 27.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 601484 KiB

[startup+51.1058 s]
/proc/loadavg: 4.49 4.34 3.98 5/338 238146
/proc/meminfo: memFree=77781644/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=1149648 CPUtime=53.41 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 42949 0 0 0 5307 34 0 0 20 0 20 0 18460541 19566772224 287412 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 287412 5930 1 0 553139 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=11684 CPUtime=50.62 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 13554 0 0 0 5034 28 0 0 20 0 20 0 18460541 19566772224 287412 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/335 240193
/proc/meminfo: memFree=77672820/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183232 CPUtime=3254.46 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 200609 0 0 0 324845 601 0 0 20 0 20 0 18460541 19566772224 545808 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545808 5930 1 0 559369 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=2183232 CPUtime=3235.52 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 83989 0 0 0 323047 505 0 0 20 0 20 0 18460541 19566772224 545808 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2865 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=2183204 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545808 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=5520 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3239 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545808 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=2183232 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545808 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3254.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/336 240204
/proc/meminfo: memFree=78592128/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183260 CPUtime=3314.14 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 202677 0 0 0 330803 611 0 0 20 0 20 0 18460541 19566772224 545815 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545815 5930 1 0 559369 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=5520 CPUtime=3294.85 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 84955 0 0 0 328971 514 0 0 20 0 20 0 18460541 19566772224 545815 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2884 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=2183232 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545815 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=1816 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3296 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545815 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545815 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3314.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.20 4.18 5/334 240215
/proc/meminfo: memFree=77966912/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183288 CPUtime=3373.91 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 204754 0 0 0 336771 620 0 0 20 0 20 0 18460541 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545822 5930 1 0 559369 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=2183232 CPUtime=3354.31 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 86176 0 0 0 334909 522 0 0 20 0 20 0 18460541 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2907 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=2183272 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3353 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=2183272 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3373.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/334 240225
/proc/meminfo: memFree=77276968/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183288 CPUtime=3433.57 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 206664 0 0 0 342725 632 0 0 20 0 20 0 18460541 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545822 5930 1 0 559369 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=2183232 CPUtime=3413.72 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 87814 0 0 0 340839 533 0 0 20 0 20 0 18460541 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2938 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=73976 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=-9105268426655113916 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3410 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=2183288 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545822 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3433.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/334 240235
/proc/meminfo: memFree=76610760/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183308 CPUtime=3493.34 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 208795 0 0 0 348692 642 0 0 20 0 20 0 18460541 19566772224 545827 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545827 5930 1 0 559369 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=2183288 CPUtime=3473.17 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 88825 0 0 0 346775 542 0 0 20 0 20 0 18460541 19566772224 545827 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2960 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=16140 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545827 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3467 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545827 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=2183300 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545827 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3493.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/334 240245
/proc/meminfo: memFree=75955880/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183312 CPUtime=3553.15 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 210803 0 0 0 354663 652 0 0 20 0 20 0 18460541 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545828 5930 1 0 559370 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=2183312 CPUtime=3532.65 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 89975 0 0 0 352714 551 0 0 20 0 20 0 18460541 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2979 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=2183312 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=-9105268426655113916 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3540 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=73976 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3553.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.5 s]
/proc/loadavg: 4.20 4.19 4.18 5/333 240253
/proc/meminfo: memFree=75456992/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19108176 memory=2183312 CPUtime=3600.09 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 212237 0 0 0 359348 661 0 0 20 0 20 0 18460541 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4777044 545828 5930 1 0 559370 0
[pid=238114/tid=238116] ppid=238111 vsize=19108176 memory=2183312 CPUtime=3579.37 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 91108 0 0 0 357379 558 0 0 20 0 20 0 18460541 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3005 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19108176 memory=2183312 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3597 0 0 0 0 0 0 0 20 0 20 0 18460544 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238133] ppid=238111 vsize=19108176 memory=2183312 CPUtime=0 cores=5,7
/proc/238114/task/238133/stat : 238133 (Timer-0) S 238111 238114 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18460569 19566772224 545828 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.74 s, system=6.62219 s

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

[startup+3629.61 s]
/proc/loadavg: 4.20 4.19 4.18 5/333 240253
/proc/meminfo: memFree=75456992/131524600 swapFree=131071216/131071996
[pid=238114] ppid=238111 vsize=19307868 memory=2183984 CPUtime=3600.31 cores=5,7
/proc/238114/stat : 238114 (java) S 238111 238114 236599 0 -1 1077936128 214726 0 0 0 359370 661 0 0 20 0 21 0 18460541 19771256832 545996 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
/proc/238114/statm: 4826967 545996 5929 1 0 560333 0
[pid=238114/tid=238116] ppid=238111 vsize=19307868 memory=73976 CPUtime=3579.48 cores=5,7
/proc/238114/task/238116/stat : 238116 (java) R 238111 238114 236599 0 -1 4194368 91354 0 0 0 357390 558 0 0 20 0 21 0 18460541 19771256832 545996 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3005 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238125] ppid=238111 vsize=19307868 memory=16140 CPUtime=0 cores=5,7
/proc/238114/task/238125/stat : 238125 (Finalizer) S 238111 238114 236599 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18460544 19771256832 545996 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
[pid=238114/tid=238132] ppid=238111 vsize=19307868 memory=2268 CPUtime=0 cores=5,7
/proc/238114/task/238132/stat : 238132 (Common-Cleaner) S 238111 238114 236599 0 -1 1077936192 3597 0 0 0 0 0 0 0 20 0 21 0 18460544 19771256832 545996 134679101440 94336180305920 94336180309616 140728488972144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94336180317432 94336180318224 94336209539072 140728488977323 140728488977505 140728488977505 140728488984520 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2183984 KiB

Child status: 143

Real time (s): 3629.68
CPU time (s): 3600.36
CPU user time (s): 3593.74
CPU system time (s): 6.62219
CPU usage (%): 99.1923
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2183984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.74
system time used= 6.62219
maximum resident set size= 2185024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10878272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114030
involuntary context switches= 8837


# summary of solver processes directly reported to runsolver:
#   pid: 238114
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3593.74
#   total CPU system time (s): 6.62219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55384 second user time and 17.4166 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-24 13:09:40
IDJOB=4440405
IDBENCH=148155
IDSOLVER=3079
FILE ID=nodeC017/4440405-1721819380
RUNJOBID= nodeC017-1721817186-236612
SLURM_JOB_ID= 7816870
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440405-1721819380/watcher-4440405-1721819380 -o /tmp/evaluation-result-4440405-1721819380/solver-4440405-1721819380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721817186-236612 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440405-1721819380 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440405-1721819380.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=345911906

nodeC017.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		: 3666.421
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3669.442
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	: 7006.74
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		: 3600.536
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3608.662
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	: 7006.74
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		: 3666.548
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3656.882
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	: 7006.74
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		: 3600.578
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3640.263
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	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        79610716 kB
MemAvailable:   120955808 kB
Buffers:          260344 kB
Cached:         41798636 kB
SwapCached:           88 kB
Active:          2587860 kB
Inactive:       48452736 kB
Active(anon):       1548 kB
Inactive(anon):  9034036 kB
Active(file):    2586312 kB
Inactive(file): 39418700 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            187836 kB
Writeback:             4 kB
AnonPages:       8979672 kB
Mapped:           138804 kB
Shmem:             53820 kB
KReclaimable:     359804 kB
Slab:             493412 kB
SReclaimable:     359804 kB
SUnreclaim:       133608 kB
KernelStack:        5124 kB
PageTables:        27468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9548224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8663040 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:      422612 kB
DirectMap2M:    40245248 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC017 at 2024-07-24 14:10:10