Trace number 4457947

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)1 3600.26 3594.44

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
MD5SUM21ed527d50cb70bf3fbdba517cab1d1c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark70.6884
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3004
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 751
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 751
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 751
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.11	--- Begin Solver configuration ---
0.13/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	Learn all clauses as in MiniSAT
0.13/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	No reason simplification
0.13/0.11	Glucose 2.1 dynamic restart strategy
0.13/0.11	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.11	timeout=2147483s
0.13/0.11	DB Simplification allowed=false
0.13/0.11	Listener: none
0.13/0.11	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4457947-1721871783.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.19	c ... done. Wall clock time 0.072s.
0.13/0.19	c declared #vars     3004
0.13/0.19	c #constraints  1502
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1502
0.13/0.19	c 1502 constraints processed.
0.13/0.20	c objective function length is 751 literals
0.51/0.35	c SATISFIABLE
0.51/0.35	c OPTIMIZING...
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.232
0.51/0.36	o 1
1.48/0.86	c cleaning 2841 clauses out of 5685 with flag 31429/5685
2.08/1.18	c cleaning 4413 clauses out of 8845 with flag 70147/11686
2.44/1.40	c cleaning 5709 clauses out of 11431 with flag 110198/18685
2.98/1.65	c cleaning 6853 clauses out of 13724 with flag 161921/26687
3.28/1.93	c cleaning 7921 clauses out of 15869 with flag 222802/35685
3.58/2.22	c cleaning 8955 clauses out of 17949 with flag 283469/45686
3.88/2.54	c cleaning 9980 clauses out of 19993 with flag 355056/56685
4.29/2.91	c cleaning 10990 clauses out of 22014 with flag 429543/68686
4.59/3.28	c cleaning 11994 clauses out of 24025 with flag 509410/81687
5.09/3.72	c cleaning 12988 clauses out of 26029 with flag 599946/95685
5.50/4.18	c cleaning 13972 clauses out of 28041 with flag 693031/110685
6.09/4.70	c cleaning 15014 clauses out of 30069 with flag 789601/126685
6.74/5.31	c cleaning 16003 clauses out of 32056 with flag 895353/143686
7.26/5.89	c cleaning 17017 clauses out of 34052 with flag 1005300/161685
7.95/6.53	c cleaning 17990 clauses out of 36038 with flag 1122011/180688
8.66/7.25	c cleaning 18992 clauses out of 38045 with flag 1249548/200685
9.40/7.95	c cleaning 20014 clauses out of 40055 with flag 1375758/221687
10.09/8.68	c cleaning 20987 clauses out of 42040 with flag 1513165/243686
11.03/9.52	c cleaning 21992 clauses out of 44052 with flag 1658876/266685
11.83/10.34	c cleaning 22996 clauses out of 46060 with flag 1806383/290685
12.72/11.21	c cleaning 24008 clauses out of 48064 with flag 1957065/315685
13.67/12.17	c cleaning 24991 clauses out of 50057 with flag 2125180/341686
14.66/13.12	c cleaning 26000 clauses out of 52066 with flag 2291257/368686
15.71/14.16	c cleaning 27006 clauses out of 54066 with flag 2465110/396686
16.80/15.20	c cleaning 27988 clauses out of 56060 with flag 2648344/425686
17.94/16.35	c cleaning 28994 clauses out of 58072 with flag 2836382/455686
19.14/17.50	c cleaning 30011 clauses out of 60078 with flag 3027380/486686
20.40/18.76	c cleaning 31001 clauses out of 62068 with flag 3231739/518687
21.70/20.03	c cleaning 32002 clauses out of 64065 with flag 3448621/551685
23.01/21.39	c cleaning 33006 clauses out of 66065 with flag 3658961/585687
24.45/22.71	c cleaning 34005 clauses out of 68057 with flag 3877362/620685
25.75/24.04	c cleaning 34998 clauses out of 70052 with flag 4109408/656685
27.17/25.48	c cleaning 35995 clauses out of 72054 with flag 4342825/693685
28.57/26.89	c cleaning 36993 clauses out of 74059 with flag 4580292/731685
30.20/28.47	c cleaning 37997 clauses out of 76066 with flag 4837637/770685
31.80/30.06	c cleaning 38996 clauses out of 78070 with flag 5088327/810686
33.43/31.64	c cleaning 40037 clauses out of 80074 with flag 5351924/851686
35.03/33.28	c cleaning 40980 clauses out of 82036 with flag 5614837/893685
36.76/34.97	c cleaning 41997 clauses out of 84057 with flag 5895890/936686
38.57/36.70	c cleaning 43000 clauses out of 86060 with flag 6176307/980686
40.39/38.56	c cleaning 43993 clauses out of 88059 with flag 6463963/1025685
42.17/40.39	c cleaning 44989 clauses out of 90066 with flag 6748656/1071685
44.21/42.33	c cleaning 45996 clauses out of 92079 with flag 7047635/1118687
46.09/44.22	c cleaning 46987 clauses out of 94081 with flag 7345978/1166685
48.24/46.31	c cleaning 48000 clauses out of 96094 with flag 7666485/1215685
50.23/48.38	c cleaning 49008 clauses out of 98094 with flag 7987670/1265685
52.43/50.51	c cleaning 50009 clauses out of 100086 with flag 8314246/1316685
54.72/52.76	c cleaning 51019 clauses out of 102078 with flag 8664691/1368686
56.81/54.86	c cleaning 51964 clauses out of 104059 with flag 9005793/1421686
59.09/57.08	c cleaning 52996 clauses out of 106094 with flag 9353774/1475685
61.38/59.34	c cleaning 54008 clauses out of 108098 with flag 9722132/1530685
63.67/61.68	c cleaning 55004 clauses out of 110090 with flag 10091827/1586685
66.23/64.11	c cleaning 56012 clauses out of 112086 with flag 10452191/1643685
68.62/66.57	c cleaning 57003 clauses out of 114074 with flag 10831878/1701685
71.12/69.09	c cleaning 57994 clauses out of 116071 with flag 11218073/1760685
73.70/71.64	c cleaning 58989 clauses out of 118078 with flag 11614275/1820686
76.30/74.28	c cleaning 60010 clauses out of 120088 with flag 12011761/1881685
79.32/77.09	c cleaning 60998 clauses out of 122079 with flag 12419990/1943686
82.11/79.83	c cleaning 62005 clauses out of 124081 with flag 12835495/2006686
84.80/82.56	c cleaning 63016 clauses out of 126075 with flag 13255822/2070685
87.86/85.54	c cleaning 63987 clauses out of 128059 with flag 13699484/2135685
90.75/88.46	c cleaning 64997 clauses out of 130072 with flag 14129347/2201685
93.74/91.42	c cleaning 66003 clauses out of 132077 with flag 14571213/2268687
96.84/94.51	c cleaning 66990 clauses out of 134072 with flag 15038067/2336685
100.07/97.76	c cleaning 67994 clauses out of 136083 with flag 15507249/2405686
103.17/100.86	c cleaning 68999 clauses out of 138089 with flag 15971568/2475686
106.37/104.08	c cleaning 69992 clauses out of 140089 with flag 16451657/2546685
109.86/107.42	c cleaning 70994 clauses out of 142097 with flag 16921467/2618685
112.97/110.53	c cleaning 72009 clauses out of 144105 with flag 17411658/2691687
116.46/114.00	c cleaning 73007 clauses out of 146094 with flag 17919954/2765685
119.85/117.41	c cleaning 73999 clauses out of 148087 with flag 18415740/2840685
123.63/121.17	c cleaning 75005 clauses out of 150088 with flag 18942471/2916685
127.22/124.73	c cleaning 76017 clauses out of 152085 with flag 19448074/2993687
130.92/128.41	c cleaning 76984 clauses out of 154068 with flag 19972358/3071687
135.02/132.45	c cleaning 78000 clauses out of 156082 with flag 20511002/3150685
138.81/136.21	c cleaning 79016 clauses out of 158083 with flag 21046527/3230686
142.61/140.03	c cleaning 79997 clauses out of 160066 with flag 21584247/3311685
146.49/143.93	c cleaning 81035 clauses out of 162070 with flag 22138583/3393686
150.70/148.06	c cleaning 81964 clauses out of 164034 with flag 22706811/3476685
154.69/152.08	c cleaning 82989 clauses out of 166070 with flag 23267658/3560685
158.68/156.01	c cleaning 84011 clauses out of 168082 with flag 23842002/3645686
162.47/159.89	c cleaning 84991 clauses out of 170070 with flag 24413894/3731685
166.93/164.20	c cleaning 85990 clauses out of 172080 with flag 24999069/3818686
171.22/168.50	c cleaning 86997 clauses out of 174091 with flag 25593480/3906687
175.61/172.90	c cleaning 87982 clauses out of 176092 with flag 26199080/3995685
179.91/177.26	c cleaning 89010 clauses out of 178111 with flag 26799560/4085686
184.39/181.73	c cleaning 90004 clauses out of 180100 with flag 27408766/4176685
189.11/186.33	c cleaning 91006 clauses out of 182099 with flag 28029050/4268688
193.70/190.95	c cleaning 92005 clauses out of 184090 with flag 28665615/4361685
198.29/195.59	c cleaning 92988 clauses out of 186086 with flag 29302791/4455686
203.18/200.45	c cleaning 93992 clauses out of 188097 with flag 29956150/4550685
208.19/205.37	c cleaning 95006 clauses out of 190105 with flag 30626513/4646685
212.99/210.11	c cleaning 96010 clauses out of 192100 with flag 31292629/4743686
217.77/214.96	c cleaning 97003 clauses out of 194089 with flag 31960544/4841685
222.76/219.98	c cleaning 97996 clauses out of 196086 with flag 32639585/4940685
228.06/225.11	c cleaning 99003 clauses out of 198090 with flag 33332266/5040685
233.11/230.29	c cleaning 99996 clauses out of 200087 with flag 34031809/5141685
238.16/235.35	c cleaning 101011 clauses out of 202091 with flag 34735717/5243685
243.42/240.69	c cleaning 101993 clauses out of 204081 with flag 35437514/5346686
248.77/246.10	c cleaning 103003 clauses out of 206087 with flag 36157570/5450685
254.70/251.57	c cleaning 104003 clauses out of 208084 with flag 36878683/5555685
260.26/257.18	c cleaning 104976 clauses out of 210082 with flag 37636256/5661686
265.80/262.73	c cleaning 105993 clauses out of 212106 with flag 38366976/5768686
271.18/268.18	c cleaning 107022 clauses out of 214113 with flag 39114835/5876686
277.13/274.01	c cleaning 107993 clauses out of 216090 with flag 39881583/5985685
282.91/279.83	c cleaning 109014 clauses out of 218099 with flag 40659340/6095687
289.01/285.92	c cleaning 109986 clauses out of 220084 with flag 41438786/6206686
295.10/292.03	c cleaning 110999 clauses out of 222097 with flag 42201244/6318685
301.34/298.14	c cleaning 111996 clauses out of 224098 with flag 42981010/6431685
307.23/304.10	c cleaning 113010 clauses out of 226102 with flag 43770579/6545685
313.51/310.31	c cleaning 114004 clauses out of 228093 with flag 44579512/6660686
319.80/316.68	c cleaning 114999 clauses out of 230089 with flag 45405740/6776686
325.79/322.69	c cleaning 116007 clauses out of 232089 with flag 46230974/6893685
332.18/328.97	c cleaning 116987 clauses out of 234083 with flag 47058434/7011686
338.66/335.43	c cleaning 118011 clauses out of 236095 with flag 47891660/7130685
345.15/342.00	c cleaning 118996 clauses out of 238084 with flag 48721075/7250685
351.73/348.57	c cleaning 119984 clauses out of 240090 with flag 49552519/7371687
358.53/355.39	c cleaning 121010 clauses out of 242104 with flag 50419509/7493685
365.31/362.16	c cleaning 122001 clauses out of 244095 with flag 51277356/7616686
372.48/369.27	c cleaning 122989 clauses out of 246093 with flag 52148217/7740685
379.42/376.28	c cleaning 124004 clauses out of 248104 with flag 53019624/7865685
386.27/383.13	c cleaning 125002 clauses out of 250102 with flag 53877508/7991687
393.29/390.20	c cleaning 126000 clauses out of 252099 with flag 54771605/8118686
400.33/397.34	c cleaning 127019 clauses out of 254098 with flag 55675155/8246685
407.96/404.85	c cleaning 128003 clauses out of 256080 with flag 56594752/8375686
415.28/412.28	c cleaning 128987 clauses out of 258076 with flag 57506732/8505685
422.61/419.68	c cleaning 129975 clauses out of 260089 with flag 58430587/8636685
430.68/427.62	c cleaning 131017 clauses out of 262115 with flag 59362372/8768686
438.12/435.15	c cleaning 131995 clauses out of 264097 with flag 60294030/8901685
445.45/442.51	c cleaning 133007 clauses out of 266102 with flag 61236689/9035685
453.08/450.25	c cleaning 134009 clauses out of 268098 with flag 62199872/9170688
461.14/458.23	c cleaning 135002 clauses out of 270088 with flag 63172517/9306687
468.97/466.17	c cleaning 136007 clauses out of 272085 with flag 64152936/9443686
476.98/474.24	c cleaning 136989 clauses out of 274077 with flag 65140495/9581685
484.92/482.24	c cleaning 138011 clauses out of 276089 with flag 66126279/9720686
493.59/490.83	c cleaning 138987 clauses out of 278077 with flag 67129585/9860685
501.71/499.07	c cleaning 140002 clauses out of 280091 with flag 68147388/10001686
509.65/507.05	c cleaning 140994 clauses out of 282090 with flag 69162573/10143687
517.48/514.96	c cleaning 141994 clauses out of 284097 with flag 70178836/10286688
526.20/523.36	c cleaning 143004 clauses out of 286100 with flag 71187858/10430685
534.38/531.54	c cleaning 144008 clauses out of 288097 with flag 72230609/10575686
542.66/539.88	c cleaning 145002 clauses out of 290089 with flag 73265109/10721686
551.24/548.31	c cleaning 146001 clauses out of 292086 with flag 74311052/10868685
559.93/557.06	c cleaning 147001 clauses out of 294086 with flag 75376863/11016686
568.60/565.70	c cleaning 148001 clauses out of 296086 with flag 76446502/11165687
577.18/574.31	c cleaning 149008 clauses out of 298085 with flag 77528632/11315687
586.14/583.15	c cleaning 150002 clauses out of 300078 with flag 78598323/11466688
594.92/591.98	c cleaning 150979 clauses out of 302074 with flag 79714378/11618686
604.01/601.02	c cleaning 151985 clauses out of 304094 with flag 80814483/11771685
612.78/609.87	c cleaning 153016 clauses out of 306111 with flag 81919015/11925687
621.87/618.91	c cleaning 153991 clauses out of 308095 with flag 83026082/12080687
631.43/628.40	c cleaning 154999 clauses out of 310102 with flag 84144708/12236685
640.61/637.63	c cleaning 156000 clauses out of 312103 with flag 85272707/12393685
649.89/646.93	c cleaning 157001 clauses out of 314103 with flag 86409570/12551685
659.28/656.30	c cleaning 158013 clauses out of 316102 with flag 87551109/12710685
669.11/666.04	c cleaning 158989 clauses out of 318091 with flag 88699806/12870687
678.88/675.81	c cleaning 160004 clauses out of 320102 with flag 89860105/13031687
688.46/685.47	c cleaning 160997 clauses out of 322097 with flag 91029407/13193686
698.25/695.25	c cleaning 162006 clauses out of 324099 with flag 92206283/13356685
708.30/705.18	c cleaning 162995 clauses out of 326093 with flag 93387942/13520685
718.18/715.04	c cleaning 163999 clauses out of 328099 with flag 94572252/13685686
728.42/725.14	c cleaning 165005 clauses out of 330100 with flag 95759410/13851686
738.50/735.27	c cleaning 165998 clauses out of 332094 with flag 96971744/14018685
748.88/745.69	c cleaning 167049 clauses out of 334097 with flag 98193376/14186686
759.90/756.18	c cleaning 167980 clauses out of 336047 with flag 99403703/14355685
770.46/766.73	c cleaning 169007 clauses out of 338067 with flag 100644133/14525685
780.94/777.25	c cleaning 169985 clauses out of 340061 with flag 101876388/14696686
791.85/788.03	c cleaning 170996 clauses out of 342075 with flag 103114749/14868685
802.73/798.92	c cleaning 172002 clauses out of 344080 with flag 104389154/15041686
813.51/809.71	c cleaning 172975 clauses out of 346078 with flag 105639439/15215686
824.44/820.51	c cleaning 174001 clauses out of 348102 with flag 106925879/15390685
835.34/831.55	c cleaning 174999 clauses out of 350101 with flag 108209585/15566685
846.14/842.41	c cleaning 176007 clauses out of 352103 with flag 109516352/15743686
857.05/853.45	c cleaning 177017 clauses out of 354095 with flag 110796286/15921685
868.43/864.87	c cleaning 178009 clauses out of 356078 with flag 112106519/16100685
879.73/876.22	c cleaning 178989 clauses out of 358071 with flag 113418962/16280687
891.43/888.00	c cleaning 179982 clauses out of 360082 with flag 114744652/16461687
903.22/899.97	c cleaning 180986 clauses out of 362098 with flag 116093541/16643685
915.26/911.97	c cleaning 182014 clauses out of 364112 with flag 117439925/16826685
927.15/923.99	c cleaning 183002 clauses out of 366098 with flag 118776576/17010685
938.86/935.73	c cleaning 184000 clauses out of 368096 with flag 120132150/17195685
950.95/947.93	c cleaning 184974 clauses out of 370098 with flag 121511057/17381687
963.06/960.05	c cleaning 186014 clauses out of 372122 with flag 122880839/17568685
975.16/972.21	c cleaning 187012 clauses out of 374109 with flag 124277810/17756686
987.31/984.43	c cleaning 187994 clauses out of 376096 with flag 125634812/17945685
999.68/996.83	c cleaning 189011 clauses out of 378103 with flag 127024942/18135686
1012.18/1009.23	c cleaning 190018 clauses out of 380093 with flag 128407432/18326687
1024.96/1022.03	c cleaning 190985 clauses out of 382073 with flag 129818413/18518685
1037.93/1035.08	c cleaning 191983 clauses out of 384090 with flag 131262841/18711687
1050.60/1047.73	c cleaning 192995 clauses out of 386105 with flag 132681026/18905685
1064.31/1061.15	c cleaning 194007 clauses out of 388110 with flag 134106397/19100685
1077.08/1073.91	c cleaning 194994 clauses out of 390103 with flag 135558544/19296685
1089.96/1086.88	c cleaning 196010 clauses out of 392111 with flag 137012540/19493687
1103.81/1100.50	c cleaning 197018 clauses out of 394101 with flag 138482839/19691687
1116.89/1113.65	c cleaning 197993 clauses out of 396083 with flag 139970039/19890687
1130.37/1127.17	c cleaning 199006 clauses out of 398090 with flag 141463615/20090687
1143.63/1140.40	c cleaning 199982 clauses out of 400083 with flag 142924550/20291686
1157.34/1154.09	c cleaning 201018 clauses out of 402102 with flag 144435249/20493687
1171.22/1167.90	c cleaning 201997 clauses out of 404083 with flag 145957040/20696686
1184.88/1181.62	c cleaning 202998 clauses out of 406086 with flag 147479886/20900686
1199.36/1195.91	c cleaning 203993 clauses out of 408088 with flag 149014839/21105686
1213.23/1209.88	c cleaning 204981 clauses out of 410094 with flag 150528454/21311685
1227.74/1224.22	c cleaning 205991 clauses out of 412113 with flag 152074189/21518685
1241.91/1238.44	c cleaning 207010 clauses out of 414124 with flag 153613667/21726687
1255.99/1252.53	c cleaning 208017 clauses out of 416114 with flag 155164622/21935687
1270.89/1267.38	c cleaning 209009 clauses out of 418095 with flag 156729007/22145685
1285.27/1281.84	c cleaning 209987 clauses out of 420086 with flag 158303522/22356685
1300.40/1296.74	c cleaning 211006 clauses out of 422100 with flag 159867236/22568686
1315.17/1311.55	c cleaning 212008 clauses out of 424093 with flag 161461921/22781685
1329.98/1326.25	c cleaning 213005 clauses out of 426085 with flag 163045889/22995685
1344.76/1341.10	c cleaning 213983 clauses out of 428080 with flag 164650100/23210685
1359.73/1356.10	c cleaning 214997 clauses out of 430097 with flag 166257315/23426685
1375.37/1371.64	c cleaning 216004 clauses out of 432100 with flag 167868189/23643685
1390.65/1386.94	c cleaning 217007 clauses out of 434098 with flag 169478105/23861687
1406.11/1402.41	c cleaning 218013 clauses out of 436090 with flag 171103702/24080686
1421.80/1418.07	c cleaning 218979 clauses out of 438076 with flag 172765619/24300685
1437.87/1434.11	c cleaning 220000 clauses out of 440097 with flag 174434615/24521685
1453.53/1449.89	c cleaning 220986 clauses out of 442097 with flag 176101487/24743685
1470.41/1466.51	c cleaning 221995 clauses out of 444111 with flag 177762293/24966685
1486.50/1482.54	c cleaning 223029 clauses out of 446119 with flag 179432741/25190688
1502.66/1498.81	c cleaning 224044 clauses out of 448087 with flag 181124939/25415685
1518.80/1514.95	c cleaning 224951 clauses out of 450043 with flag 182842333/25641685
1535.63/1531.76	c cleaning 225992 clauses out of 452093 with flag 184543922/25868686
1551.88/1548.19	c cleaning 226979 clauses out of 454100 with flag 186245085/26096685
1568.00/1564.36	c cleaning 227983 clauses out of 456121 with flag 187954929/26325685
1584.80/1581.16	c cleaning 229033 clauses out of 458139 with flag 189693059/26555686
1602.21/1598.19	c cleaning 229990 clauses out of 460105 with flag 191436782/26786685
1619.52/1615.44	c cleaning 231010 clauses out of 462116 with flag 193174844/27018686
1636.49/1632.49	c cleaning 231997 clauses out of 464106 with flag 194928405/27251686
1654.02/1649.97	c cleaning 233020 clauses out of 466108 with flag 196729376/27485685
1671.09/1667.09	c cleaning 233999 clauses out of 468088 with flag 198500862/27720685
1688.81/1684.63	c cleaning 235010 clauses out of 470089 with flag 200310307/27956685
1705.86/1701.87	c cleaning 235980 clauses out of 472079 with flag 202107732/28193685
1723.21/1719.32	c cleaning 237004 clauses out of 474100 with flag 203909870/28431686
1741.22/1737.46	c cleaning 238004 clauses out of 476095 with flag 205722197/28670685
1759.06/1755.41	c cleaning 239008 clauses out of 478091 with flag 207528560/28910685
1776.70/1773.26	c cleaning 240008 clauses out of 480083 with flag 209360179/29151685
1795.19/1791.70	c cleaning 241000 clauses out of 482076 with flag 211243288/29393686
1812.94/1809.65	c cleaning 241996 clauses out of 484075 with flag 213085180/29636685
1830.87/1827.74	c cleaning 242983 clauses out of 486081 with flag 214956693/29880687
1849.33/1846.26	c cleaning 244001 clauses out of 488098 with flag 216809768/30125687
1867.48/1864.49	c cleaning 245002 clauses out of 490095 with flag 218692770/30371685
1885.93/1882.97	c cleaning 245993 clauses out of 492093 with flag 220561142/30618685
1904.89/1901.98	c cleaning 247000 clauses out of 494100 with flag 222477716/30866685
1923.96/1920.99	c cleaning 248002 clauses out of 496101 with flag 224359814/31115686
1943.13/1940.11	c cleaning 249008 clauses out of 498098 with flag 226269675/31365685
1962.18/1959.22	c cleaning 249994 clauses out of 500091 with flag 228192617/31616686
1982.19/1979.10	c cleaning 251004 clauses out of 502096 with flag 230119936/31868685
2001.16/1998.04	c cleaning 251992 clauses out of 504092 with flag 232060442/32121685
2020.63/2017.41	c cleaning 253004 clauses out of 506100 with flag 234013847/32375685
2040.38/2037.28	c cleaning 254012 clauses out of 508097 with flag 235972025/32630686
2059.95/2056.82	c cleaning 254996 clauses out of 510084 with flag 237946708/32886685
2079.42/2076.31	c cleaning 256003 clauses out of 512090 with flag 239928531/33143687
2099.19/2096.12	c cleaning 257011 clauses out of 514085 with flag 241905264/33401685
2119.61/2116.18	c cleaning 258003 clauses out of 516074 with flag 243885802/33660685
2139.88/2136.24	c cleaning 258989 clauses out of 518073 with flag 245901467/33920687
2159.94/2156.34	c cleaning 259978 clauses out of 520082 with flag 247928751/34181685
2180.69/2176.96	c cleaning 261019 clauses out of 522107 with flag 249938495/34443688
2201.44/2197.57	c cleaning 262005 clauses out of 524086 with flag 251966383/34706686
2222.43/2218.58	c cleaning 262977 clauses out of 526080 with flag 254025051/34970685
2243.96/2240.01	c cleaning 264053 clauses out of 528106 with flag 256094248/35235688
2264.95/2260.97	c cleaning 264981 clauses out of 530051 with flag 258144405/35501686
2286.51/2282.12	c cleaning 265983 clauses out of 532070 with flag 260218388/35768686
2307.82/2303.45	c cleaning 266987 clauses out of 534087 with flag 262305344/36036686
2329.05/2324.62	c cleaning 268008 clauses out of 536099 with flag 264387367/36305685
2350.73/2346.10	c cleaning 268982 clauses out of 538091 with flag 266505999/36575685
2372.49/2367.73	c cleaning 270019 clauses out of 540109 with flag 268625560/36846685
2394.31/2389.40	c cleaning 271004 clauses out of 542091 with flag 270754995/37118686
2416.82/2411.87	c cleaning 271985 clauses out of 544086 with flag 272892561/37391685
2438.90/2433.83	c cleaning 273020 clauses out of 546101 with flag 275037266/37665685
2460.34/2455.29	c cleaning 273980 clauses out of 548081 with flag 277186221/37940685
2483.19/2477.72	c cleaning 275013 clauses out of 550101 with flag 279349161/38216685
2504.86/2499.52	c cleaning 275994 clauses out of 552090 with flag 281508463/38493687
2527.26/2522.14	c cleaning 276988 clauses out of 554094 with flag 283688783/38771685
2549.95/2544.87	c cleaning 278011 clauses out of 556108 with flag 285893749/39050687
2572.41/2567.31	c cleaning 279004 clauses out of 558095 with flag 288094877/39330685
2595.10/2589.83	c cleaning 280000 clauses out of 560093 with flag 290294084/39611687
2617.95/2612.63	c cleaning 281007 clauses out of 562093 with flag 292467765/39893687
2640.97/2635.60	c cleaning 282003 clauses out of 564084 with flag 294697872/40176685
2664.32/2658.98	c cleaning 283008 clauses out of 566081 with flag 296920378/40460685
2687.40/2682.02	c cleaning 283969 clauses out of 568073 with flag 299128473/40745685
2711.13/2705.74	c cleaning 285016 clauses out of 570104 with flag 301376957/41031685
2735.27/2729.70	c cleaning 286005 clauses out of 572088 with flag 303665966/41318685
2758.48/2752.87	c cleaning 287002 clauses out of 574084 with flag 305923967/41606686
2781.91/2776.11	c cleaning 287988 clauses out of 576082 with flag 308182566/41895686
2806.56/2800.25	c cleaning 289011 clauses out of 578093 with flag 310472931/42185685
2830.49/2824.19	c cleaning 290004 clauses out of 580082 with flag 312759286/42476685
2854.34/2848.01	c cleaning 290971 clauses out of 582079 with flag 315030537/42768686
2878.55/2872.28	c cleaning 292014 clauses out of 584107 with flag 317353365/43061685
2902.84/2896.75	c cleaning 293019 clauses out of 586094 with flag 319689985/43355686
2927.52/2921.42	c cleaning 293988 clauses out of 588074 with flag 321994071/43650685
2952.12/2946.08	c cleaning 294989 clauses out of 590086 with flag 324333581/43946685
2977.62/2971.41	c cleaning 296001 clauses out of 592100 with flag 326692885/44243688
3002.55/2996.48	c cleaning 297008 clauses out of 594097 with flag 329050747/44541686
3027.92/3021.97	c cleaning 297999 clauses out of 596090 with flag 331417280/44840687
3052.89/3047.13	c cleaning 298993 clauses out of 598089 with flag 333785991/45140685
3078.01/3072.49	c cleaning 300015 clauses out of 600096 with flag 336174153/45441685
3103.86/3098.56	c cleaning 300982 clauses out of 602085 with flag 338577994/45743689
3129.63/3124.22	c cleaning 302007 clauses out of 604099 with flag 340975775/46046685
3155.86/3150.34	c cleaning 303019 clauses out of 606095 with flag 343404096/46350688
3182.03/3176.58	c cleaning 303995 clauses out of 608074 with flag 345842430/46655686
3207.82/3202.47	c cleaning 305005 clauses out of 610078 with flag 348291817/46961685
3233.94/3228.67	c cleaning 305985 clauses out of 612073 with flag 350737976/47268685
3260.15/3254.87	c cleaning 306989 clauses out of 614088 with flag 353204345/47576685
3286.19/3280.91	c cleaning 307976 clauses out of 616099 with flag 355671105/47885685
3312.62/3307.39	c cleaning 309033 clauses out of 618124 with flag 358132114/48195686
3339.38/3334.19	c cleaning 309992 clauses out of 620091 with flag 360617739/48506686
3367.08/3361.42	c cleaning 311007 clauses out of 622098 with flag 363098420/48818685
3393.82/3388.27	c cleaning 311986 clauses out of 624093 with flag 365608358/49131687
3421.15/3415.55	c cleaning 313006 clauses out of 626105 with flag 368129821/49445685
3448.70/3443.14	c cleaning 313997 clauses out of 628099 with flag 370670802/49760685
3475.23/3469.71	c cleaning 315012 clauses out of 630103 with flag 373190906/50076686
3502.27/3496.73	c cleaning 315995 clauses out of 632090 with flag 375689839/50393685
3529.81/3524.32	c cleaning 316997 clauses out of 634100 with flag 378240865/50711690
3558.16/3552.75	c cleaning 317991 clauses out of 636100 with flag 380833890/51030687
3586.82/3581.12	c cleaning 319050 clauses out of 638107 with flag 383410710/51350685
3600.00/3594.32	c starts		: 274340
3600.00/3594.32	c conflicts		: 51523354
3600.00/3594.32	c decisions		: 383024221
3600.00/3594.32	c propagations		: 2954213887
3600.00/3594.32	c inspects		: 41363626683
3600.00/3594.32	c shortcuts		: 0
3600.00/3594.32	c learnt literals	: 0
3600.00/3594.32	c learnt binary clauses	: 0
3600.00/3594.32	c learnt ternary clauses	: 0
3600.00/3594.32	c learnt constraints	: 51523354
3600.00/3594.32	c ignored constraints	: 0
3600.00/3594.32	c root simplifications	: 0
3600.00/3594.32	c removed literals (reason simplification)	: 0
3600.00/3594.32	c reason swapping (by a shorter reason)	: 0
3600.00/3594.32	c Calls to reduceDB	: 316
3600.00/3594.32	c Number of update (reduction) of LBD	: 15215348
3600.00/3594.32	c Imported unit clauses	: 0
3600.00/3594.32	c No decision after first conflict	: false
3600.00/3594.32	c number of reductions to clauses (during analyze)	: 0
3600.00/3594.32	c number of learned constraints concerned by reduction	: 0
3600.00/3594.32	c number of learning phase by resolution	: 0
3600.00/3594.32	c number of learning phase by cutting planes	: 0
3600.00/3594.32	c number of rounding to 1 operations	: 0
3600.00/3594.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3594.32	c number of reductions of the coefficients by power 2 	: 0
3600.00/3594.32	c number of right shift for reduction by power 2 	: 0
3600.00/3594.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3594.33	c number of ending skipping 	: 0
3600.00/3594.33	c number of internal skipping 	: 0
3600.00/3594.33	c number of derivation steps 	: 0
3600.00/3594.33	c number of skipped derivation steps 	: 0
3600.00/3594.33	c number of remaining unassigned 	: 0
3600.00/3594.33	c number of remaining assigned 	: 0
3600.00/3594.33	c number of falsified literals weakened from reason	: 0
3600.00/3594.33	c number of falsified literals weakened from conflict	: 0
3600.00/3594.33	c time for arithmetic operations	: 0
3600.00/3594.34	c minimum degree of deleted constraints	: null
3600.00/3594.34	c maximum degree of deleted constraints	: null
3600.00/3594.34	c number of deleted constraints	: 0
3600.00/3594.34	c speed (assignments/second)	: 821955.8983308047
3600.00/3594.34	c non guided choices	: 10070409
3600.20/3594.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 491726
3600.20/3594.42	s SATISFIABLE
3600.20/3594.42	c Found 1 solution(s)
3600.20/3594.42	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 
3600.20/3594.42	c objective function=1
3600.20/3594.42	c Total wall clock time (in seconds): 3594.303

Verifier Data 

OK	1

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457947-1721871783/watcher-4457947-1721871783 -o /tmp/evaluation-result-4457947-1721871783/solver-4457947-1721871783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457947-1721871783.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=271210, runsolver pid=271207

[startup+0.100079 s]*
/proc/loadavg: 4.17 4.20 4.31 5/330 271228
/proc/meminfo: memFree=115661156/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=18975048 memory=62548 CPUtime=0.13 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 7225 0 0 0 12 1 0 0 20 0 18 0 23702267 19430449152 15637 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4743762 15637 5531 1 0 549341 0
[pid=271210/tid=271212] ppid=271207 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 5750 0 0 0 7 1 0 0 20 0 18 0 23702268 19430449152 15637 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23702270 19430449152 15637 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23702271 19430449152 15637 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62548 KiB

[startup+0.209765 s]*
/proc/loadavg: 4.17 4.20 4.31 9/331 271229
/proc/meminfo: memFree=115615916/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19041612 memory=108924 CPUtime=0.33 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 8777 0 0 0 30 3 0 0 20 0 19 0 23702267 19498610688 27231 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4760403 27231 5832 1 0 550568 0
[pid=271210/tid=271212] ppid=271207 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 6007 0 0 0 16 2 0 0 20 0 19 0 23702268 19498610688 27231 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19041612 memory=1574935 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23702270 19498610688 27231 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19041612 memory=14127849065940646 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23702271 19498610688 27231 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (java) R 271207 271210 266840 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 23702288 19498610688 27231 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108924 KiB

[startup+0.306464 s]*
/proc/loadavg: 4.17 4.20 4.31 6/331 271229
/proc/meminfo: memFree=115611276/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19041612 memory=113420 CPUtime=0.51 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 9531 0 0 0 48 3 0 0 20 0 19 0 23702267 19498610688 28355 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4760403 28355 5835 1 0 551002 0
[pid=271210/tid=271212] ppid=271207 vsize=19041612 memory=-8673203267890291388 CPUtime=0.27 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 6031 0 0 0 25 2 0 0 20 0 19 0 23702268 19498610688 28355 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23702270 19498610688 28355 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23702271 19498610688 28355 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23702288 19498610688 28355 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 113420 KiB

[startup+0.700466 s]
/proc/loadavg: 4.17 4.20 4.31 6/331 271229
/proc/meminfo: memFree=115593944/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19041612 memory=137500 CPUtime=1.28 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 16179 0 0 0 124 4 0 0 20 0 19 0 23702267 19498610688 34375 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4760403 34375 5867 1 0 554425 0
[pid=271210/tid=271212] ppid=271207 vsize=19041612 memory=73996 CPUtime=0.64 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 6059 0 0 0 62 2 0 0 20 0 19 0 23702268 19498610688 34375 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19041612 memory=12992 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23702270 19498610688 34375 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19041612 memory=2336 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23702271 19498610688 34375 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19041612 memory=32404 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23702288 19498610688 34375 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137500 KiB

[startup+1.50047 s]
/proc/loadavg: 4.17 4.20 4.31 6/331 271229
/proc/meminfo: memFree=115581356/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19041612 memory=166148 CPUtime=2.83 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 21896 0 0 0 277 6 0 0 20 0 19 0 23702267 19498610688 41537 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4760403 41537 5867 1 0 554735 0
[pid=271210/tid=271212] ppid=271207 vsize=19041612 memory=12992 CPUtime=1.43 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 6523 0 0 0 140 3 0 0 20 0 19 0 23702268 19498610688 41537 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23702270 19498610688 41537 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19041612 memory=2336 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23702271 19498610688 41537 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19041612 memory=32404 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23702288 19498610688 41537 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166148 KiB

[startup+3.10552 s]
/proc/loadavg: 4.17 4.20 4.31 5/332 271230
/proc/meminfo: memFree=115537332/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=187080 CPUtime=4.5 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 22778 0 0 0 444 6 0 0 20 0 20 0 23702267 19566772224 46770 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 46770 5883 1 0 555024 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=0 CPUtime=3.01 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 6812 0 0 0 298 3 0 0 20 0 20 0 23702268 19566772224 46770 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=-8673203267890291388 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 46770 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 46770 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=2336 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 46770 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187080 KiB

[startup+6.30048 s]
/proc/loadavg: 4.24 4.21 4.32 5/332 271232
/proc/meminfo: memFree=115485728/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=238300 CPUtime=7.75 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 23942 0 0 0 768 7 0 0 20 0 20 0 23702267 19566772224 59575 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 59575 5903 1 0 555026 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=2336 CPUtime=6.12 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 6869 0 0 0 609 3 0 0 20 0 20 0 23702268 19566772224 59575 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 59575 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 59575 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 59575 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 238300 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.21 4.32 5/332 271232
/proc/meminfo: memFree=115333720/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=390048 CPUtime=14.26 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 25955 0 0 0 1415 11 0 0 20 0 20 0 23702267 19566772224 97512 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 97512 5903 1 0 555026 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=12992 CPUtime=12.34 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 7534 0 0 0 1231 3 0 0 20 0 20 0 23702268 19566772224 97512 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=293632 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 97512 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=73996 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 97512 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 97512 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 390048 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.20 4.31 5/332 271235
/proc/meminfo: memFree=114913928/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=808708 CPUtime=27.27 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 28690 0 0 0 2708 19 0 0 20 0 20 0 23702267 19566772224 202177 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 202177 5903 1 0 661545 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=6943526294502006880 CPUtime=24.82 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 8773 0 0 0 2477 5 0 0 20 0 20 0 23702268 19566772224 202177 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 202177 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=3551 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 202177 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 202177 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 27.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 808708 KiB

[startup+51.106 s]
/proc/loadavg: 4.17 4.20 4.31 5/332 271238
/proc/meminfo: memFree=114500796/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=1220580 CPUtime=53.03 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 32428 0 0 0 5276 27 0 0 20 0 20 0 23702267 19566772224 305145 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 305145 5903 1 0 661545 0

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/330 273219
/proc/meminfo: memFree=98620492/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4255488 CPUtime=3287.58 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 250023 0 0 0 328561 197 0 0 20 0 20 0 23702267 19566772224 1063872 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1063872 5903 1 0 1077917 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=4255488 CPUtime=3249.51 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 108543 0 0 0 324897 54 0 0 20 0 20 0 23702268 19566772224 1063872 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=4255488 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1063872 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1811 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1063872 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=4255488 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1063872 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3287.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4255488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/330 273229
/proc/meminfo: memFree=98392208/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4333324 CPUtime=3348.03 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 264721 0 0 0 334601 202 0 0 20 0 20 0 23702267 19566772224 1083331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1083331 5903 1 0 1161569 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=4255488 CPUtime=3309.11 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 114986 0 0 0 330856 55 0 0 20 0 20 0 23702268 19566772224 1083331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=4255492 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1083331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=4255492 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1898 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1083331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1083331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3348.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4333324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/330 273240
/proc/meminfo: memFree=97527208/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4589324 CPUtime=3407.97 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 265358 0 0 0 340589 208 0 0 20 0 20 0 23702267 19566772224 1147331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1147331 5903 1 0 1161569 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=4255492 CPUtime=3368.86 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 115606 0 0 0 336826 60 0 0 20 0 20 0 23702268 19566772224 1147331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=4589324 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1147331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=4589324 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1901 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1147331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=4589324 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1147331 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3407.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4589324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/333 273255
/proc/meminfo: memFree=96994572/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4589348 CPUtime=3467.85 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 265918 0 0 0 346575 210 0 0 20 0 20 0 23702267 19566772224 1147337 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1147337 5903 1 0 1161576 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=4255492 CPUtime=3428.71 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 116162 0 0 0 342811 60 0 0 20 0 20 0 23702268 19566772224 1147337 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=4589324 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1147337 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=-8673203267890291388 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1901 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1147337 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1147337 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3467.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4589348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/333 273266
/proc/meminfo: memFree=96614068/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4589368 CPUtime=3527.81 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 266577 0 0 0 352570 211 0 0 20 0 20 0 23702267 19566772224 1147342 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1147342 5903 1 0 1161579 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=4589368 CPUtime=3488.48 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 116506 0 0 0 348787 61 0 0 20 0 20 0 23702268 19566772224 1147342 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=4589368 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1147342 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=4589368 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1901 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1147342 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=74220 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1147342 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3527.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4589368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/333 273277
/proc/meminfo: memFree=95936072/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4599684 CPUtime=3588.01 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 270749 0 0 0 358587 214 0 0 20 0 20 0 23702267 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1149921 5903 1 0 1165756 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=74220 CPUtime=3547.99 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 117948 0 0 0 354738 61 0 0 20 0 20 0 23702268 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=1900 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=-7520868057794109822 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1984 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=2336 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4599684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/333 273281
/proc/meminfo: memFree=95929652/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19108176 memory=4599684 CPUtime=3600 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 270871 0 0 0 359785 215 0 0 20 0 20 0 23702267 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4777044 1149921 5903 1 0 1165756 0
[pid=271210/tid=271212] ppid=271207 vsize=19108176 memory=4589384 CPUtime=3559.96 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 118069 0 0 0 355935 61 0 0 20 0 20 0 23702268 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19108176 memory=31600 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23702270 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19108176 memory=1900 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1984 0 0 0 0 0 0 0 20 0 20 0 23702271 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271229] ppid=271207 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/271210/task/271229/stat : 271229 (Timer-0) S 271207 271210 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23702288 19566772224 1149921 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4599684 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.08 s, system=2.17647 s

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

[startup+3594.41 s]
/proc/loadavg: 4.12 4.16 4.17 5/333 273281
/proc/meminfo: memFree=95929652/131524600 swapFree=131056796/131071996
[pid=271210] ppid=271207 vsize=19307868 memory=4600372 CPUtime=3600.2 cores=4,6
/proc/271210/stat : 271210 (java) S 271207 271210 266840 0 -1 1077936128 273565 0 0 0 359805 215 0 0 20 0 21 0 23702267 19771256832 1150093 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
/proc/271210/statm: 4826967 1150093 5902 1 0 1166678 0
[pid=271210/tid=271212] ppid=271207 vsize=19307868 memory=4599684 CPUtime=3560.05 cores=4,6
/proc/271210/task/271212/stat : 271212 (java) R 271207 271210 266840 0 -1 4194368 118211 0 0 0 355944 61 0 0 20 0 21 0 23702268 19771256832 1150093 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271221] ppid=271207 vsize=19307868 memory=4599684 CPUtime=0 cores=4,6
/proc/271210/task/271221/stat : 271221 (Finalizer) S 271207 271210 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23702270 19771256832 1150093 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
[pid=271210/tid=271228] ppid=271207 vsize=19307868 memory=2792 CPUtime=0 cores=4,6
/proc/271210/task/271228/stat : 271228 (Common-Cleaner) S 271207 271210 266840 0 -1 1077936192 1984 0 0 0 0 0 0 0 20 0 21 0 23702271 19771256832 1150093 134679101440 94163907100672 94163907104368 140735559741344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94163907112184 94163907112976 94163931447296 140735559746567 140735559746657 140735559746657 140735559753672 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4600372 KiB

Child status: 143

Real time (s): 3594.44
CPU time (s): 3600.26
CPU user time (s): 3598.08
CPU system time (s): 2.17647
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4600372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.08
system time used= 2.17647
maximum resident set size= 4601476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110024
involuntary context switches= 17148


# summary of solver processes directly reported to runsolver:
#   pid: 271210
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3598.08
#   total CPU system time (s): 2.17647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3699 second user time and 18.324 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 03:43:03
IDJOB=4457947
IDBENCH=177055
IDSOLVER=3058
FILE ID=nodeC030/4457947-1721871783
RUNJOBID= nodeC030-1721865114-266851
SLURM_JOB_ID= 8089185
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457947-1721871783/watcher-4457947-1721871783 -o /tmp/evaluation-result-4457947-1721871783/solver-4457947-1721871783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266851 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457947-1721871783.opb

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

MD5SUM BENCH= 21ed527d50cb70bf3fbdba517cab1d1c
RANDOM SEED=899010961

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115703540 kB
MemAvailable:   122240352 kB
Buffers:          277932 kB
Cached:          7045884 kB
SwapCached:          300 kB
Active:          2571852 kB
Inactive:       12544988 kB
Active(anon):       2216 kB
Inactive(anon):  7843576 kB
Active(file):    2569636 kB
Inactive(file):  4701412 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              1232 kB
Writeback:             0 kB
AnonPages:       7789612 kB
Mapped:           130036 kB
Shmem:             53048 kB
KReclaimable:     211172 kB
Slab:             333588 kB
SReclaimable:     211172 kB
SUnreclaim:       122416 kB
KernelStack:        5004 kB
PageTables:        25724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8992532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7602176 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 04:42:58