Trace number 4432463

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)6012437 3600.4 3568.21

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
MD5SUM4bce0178dd52d2d263abed98aae07653
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 benchmark5114519
Best CPU time to get the best result obtained on this benchmark353.176
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432463-1721141417.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.34/0.27	c ... done. Wall clock time 0.147s.
0.34/0.27	c declared #vars     5100
0.34/0.27	c #constraints  12512
0.34/0.27	c constraints type 
0.34/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
0.34/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.34/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.34/0.27	c org.sat4j.specs.Constr$1 => 2
0.34/0.27	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.34/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
0.34/0.27	c 12512 constraints processed.
0.34/0.28	c objective function length is 4950 literals
0.54/0.37	c SATISFIABLE
0.54/0.37	c OPTIMIZING...
0.54/0.38	c Got one! Elapsed wall clock time (in seconds):0.249
0.54/0.38	o 6036309
0.71/0.43	c Got one! Elapsed wall clock time (in seconds):0.312
0.71/0.43	o 6033413
0.71/0.46	c Got one! Elapsed wall clock time (in seconds):0.336
0.71/0.46	o 6019205
0.71/0.49	c Got one! Elapsed wall clock time (in seconds):0.367
0.71/0.49	o 6018779
0.93/0.52	c Got one! Elapsed wall clock time (in seconds):0.397
0.93/0.52	o 6017235
0.93/0.54	c Got one! Elapsed wall clock time (in seconds):0.42
0.93/0.54	o 6016157
1.10/0.63	c Got one! Elapsed wall clock time (in seconds):0.506
1.10/0.63	o 6014439
1.10/0.64	c Got one! Elapsed wall clock time (in seconds):0.522
1.10/0.64	o 6013941
1.10/0.66	c Got one! Elapsed wall clock time (in seconds):0.542
1.10/0.66	o 6013515
1.10/0.68	c Got one! Elapsed wall clock time (in seconds):0.562
1.10/0.69	o 6012437
2.70/1.72	c cleaning 2613 clauses out of 5233 with flag 14091/5233
3.84/2.70	c cleaning 4309 clauses out of 8621 with flag 30189/11234
4.63/3.59	c cleaning 5656 clauses out of 11311 with flag 45614/18233
6.16/5.07	c cleaning 6825 clauses out of 13655 with flag 68740/26233
7.81/6.65	c cleaning 7912 clauses out of 15835 with flag 94984/35238
9.22/7.97	c cleaning 8945 clauses out of 17918 with flag 116769/45233
10.84/9.48	c cleaning 9986 clauses out of 19974 with flag 144341/56234
12.24/10.87	c cleaning 10986 clauses out of 21987 with flag 171956/68233
13.88/12.41	c cleaning 11997 clauses out of 24002 with flag 199122/81234
15.38/13.97	c cleaning 13000 clauses out of 26005 with flag 228222/95234
17.04/15.59	c cleaning 13994 clauses out of 28004 with flag 258746/110233
18.77/17.21	c cleaning 14997 clauses out of 30010 with flag 291105/126233
20.63/19.02	c cleaning 15993 clauses out of 32013 with flag 325489/143233
22.51/20.83	c cleaning 17001 clauses out of 34022 with flag 361943/161235
24.40/22.72	c cleaning 17995 clauses out of 36019 with flag 400372/180233
26.75/25.00	c cleaning 19001 clauses out of 38024 with flag 441199/200233
29.09/27.32	c cleaning 19998 clauses out of 40023 with flag 483716/221233
31.63/29.90	c cleaning 21003 clauses out of 42025 with flag 528677/243233
34.56/32.70	c cleaning 21999 clauses out of 44022 with flag 575790/266233
37.29/35.48	c cleaning 22998 clauses out of 46023 with flag 624799/290233
40.12/38.26	c cleaning 24006 clauses out of 48025 with flag 675636/315233
42.81/40.89	c cleaning 25000 clauses out of 50020 with flag 728363/341234
45.68/43.67	c cleaning 25998 clauses out of 52019 with flag 783056/368233
48.36/46.35	c cleaning 26999 clauses out of 54021 with flag 839623/396233
51.47/49.50	c cleaning 28000 clauses out of 56022 with flag 898717/425233
54.71/52.68	c cleaning 28999 clauses out of 58022 with flag 959606/455233
58.09/55.97	c cleaning 30001 clauses out of 60023 with flag 1022396/486233
61.35/59.29	c cleaning 31000 clauses out of 62023 with flag 1087205/518234
65.39/62.99	c cleaning 32003 clauses out of 64023 with flag 1154449/551234
69.41/66.84	c cleaning 33000 clauses out of 66020 with flag 1223812/585234
73.20/70.64	c cleaning 33998 clauses out of 68019 with flag 1294895/620233
77.46/74.82	c cleaning 34999 clauses out of 70021 with flag 1368388/656233
81.86/79.19	c cleaning 35998 clauses out of 72022 with flag 1443871/693233
86.57/83.72	c cleaning 37001 clauses out of 74027 with flag 1520837/731236
91.47/88.53	c cleaning 38002 clauses out of 76024 with flag 1600264/770234
96.33/93.48	c cleaning 38999 clauses out of 78023 with flag 1682642/810235
101.57/98.68	c cleaning 39998 clauses out of 80023 with flag 1766757/851234
106.66/103.62	c cleaning 40999 clauses out of 82025 with flag 1851815/893234
111.62/108.58	c cleaning 41999 clauses out of 84026 with flag 1939208/936234
117.16/113.66	c cleaning 42997 clauses out of 86026 with flag 2027984/980233
122.45/118.98	c cleaning 44001 clauses out of 88030 with flag 2119924/1025234
127.90/124.39	c cleaning 44995 clauses out of 90030 with flag 2214156/1071235
133.63/130.10	c cleaning 45996 clauses out of 92034 with flag 2309951/1118234
139.65/136.03	c cleaning 47005 clauses out of 94037 with flag 2407743/1166233
146.23/142.65	c cleaning 48004 clauses out of 96032 with flag 2508354/1215233
153.25/149.59	c cleaning 49003 clauses out of 98028 with flag 2624815/1265233
161.18/157.25	c cleaning 49997 clauses out of 100025 with flag 2740491/1316233
168.07/163.82	c cleaning 51005 clauses out of 102028 with flag 2849700/1368233
175.04/170.65	c cleaning 51998 clauses out of 104024 with flag 2957800/1421234
181.64/177.29	c cleaning 52998 clauses out of 106025 with flag 3068956/1475233
187.74/183.22	c cleaning 54008 clauses out of 108027 with flag 3188797/1530233
193.66/188.72	c cleaning 55010 clauses out of 110020 with flag 3304732/1586234
200.24/195.23	c cleaning 55992 clauses out of 112009 with flag 3426675/1643233
207.41/202.22	c cleaning 56995 clauses out of 114017 with flag 3552352/1701233
214.67/209.34	c cleaning 58004 clauses out of 116022 with flag 3680273/1760233
220.36/215.01	c cleaning 59008 clauses out of 118020 with flag 3809952/1820235
226.87/221.49	c cleaning 60005 clauses out of 120010 with flag 3935186/1881233
233.25/227.90	c cleaning 60997 clauses out of 122005 with flag 4061727/1943233
239.94/234.42	c cleaning 61998 clauses out of 124008 with flag 4196197/2006233
246.62/240.92	c cleaning 63002 clauses out of 126011 with flag 4327274/2070234
253.21/247.51	c cleaning 63999 clauses out of 128008 with flag 4460065/2135233
260.89/255.11	c cleaning 64997 clauses out of 130009 with flag 4595002/2201233
267.88/262.08	c cleaning 65998 clauses out of 132012 with flag 4747354/2268233
274.51/268.55	c cleaning 67001 clauses out of 134015 with flag 4905161/2336234
280.80/274.87	c cleaning 67998 clauses out of 136014 with flag 5054289/2405234
287.21/281.12	c cleaning 68999 clauses out of 138015 with flag 5198482/2475233
294.21/287.50	c cleaning 69997 clauses out of 140016 with flag 5344138/2546233
300.65/293.94	c cleaning 70999 clauses out of 142019 with flag 5489252/2618233
306.89/300.20	c cleaning 71996 clauses out of 144020 with flag 5636376/2691233
313.34/306.74	c cleaning 72998 clauses out of 146024 with flag 5785420/2765233
319.87/313.24	c cleaning 74002 clauses out of 148026 with flag 5938052/2840233
326.51/319.95	c cleaning 75002 clauses out of 150024 with flag 6092289/2916233
333.60/326.92	c cleaning 76001 clauses out of 152022 with flag 6248301/2993233
340.59/334.00	c cleaning 77006 clauses out of 154022 with flag 6406614/3071234
349.34/342.56	c cleaning 77999 clauses out of 156015 with flag 6572411/3150233
357.53/350.79	c cleaning 79000 clauses out of 158016 with flag 6743378/3230233
366.04/359.16	c cleaning 79993 clauses out of 160017 with flag 6919567/3311234
372.98/366.15	c cleaning 81002 clauses out of 162025 with flag 7085006/3393235
380.03/373.11	c cleaning 82001 clauses out of 164021 with flag 7252075/3476233
387.66/380.80	c cleaning 83004 clauses out of 166021 with flag 7427019/3560234
396.07/389.15	c cleaning 83997 clauses out of 168017 with flag 7607817/3645234
404.25/397.35	c cleaning 85004 clauses out of 170020 with flag 7780860/3731234
412.87/405.82	c cleaning 86007 clauses out of 172017 with flag 7957575/3818235
421.64/414.46	c cleaning 86996 clauses out of 174009 with flag 8135331/3906234
430.03/422.81	c cleaning 87997 clauses out of 176013 with flag 8314492/3995234
438.65/431.31	c cleaning 88999 clauses out of 178015 with flag 8494701/4085233
447.23/439.93	c cleaning 90002 clauses out of 180017 with flag 8677004/4176234
456.79/449.42	c cleaning 91004 clauses out of 182014 with flag 8861431/4268233
467.31/459.38	c cleaning 92000 clauses out of 184010 with flag 9047955/4361233
476.94/468.96	c cleaning 92998 clauses out of 186011 with flag 9241978/4455234
486.25/478.30	c cleaning 93996 clauses out of 188013 with flag 9448887/4550234
495.28/487.32	c cleaning 95007 clauses out of 190016 with flag 9647994/4646233
505.63/497.64	c cleaning 96002 clauses out of 192011 with flag 9842845/4743235
515.08/507.17	c cleaning 96996 clauses out of 194008 with flag 10044277/4841234
524.81/516.72	c cleaning 97997 clauses out of 196012 with flag 10254847/4940234
534.59/526.53	c cleaning 98999 clauses out of 198016 with flag 10461036/5040235
544.69/536.59	c cleaning 99992 clauses out of 200015 with flag 10665840/5141233
555.72/547.51	c cleaning 101004 clauses out of 202023 with flag 10879144/5243233
565.83/557.52	c cleaning 101999 clauses out of 204020 with flag 11100365/5346234
576.57/568.31	c cleaning 103001 clauses out of 206021 with flag 11320584/5450234
587.26/578.92	c cleaning 103999 clauses out of 208019 with flag 11543733/5555233
598.26/589.85	c cleaning 105003 clauses out of 210021 with flag 11771591/5661234
609.15/600.58	c cleaning 105998 clauses out of 212018 with flag 12001936/5768234
620.34/611.71	c cleaning 107002 clauses out of 214020 with flag 12226051/5876234
631.40/622.72	c cleaning 107994 clauses out of 216017 with flag 12463827/5985233
642.49/633.71	c cleaning 109000 clauses out of 218023 with flag 12698838/6095233
654.93/645.79	c cleaning 110004 clauses out of 220026 with flag 12931944/6206236
666.80/657.54	c cleaning 111005 clauses out of 222020 with flag 13168656/6318234
678.16/668.77	c cleaning 111997 clauses out of 224014 with flag 13412748/6431233
689.74/680.36	c cleaning 112998 clauses out of 226017 with flag 13651550/6545233
701.27/691.82	c cleaning 114003 clauses out of 228020 with flag 13902364/6660234
713.37/703.84	c cleaning 114997 clauses out of 230018 with flag 14154338/6776235
724.85/715.32	c cleaning 116002 clauses out of 232019 with flag 14401688/6893233
736.25/726.77	c cleaning 117000 clauses out of 234017 with flag 14659518/7011233
747.39/737.72	c cleaning 117999 clauses out of 236017 with flag 14912367/7130233
759.37/749.75	c cleaning 119000 clauses out of 238018 with flag 15167597/7250233
771.25/761.69	c cleaning 120001 clauses out of 240018 with flag 15425248/7371233
783.35/773.63	c cleaning 121001 clauses out of 242018 with flag 15678410/7493234
795.96/786.08	c cleaning 121997 clauses out of 244016 with flag 15925541/7616233
809.44/799.33	c cleaning 123004 clauses out of 246019 with flag 16174617/7740233
823.12/813.02	c cleaning 123999 clauses out of 248016 with flag 16434263/7865234
836.31/826.25	c cleaning 124996 clauses out of 250016 with flag 16696059/7991233
849.40/839.33	c cleaning 126003 clauses out of 252021 with flag 16958797/8118234
862.81/852.57	c cleaning 127002 clauses out of 254019 with flag 17223594/8246235
878.55/867.67	c cleaning 128008 clauses out of 256015 with flag 17485521/8375233
892.44/881.46	c cleaning 128997 clauses out of 258007 with flag 17761217/8505233
909.06/897.96	c cleaning 130005 clauses out of 260011 with flag 18039453/8636234
923.72/912.43	c cleaning 130987 clauses out of 262005 with flag 18307716/8768233
939.05/927.67	c cleaning 132004 clauses out of 264018 with flag 18582891/8901233
953.74/942.28	c cleaning 133002 clauses out of 266014 with flag 18868111/9035233
968.05/956.40	c cleaning 134004 clauses out of 268012 with flag 19149926/9170233
981.03/969.38	c cleaning 134991 clauses out of 270008 with flag 19429220/9306233
995.81/984.07	c cleaning 136005 clauses out of 272017 with flag 19705594/9443233
1010.99/999.16	c cleaning 137000 clauses out of 274013 with flag 19983968/9581234
1025.58/1013.62	c cleaning 137996 clauses out of 276012 with flag 20264185/9720233
1041.90/1029.18	c cleaning 139004 clauses out of 278016 with flag 20546541/9860233
1056.73/1044.09	c cleaning 140003 clauses out of 280014 with flag 20830450/10001235
1071.33/1058.53	c cleaning 140998 clauses out of 282009 with flag 21116738/10143233
1086.22/1073.33	c cleaning 141998 clauses out of 284011 with flag 21405153/10286233
1100.72/1087.78	c cleaning 143002 clauses out of 286013 with flag 21695396/10430233
1115.40/1102.31	c cleaning 144000 clauses out of 288011 with flag 21989643/10575233
1131.00/1117.81	c cleaning 145004 clauses out of 290012 with flag 22293554/10721234
1146.09/1132.83	c cleaning 145997 clauses out of 292007 with flag 22598919/10868233
1162.01/1148.61	c cleaning 147002 clauses out of 294011 with flag 22897430/11016234
1177.05/1163.57	c cleaning 148003 clauses out of 296009 with flag 23198011/11165234
1191.67/1178.08	c cleaning 148996 clauses out of 298005 with flag 23500953/11315233
1207.43/1193.77	c cleaning 149996 clauses out of 300009 with flag 23806807/11466233
1223.49/1209.76	c cleaning 151001 clauses out of 302014 with flag 24121314/11618234
1239.34/1225.47	c cleaning 151999 clauses out of 304012 with flag 24443835/11771233
1255.27/1241.20	c cleaning 153003 clauses out of 306014 with flag 24755973/11925234
1271.49/1256.58	c cleaning 153996 clauses out of 308010 with flag 25075645/12080233
1287.81/1272.80	c cleaning 155001 clauses out of 310015 with flag 25396363/12236234
1305.47/1290.51	c cleaning 155997 clauses out of 312014 with flag 25713188/12393234
1322.50/1307.48	c cleaning 156999 clauses out of 314016 with flag 26031536/12551233
1339.79/1324.55	c cleaning 157999 clauses out of 316019 with flag 26352450/12710235
1357.86/1342.44	c cleaning 159008 clauses out of 318019 with flag 26674250/12870234
1374.90/1359.30	c cleaning 160000 clauses out of 320011 with flag 26998217/13031234
1393.90/1378.20	c cleaning 161000 clauses out of 322011 with flag 27323882/13193234
1412.97/1397.23	c cleaning 161998 clauses out of 324011 with flag 27652071/13356234
1432.13/1416.38	c cleaning 163002 clauses out of 326013 with flag 27981883/13520234
1452.66/1436.77	c cleaning 163996 clauses out of 328010 with flag 28315059/13685233
1470.74/1454.70	c cleaning 165005 clauses out of 330015 with flag 28650279/13851234
1487.92/1471.78	c cleaning 165997 clauses out of 332009 with flag 28993907/14018233
1505.17/1488.82	c cleaning 166999 clauses out of 334012 with flag 29343114/14186233
1522.41/1505.90	c cleaning 168000 clauses out of 336014 with flag 29697633/14355234
1540.03/1523.49	c cleaning 169003 clauses out of 338014 with flag 30045633/14525234
1557.71/1541.00	c cleaning 169998 clauses out of 340010 with flag 30395790/14696233
1576.19/1559.35	c cleaning 170998 clauses out of 342013 with flag 30752416/14868234
1593.99/1577.04	c cleaning 171999 clauses out of 344015 with flag 31115865/15041234
1614.45/1596.40	c cleaning 173004 clauses out of 346015 with flag 31483632/15215233
1633.52/1615.57	c cleaning 173999 clauses out of 348012 with flag 31845972/15390234
1651.62/1633.47	c cleaning 175002 clauses out of 350012 with flag 32208015/15566233
1670.28/1651.91	c cleaning 175996 clauses out of 352011 with flag 32573067/15743234
1688.28/1669.89	c cleaning 177005 clauses out of 354014 with flag 32937267/15921233
1706.76/1688.27	c cleaning 177997 clauses out of 356010 with flag 33301844/16100234
1726.04/1707.46	c cleaning 179001 clauses out of 358013 with flag 33671862/16280234
1744.49/1725.77	c cleaning 179999 clauses out of 360011 with flag 34049172/16461233
1763.54/1744.73	c cleaning 180997 clauses out of 362012 with flag 34419977/16643233
1781.59/1762.64	c cleaning 182007 clauses out of 364016 with flag 34799561/16826234
1800.71/1781.66	c cleaning 182998 clauses out of 366009 with flag 35180959/17010234
1820.97/1801.74	c cleaning 183997 clauses out of 368010 with flag 35570522/17195233
1839.74/1820.49	c cleaning 185007 clauses out of 370014 with flag 35957488/17381234
1859.00/1839.56	c cleaning 185994 clauses out of 372006 with flag 36341405/17568233
1879.24/1859.78	c cleaning 187004 clauses out of 374012 with flag 36733678/17756233
1900.61/1881.04	c cleaning 187994 clauses out of 376009 with flag 37132439/17945234
1923.52/1903.83	c cleaning 189004 clauses out of 378015 with flag 37521176/18135234
1944.39/1924.75	c cleaning 189998 clauses out of 380010 with flag 37918566/18326233
1965.29/1945.46	c cleaning 190998 clauses out of 382012 with flag 38322066/18518233
1986.53/1966.58	c cleaning 191999 clauses out of 384015 with flag 38723449/18711234
2009.20/1989.11	c cleaning 192998 clauses out of 386016 with flag 39117884/18905234
2032.10/2010.92	c cleaning 194001 clauses out of 388017 with flag 39515256/19100233
2052.87/2031.60	c cleaning 194998 clauses out of 390016 with flag 39920236/19296233
2073.98/2052.78	c cleaning 196004 clauses out of 392019 with flag 40318961/19493234
2094.51/2073.24	c cleaning 197004 clauses out of 394014 with flag 40718635/19691233
2116.96/2095.22	c cleaning 197996 clauses out of 396011 with flag 41119465/19890234
2137.91/2116.16	c cleaning 199001 clauses out of 398014 with flag 41530891/20090233
2160.74/2138.82	c cleaning 199995 clauses out of 400013 with flag 41946933/20291233
2183.52/2161.59	c cleaning 201003 clauses out of 402019 with flag 42357066/20493234
2208.16/2185.93	c cleaning 202003 clauses out of 404015 with flag 42775381/20696233
2233.77/2211.53	c cleaning 203003 clauses out of 406014 with flag 43202195/20900235
2258.28/2235.89	c cleaning 203996 clauses out of 408010 with flag 43628327/21105234
2281.83/2259.34	c cleaning 205001 clauses out of 410013 with flag 44064013/21311233
2309.22/2286.48	c cleaning 205999 clauses out of 412012 with flag 44493261/21518233
2332.14/2309.27	c cleaning 206998 clauses out of 414014 with flag 44912760/21726234
2355.69/2332.73	c cleaning 208004 clauses out of 416016 with flag 45333361/21935234
2380.67/2357.47	c cleaning 208995 clauses out of 418011 with flag 45756268/22145233
2409.84/2385.13	c cleaning 209998 clauses out of 420017 with flag 46186001/22356234
2435.84/2410.99	c cleaning 211003 clauses out of 422019 with flag 46621120/22568234
2459.57/2434.66	c cleaning 212003 clauses out of 424015 with flag 47049736/22781233
2486.93/2461.98	c cleaning 213002 clauses out of 426012 with flag 47481472/22995233
2513.00/2487.79	c cleaning 214000 clauses out of 428011 with flag 47913547/23210234
2540.04/2514.78	c cleaning 215001 clauses out of 430011 with flag 48347786/23426234
2567.64/2542.47	c cleaning 216001 clauses out of 432010 with flag 48784245/23643234
2594.94/2569.46	c cleaning 217000 clauses out of 434009 with flag 49222552/23861234
2624.94/2599.35	c cleaning 218000 clauses out of 436008 with flag 49663977/24080233
2655.90/2630.07	c cleaning 219000 clauses out of 438009 with flag 50110068/24300234
2682.23/2656.21	c cleaning 219997 clauses out of 440009 with flag 50570237/24521234
2711.88/2685.69	c cleaning 220995 clauses out of 442012 with flag 51028275/24743234
2743.48/2717.18	c cleaning 222004 clauses out of 444017 with flag 51496672/24966234
2770.96/2744.30	c cleaning 223002 clauses out of 446013 with flag 51968212/25190234
2796.28/2769.38	c cleaning 223999 clauses out of 448012 with flag 52457182/25415235
2826.33/2799.23	c cleaning 224999 clauses out of 450011 with flag 52942703/25641233
2853.54/2826.12	c cleaning 225999 clauses out of 452014 with flag 53409392/25868235
2882.61/2855.16	c cleaning 227004 clauses out of 454013 with flag 53886786/26096233
2910.40/2882.52	c cleaning 228002 clauses out of 456009 with flag 54355964/26325233
2941.64/2912.04	c cleaning 229002 clauses out of 458008 with flag 54820469/26555234
2968.16/2938.51	c cleaning 229995 clauses out of 460005 with flag 55299612/26786233
2993.76/2964.11	c cleaning 230999 clauses out of 462010 with flag 55773122/27018233
3022.35/2992.43	c cleaning 232000 clauses out of 464011 with flag 56270974/27251233
3048.60/3018.52	c cleaning 232998 clauses out of 466012 with flag 56785862/27485234
3078.00/3047.90	c cleaning 234004 clauses out of 468014 with flag 57304023/27720234
3104.67/3074.53	c cleaning 234998 clauses out of 470009 with flag 57823030/27956233
3131.06/3100.99	c cleaning 235999 clauses out of 472011 with flag 58333706/28193233
3161.45/3131.06	c cleaning 237000 clauses out of 474013 with flag 58831882/28431234
3188.81/3158.35	c cleaning 238002 clauses out of 476012 with flag 59343768/28670233
3219.14/3188.52	c cleaning 239002 clauses out of 478011 with flag 59849360/28910234
3248.28/3217.62	c cleaning 239997 clauses out of 480008 with flag 60357528/29151233
3279.16/3248.32	c cleaning 240994 clauses out of 482011 with flag 60881820/29393233
3309.13/3278.27	c cleaning 242004 clauses out of 484018 with flag 61396232/29636234
3338.83/3307.89	c cleaning 243000 clauses out of 486013 with flag 61921713/29880233
3367.53/3336.46	c cleaning 244000 clauses out of 488014 with flag 62459033/30125234
3398.20/3366.84	c cleaning 245001 clauses out of 490014 with flag 62991203/30371234
3430.05/3398.56	c cleaning 245999 clauses out of 492013 with flag 63517441/30618234
3461.82/3430.35	c cleaning 247004 clauses out of 494013 with flag 64058271/30866233
3491.41/3459.98	c cleaning 247996 clauses out of 496010 with flag 64579252/31115234
3525.33/3493.59	c cleaning 249000 clauses out of 498014 with flag 65090273/31365234
3555.56/3523.68	c cleaning 250000 clauses out of 500013 with flag 65613196/31616233
3586.43/3554.49	c cleaning 250996 clauses out of 502013 with flag 66138788/31868233
3600.04/3568.04	c starts		: 134
3600.04/3568.05	c conflicts		: 32019874
3600.04/3568.05	c decisions		: 34832104
3600.04/3568.05	c propagations		: 521192723
3600.04/3568.05	c inspects		: 7925261397
3600.04/3568.05	c shortcuts		: 0
3600.04/3568.05	c learnt literals	: 0
3600.04/3568.05	c learnt binary clauses	: 0
3600.04/3568.05	c learnt ternary clauses	: 27
3600.04/3568.05	c learnt constraints	: 32019874
3600.04/3568.05	c ignored constraints	: 0
3600.04/3568.05	c root simplifications	: 0
3600.04/3568.05	c removed literals (reason simplification)	: 0
3600.04/3568.05	c reason swapping (by a shorter reason)	: 0
3600.04/3568.05	c Calls to reduceDB	: 248
3600.04/3568.05	c Number of update (reduction) of LBD	: 264090
3600.04/3568.05	c Imported unit clauses	: 0
3600.04/3568.05	c No decision after first conflict	: false
3600.04/3568.05	c number of reductions to clauses (during analyze)	: 0
3600.04/3568.05	c number of learned constraints concerned by reduction	: 0
3600.04/3568.05	c number of learning phase by resolution	: 0
3600.04/3568.05	c number of learning phase by cutting planes	: 0
3600.04/3568.05	c number of rounding to 1 operations	: 0
3600.04/3568.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3568.05	c number of reductions of the coefficients by power 2 	: 0
3600.04/3568.05	c number of right shift for reduction by power 2 	: 0
3600.04/3568.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3568.05	c number of ending skipping 	: 0
3600.04/3568.05	c number of internal skipping 	: 0
3600.04/3568.05	c number of derivation steps 	: 0
3600.04/3568.05	c number of skipped derivation steps 	: 0
3600.04/3568.05	c number of remaining unassigned 	: 0
3600.04/3568.05	c number of remaining assigned 	: 0
3600.04/3568.05	c number of falsified literals weakened from reason	: 0
3600.04/3568.05	c number of falsified literals weakened from conflict	: 0
3600.04/3568.05	c time for arithmetic operations	: 0
3600.04/3568.08	c minimum degree of deleted constraints	: null
3600.04/3568.08	c maximum degree of deleted constraints	: null
3600.04/3568.08	c number of deleted constraints	: 0
3600.04/3568.08	c speed (assignments/second)	: 146083.36481886756
3600.04/3568.08	c non guided choices	: 203
3600.27/3568.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 402658
3600.27/3568.16	s SATISFIABLE
3600.27/3568.16	c Found 10 solution(s)
3600.27/3568.17	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 x810 -x811 x812 -x813 -x814 -x815 x816 -x817 x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 -x843 x844 -x845 -x846 x847 x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 x1635 x1636 x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 x1805 x1806 -x1807 x1808 -x1809 -x1810 x1811 -x1812 x1813 x1814 -x1815 -x1816 x1817 -x1818 x1819 -x1820 x1821 -x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
3600.27/3568.18	c objective function=6012437
3600.27/3568.18	c Total wall clock time (in seconds): 3568.058

Verifier Data 

OK	6012437

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432463-1721141417/watcher-4432463-1721141417 -o /tmp/evaluation-result-4432463-1721141417/solver-4432463-1721141417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861882 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432463-1721141417.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=863896, runsolver pid=863893

[startup+0.100625 s]*
/proc/loadavg: 4.10 4.25 4.19 6/330 863914
/proc/meminfo: memFree=116401368/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=18975048 memory=62468 CPUtime=0.13 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 7214 0 0 0 11 2 0 0 20 0 18 0 166312560 19430449152 15617 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4743762 15617 5534 1 0 549337 0
[pid=863896/tid=863898] ppid=863893 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 1077936192 5742 0 0 0 7 1 0 0 20 0 18 0 166312561 19430449152 15617 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166312563 19430449152 15617 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166312563 19430449152 15617 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62468 KiB

[startup+0.205985 s]*
/proc/loadavg: 4.10 4.25 4.19 7/330 863914
/proc/meminfo: memFree=116386924/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=18975048 memory=78188 CPUtime=0.34 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 7813 0 0 0 31 3 0 0 20 0 18 0 166312560 19430449152 19547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4743762 19547 5805 1 0 549778 0
[pid=863896/tid=863898] ppid=863893 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 5920 0 0 0 16 2 0 0 20 0 18 0 166312561 19430449152 19547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=18975048 memory=15997 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166312563 19430449152 19547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166312563 19430449152 19547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78188 KiB

[startup+0.314355 s]*
/proc/loadavg: 4.10 4.25 4.19 7/331 863915
/proc/meminfo: memFree=116365688/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19041612 memory=99320 CPUtime=0.54 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 9418 0 0 0 51 3 0 0 20 0 19 0 166312560 19498610688 24830 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4760403 24830 5843 1 0 551045 0
[pid=863896/tid=863898] ppid=863893 vsize=19041612 memory=-8958893763608289980 CPUtime=0.27 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 6028 0 0 0 25 2 0 0 20 0 19 0 166312561 19498610688 24830 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166312563 19498610688 24830 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 166312563 19498610688 24830 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (java) R 863893 863896 861869 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 166312590 19498610688 24830 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99320 KiB

[startup+0.706549 s]
/proc/loadavg: 4.10 4.25 4.19 6/331 863915
/proc/meminfo: memFree=116354440/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19042704 memory=132064 CPUtime=1.3 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 14570 0 0 0 126 4 0 0 20 0 19 0 166312560 19499728896 33016 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4760676 33016 5859 1 0 553684 0
[pid=863896/tid=863898] ppid=863893 vsize=19042704 memory=13184 CPUtime=0.6 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 6068 0 0 0 58 2 0 0 20 0 19 0 166312561 19499728896 33016 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19042704 memory=13184 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166312563 19499728896 33016 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19042704 memory=117636 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 166312563 19499728896 33016 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19042704 memory=32812 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166312590 19499728896 33016 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19042704 KiB
Current children cumulated memory: 132064 KiB

[startup+1.501 s]
/proc/loadavg: 4.10 4.25 4.19 6/331 863915
/proc/meminfo: memFree=116320968/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19041612 memory=159912 CPUtime=2.46 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 16214 0 0 0 241 5 0 0 20 0 19 0 166312560 19498610688 39978 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4760403 39978 5875 1 0 553791 0
[pid=863896/tid=863898] ppid=863893 vsize=19041612 memory=13184 CPUtime=1.38 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 6198 0 0 0 136 2 0 0 20 0 19 0 166312561 19498610688 39978 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166312563 19498610688 39978 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 166312563 19498610688 39978 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166312590 19498610688 39978 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159912 KiB

[startup+3.106 s]
/proc/loadavg: 4.17 4.26 4.19 5/332 863918
/proc/meminfo: memFree=116266596/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=197684 CPUtime=4.24 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 20546 0 0 0 417 7 0 0 20 0 20 0 166312560 19566772224 49421 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 49421 5891 1 0 554143 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=0 CPUtime=2.95 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 7438 0 0 0 292 3 0 0 20 0 20 0 166312561 19566772224 49421 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 49421 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=172668 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 49421 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 49421 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197684 KiB

[startup+6.30025 s]
/proc/loadavg: 4.17 4.26 4.19 5/332 863918
/proc/meminfo: memFree=116131444/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=332804 CPUtime=7.52 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 21584 0 0 0 743 9 0 0 20 0 20 0 166312560 19566772224 83201 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 83201 5907 1 0 554145 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=13184 CPUtime=5.97 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 7521 0 0 0 594 3 0 0 20 0 20 0 166312561 19566772224 83201 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 83201 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=6229162642182658131 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 83201 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 83201 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 332804 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.25 4.19 5/311 863936
/proc/meminfo: memFree=120966056/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=567728 CPUtime=14.18 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 27129 0 0 0 1404 14 0 0 20 0 20 0 166312560 19566772224 141932 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 141932 5927 1 0 660654 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=0 CPUtime=12.18 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 8372 0 0 0 1214 4 0 0 20 0 20 0 166312561 19566772224 141932 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=524656 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 141932 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=1928 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 141932 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=2164 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 141932 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 567728 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.26 4.19 5/332 864127
/proc/meminfo: memFree=126537328/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=998188 CPUtime=27.29 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 31085 0 0 0 2705 24 0 0 20 0 20 0 166312560 19566772224 249547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 249547 5927 1 0 660664 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=940812 CPUtime=24.63 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 1077936192 9128 0 0 0 2458 5 0 0 20 0 20 0 166312561 19566772224 249547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=940812 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 249547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=524656 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 249547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=332804 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 249547 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 27.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 998188 KiB

[startup+51.106 s]
/proc/loadavg: 4.39 4.31 4.21 5/332 864130
/proc/meminfo: memFree=122688924/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=1808440 CPUtime=53.23 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 35882 0 0 0 5281 42 0 0 20 0 20 0 166312560 19566772224 452110 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 452110 5927 1 0 788088 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=-8958893763608289980 CPUtime=49.44 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 10727 0 0 0 4936 8 0 0 20 0 20 0 166312561 19566772224 452110 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0

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

/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=8978304 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1228 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3192.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8978308 KiB

[startup+3222.3 s]
/proc/loadavg: 4.48 4.33 4.29 5/333 865896
/proc/meminfo: memFree=85883628/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3252.99 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 293236 0 0 0 325023 276 0 0 20 0 20 0 166312560 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2244577 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3176.12 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 59719 0 0 0 317527 85 0 0 20 0 20 0 166312561 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1338 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3252.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8978308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.30 4.27 5/333 865906
/proc/meminfo: memFree=85792192/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3313.22 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 295469 0 0 0 331045 277 0 0 20 0 20 0 166312560 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2244577 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3235.26 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 61018 0 0 0 323441 85 0 0 20 0 20 0 166312561 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1338 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3313.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8978308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.29 4.27 5/332 865917
/proc/meminfo: memFree=85791276/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3373.43 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 298695 0 0 0 337064 279 0 0 20 0 20 0 166312560 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2244577 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3294.78 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 62076 0 0 0 329393 85 0 0 20 0 20 0 166312561 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1389 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=41544 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3373.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8978308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.31 4.28 5/332 865928
/proc/meminfo: memFree=85790380/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3433.84 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 302392 0 0 0 343103 281 0 0 20 0 20 0 166312560 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2244577 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3354.1 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 63335 0 0 0 335324 86 0 0 20 0 20 0 166312561 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1390 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3433.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8978308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.31 4.28 5/330 866007
/proc/meminfo: memFree=100404132/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3493.88 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 303680 0 0 0 349106 282 0 0 20 0 20 0 166312560 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2244577 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=8978308 CPUtime=3413.33 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 64327 0 0 0 341247 86 0 0 20 0 20 0 166312561 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1444 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2244577 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3493.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8978308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.27 4.26 5/330 866017
/proc/meminfo: memFree=100402224/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8982404 CPUtime=3554.27 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 305164 0 0 0 355144 283 0 0 20 0 20 0 166312560 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2245601 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=8982404 CPUtime=3472.68 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 65266 0 0 0 347182 86 0 0 20 0 20 0 166312561 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=8978308 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=8982404 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1444 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=8982404 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3554.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8982404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3568 s]*
/proc/loadavg: 4.14 4.24 4.25 5/330 866023
/proc/meminfo: memFree=100401712/131524600 swapFree=131071996/131071996
[pid=863896] ppid=863893 vsize=19108176 memory=8982404 CPUtime=3600.04 cores=5,7
/proc/863896/stat : 863896 (java) S 863893 863896 861869 0 -1 1077936128 308110 0 0 0 359719 285 0 0 20 0 20 0 166312560 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
/proc/863896/statm: 4777044 2245601 5942 1 0 2776302 0
[pid=863896/tid=863898] ppid=863893 vsize=19108176 memory=-9103289318559294140 CPUtime=3517.96 cores=5,7
/proc/863896/task/863898/stat : 863898 (java) R 863893 863896 861869 0 -1 4194368 66236 0 0 0 351710 86 0 0 20 0 20 0 166312561 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863907] ppid=863893 vsize=19108176 memory=32812 CPUtime=0 cores=5,7
/proc/863896/task/863907/stat : 863907 (Finalizer) S 863893 863896 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863914] ppid=863893 vsize=19108176 memory=19652 CPUtime=0 cores=5,7
/proc/863896/task/863914/stat : 863914 (Common-Cleaner) S 863893 863896 861869 0 -1 1077936192 1498 0 0 0 0 0 0 0 20 0 20 0 166312563 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
[pid=863896/tid=863915] ppid=863893 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/863896/task/863915/stat : 863915 (Timer-0) S 863893 863896 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166312590 19566772224 2245601 134679101440 94167486459904 94167486463600 140731207511808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94167486471416 94167486472208 94167515226112 140731207513095 140731207513185 140731207513185 140731207520200 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8982404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.51 s, system=2.88304 s

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

[startup+3568.2 s]*
/proc/loadavg: 4.14 4.24 4.25 6/312 866026
/proc/meminfo: memFree=107086440/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3568.21
CPU time (s): 3600.4
CPU user time (s): 3597.51
CPU system time (s): 2.88304
CPU usage (%): 100.902
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 8983088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.51
system time used= 2.88304
maximum resident set size= 8984132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116283
involuntary context switches= 12735


# summary of solver processes directly reported to runsolver:
#   pid: 863896
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.51
#   total CPU system time (s): 2.88304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22987 second user time and 17.2864 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 16:50:30
IDJOB=4432463
IDBENCH=155620
IDSOLVER=3058
FILE ID=nodeC035/4432463-1721141417
RUNJOBID= nodeC035-1721137841-861882
SLURM_JOB_ID= 7505712
Free space on /tmp= 889940 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432463-1721141417/watcher-4432463-1721141417 -o /tmp/evaluation-result-4432463-1721141417/solver-4432463-1721141417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861882 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432463-1721141417.opb

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

MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653
RANDOM SEED=780762676

nodeC035.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		: 3600.080
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.65
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		: 3600.625
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.79
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		: 3648.194
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.65
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		: 3663.132
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.79
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		: 3648.293
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.65
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		: 3659.498
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.007
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.65
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		: 3652.319
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116443644 kB
MemAvailable:   117169500 kB
Buffers:          396964 kB
Cached:          1165268 kB
SwapCached:            0 kB
Active:           838232 kB
Inactive:       13619384 kB
Active(anon):       1520 kB
Inactive(anon): 12931580 kB
Active(file):     836712 kB
Inactive(file):   687804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1156 kB
Writeback:             0 kB
AnonPages:      12895340 kB
Mapped:           124916 kB
Shmem:             37724 kB
KReclaimable:      82328 kB
Slab:             187988 kB
SReclaimable:      82328 kB
SUnreclaim:       105660 kB
KernelStack:        5000 kB
PageTables:        35032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   14991180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64224 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12541952 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC035 at 2024-07-16 17:49:58