Trace number 4090553

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.02 1778.87

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM0158a6ff32db5686aa85d7a9b49d6df3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints67
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 3472
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3471
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090553-1466062154.wbo
0.10/0.11	c reading problem ... 
0.28/0.26	c ... done. Wall clock time 0.149s.
0.28/0.26	c declared #vars     4000
0.28/0.26	c internal #vars     4067
0.28/0.26	c #constraints  180
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.28/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 52
0.28/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 28
0.28/0.26	c 180 constraints processed.
0.28/0.26	c objective function length is 67 literals
1.09/0.75	c SATISFIABLE
1.09/0.75	c OPTIMIZING...
1.09/0.75	c Got one! Elapsed wall clock time (in seconds):0.642
1.09/0.75	o 90
1.39/0.92	c cleaning 2618 clauses out of 5242 with flag 6362/5242
2.15/1.65	c Got one! Elapsed wall clock time (in seconds):1.537
2.15/1.65	o 79
3.05/2.56	c cleaning 6363 clauses out of 12725 with flag 35712/15343
4.35/3.82	c cleaning 6181 clauses out of 12362 with flag 90603/21343
5.70/5.15	c cleaning 6579 clauses out of 13178 with flag 152271/28340
7.13/6.56	c cleaning 7297 clauses out of 14600 with flag 227618/36341
8.84/8.23	c cleaning 8146 clauses out of 16303 with flag 313072/45341
11.15/10.51	c cleaning 9074 clauses out of 18157 with flag 408534/55341
13.85/13.26	c cleaning 10039 clauses out of 20084 with flag 511103/66342
16.75/16.11	c cleaning 11016 clauses out of 22043 with flag 620566/78340
20.19/19.55	c cleaning 12015 clauses out of 24029 with flag 746954/91342
23.50/22.82	c cleaning 12998 clauses out of 26012 with flag 879207/105340
27.00/26.36	c cleaning 14002 clauses out of 28014 with flag 1027000/120340
31.30/30.64	c cleaning 15002 clauses out of 30012 with flag 1184262/136340
34.20/33.54	c Got one! Elapsed wall clock time (in seconds):33.432
34.20/33.54	o 78
35.43/34.70	c Got one! Elapsed wall clock time (in seconds):34.589
35.43/34.70	o 72
36.19/35.48	c cleaning 16167 clauses out of 32345 with flag 16877/153675
37.79/37.05	c cleaning 11084 clauses out of 22179 with flag 71813/159676
39.40/38.63	c cleaning 9038 clauses out of 18095 with flag 141065/166676
41.12/40.36	c cleaning 8520 clauses out of 17057 with flag 222028/174676
42.32/41.52	c Got one! Elapsed wall clock time (in seconds):41.413
42.32/41.52	o 70
42.87/42.00	c cleaning 9987 clauses out of 20005 with flag 35848/186144
43.47/42.62	c cleaning 7990 clauses out of 16018 with flag 91728/192144
44.17/43.36	c cleaning 7496 clauses out of 15028 with flag 154358/199144
44.97/44.14	c Got one! Elapsed wall clock time (in seconds):44.034
44.97/44.14	o 69
45.67/44.85	c cleaning 9670 clauses out of 19353 with flag 54097/210965
45.87/45.09	c Got one! Elapsed wall clock time (in seconds):44.977
45.87/45.09	o 30
46.56/45.71	c cleaning 7726 clauses out of 15478 with flag 30815/216760
47.26/46.49	c cleaning 6869 clauses out of 13751 with flag 84929/222759
48.27/47.45	c cleaning 6930 clauses out of 13881 with flag 150759/229758
49.46/48.65	c cleaning 7471 clauses out of 14951 with flag 231456/237758
50.96/50.14	c cleaning 8228 clauses out of 16480 with flag 315697/246758
52.67/51.88	c cleaning 9122 clauses out of 18253 with flag 423853/256759
54.79/53.99	c cleaning 10058 clauses out of 20130 with flag 539704/267758
57.48/56.65	c cleaning 11034 clauses out of 22072 with flag 675129/279758
58.88/58.06	c Got one! Elapsed wall clock time (in seconds):57.956
58.88/58.06	o 26
59.38/58.54	c cleaning 12097 clauses out of 24208 with flag 37271/292928
59.98/59.14	c cleaning 9040 clauses out of 18111 with flag 89561/298928
60.48/59.62	c Got one! Elapsed wall clock time (in seconds):59.508
60.48/59.62	o 22
60.98/60.18	c cleaning 9818 clauses out of 19658 with flag 38488/309515
61.68/60.83	c cleaning 7908 clauses out of 15838 with flag 84949/315513
62.38/61.60	c cleaning 7455 clauses out of 14930 with flag 146942/322513
63.38/62.59	c cleaning 7726 clauses out of 15475 with flag 218625/330513
64.69/63.83	c cleaning 8363 clauses out of 16749 with flag 295860/339513
66.08/65.29	c cleaning 9184 clauses out of 18390 with flag 386764/349517
67.91/67.02	c cleaning 10086 clauses out of 20203 with flag 487956/360514
70.01/69.19	c cleaning 11047 clauses out of 22118 with flag 606471/372515
72.91/72.01	c cleaning 12026 clauses out of 24069 with flag 743612/385513
74.31/73.45	c Got one! Elapsed wall clock time (in seconds):73.342
74.31/73.45	o 18
74.31/73.49	c Got one! Elapsed wall clock time (in seconds):73.376
74.31/73.49	o 5
74.82/73.96	c cleaning 13901 clauses out of 27811 with flag 33522/401281
75.42/74.54	c cleaning 9951 clauses out of 19910 with flag 81088/407281
76.22/75.36	c cleaning 8472 clauses out of 16959 with flag 142439/414281
77.12/76.27	c cleaning 8240 clauses out of 16489 with flag 215553/422283
78.22/77.36	c cleaning 8617 clauses out of 17247 with flag 297371/431281
79.52/78.70	c cleaning 9311 clauses out of 18630 with flag 392085/441281
81.25/80.39	c cleaning 10153 clauses out of 20320 with flag 496052/452282
83.35/82.40	c cleaning 11079 clauses out of 22167 with flag 612681/464282
84.75/83.81	c cleaning 12021 clauses out of 24089 with flag 713770/477283
86.15/85.25	c cleaning 13015 clauses out of 26068 with flag 815509/491283
88.45/87.59	c cleaning 14004 clauses out of 28052 with flag 920838/506282
91.45/90.52	c cleaning 15001 clauses out of 30049 with flag 1050132/522283
95.18/94.14	c cleaning 16001 clauses out of 32047 with flag 1193577/539282
98.31/97.25	c cleaning 17013 clauses out of 34046 with flag 1344629/557282
102.01/100.90	c cleaning 17998 clauses out of 36032 with flag 1478313/576281
106.51/105.44	c cleaning 19002 clauses out of 38036 with flag 1620702/596283
111.61/110.48	c cleaning 20000 clauses out of 40033 with flag 1762408/617282
117.31/116.13	c cleaning 21005 clauses out of 42036 with flag 1916870/639285
124.10/122.99	c cleaning 21997 clauses out of 44029 with flag 2094900/662283
127.50/126.33	c cleaning 23008 clauses out of 46032 with flag 2245098/686283
132.44/131.06	c cleaning 23990 clauses out of 48022 with flag 2447703/711281
139.43/138.03	c cleaning 24996 clauses out of 50032 with flag 2694074/737281
146.61/145.15	c cleaning 26001 clauses out of 52038 with flag 2937816/764283
154.73/153.07	c cleaning 27001 clauses out of 54037 with flag 3189542/792283
162.12/160.40	c cleaning 28008 clauses out of 56034 with flag 3477193/821281
167.53/165.76	c cleaning 28994 clauses out of 58027 with flag 3708620/851282
177.22/175.30	c cleaning 29998 clauses out of 60032 with flag 3995559/882281
188.11/186.12	c cleaning 31004 clauses out of 62034 with flag 4309995/914281
201.80/199.77	c cleaning 32001 clauses out of 64030 with flag 4627015/947281
208.00/205.95	c cleaning 32985 clauses out of 66029 with flag 4885609/981281
213.98/211.84	c cleaning 34003 clauses out of 68044 with flag 5116092/1016281
218.45/216.26	c cleaning 34992 clauses out of 70041 with flag 5379850/1052281
223.81/221.54	c cleaning 36005 clauses out of 72051 with flag 5622404/1089283
234.89/232.56	c cleaning 36995 clauses out of 74046 with flag 5941630/1127283
241.78/239.33	c cleaning 38000 clauses out of 76049 with flag 6249399/1166281
251.15/248.66	c cleaning 38994 clauses out of 78049 with flag 6577610/1206281
260.53/257.97	c cleaning 40013 clauses out of 80055 with flag 6937359/1247281
273.89/271.13	c cleaning 41007 clauses out of 82045 with flag 7306615/1289284
287.49/284.60	c cleaning 42002 clauses out of 84035 with flag 7716821/1332281
303.99/301.09	c cleaning 43007 clauses out of 86037 with flag 8156397/1376285
313.66/310.57	c cleaning 43992 clauses out of 88026 with flag 8483244/1421281
322.46/319.23	c cleaning 44972 clauses out of 90035 with flag 8838892/1467282
334.66/331.36	c cleaning 45998 clauses out of 92062 with flag 9178455/1514281
355.37/351.96	c cleaning 47003 clauses out of 94065 with flag 9606128/1562282
368.57/364.94	c cleaning 48014 clauses out of 96064 with flag 10026214/1611284
386.25/382.58	c cleaning 48999 clauses out of 98047 with flag 10418772/1661281
405.00/401.10	c cleaning 50005 clauses out of 100050 with flag 10819066/1712283
421.42/417.40	c cleaning 50999 clauses out of 102044 with flag 11227634/1764282
431.70/427.51	c cleaning 52021 clauses out of 104044 with flag 11561901/1817281
445.49/441.18	c cleaning 52994 clauses out of 106024 with flag 11964506/1871282
466.70/462.29	c cleaning 53995 clauses out of 108030 with flag 12406126/1926282
484.22/479.64	c cleaning 54990 clauses out of 110034 with flag 12856346/1982281
496.38/491.70	c cleaning 56000 clauses out of 112046 with flag 13226732/2039283
508.02/503.10	c cleaning 56990 clauses out of 114044 with flag 13601552/2097281
521.37/516.39	c cleaning 58004 clauses out of 116056 with flag 13971113/2156283
532.44/527.29	c cleaning 59003 clauses out of 118054 with flag 14363460/2216285
550.93/545.55	c cleaning 60013 clauses out of 120051 with flag 14850778/2277285
567.37/561.87	c cleaning 61004 clauses out of 122034 with flag 15326870/2339281
581.33/575.59	c cleaning 61993 clauses out of 124031 with flag 15742849/2402282
596.16/590.01	c cleaning 62986 clauses out of 126038 with flag 16177099/2466282
619.23/612.77	c cleaning 64006 clauses out of 128051 with flag 16685442/2531281
652.22/645.52	c cleaning 65006 clauses out of 130045 with flag 17195494/2597281
669.27/662.32	c cleaning 66004 clauses out of 132043 with flag 17726602/2664285
690.98/683.85	c cleaning 67004 clauses out of 134035 with flag 18249715/2732281
707.33/699.91	c cleaning 68000 clauses out of 136032 with flag 18721673/2801282
724.61/716.87	c cleaning 68989 clauses out of 138031 with flag 19181050/2871281
739.97/732.01	c cleaning 69995 clauses out of 140043 with flag 19672678/2942282
755.84/747.65	c cleaning 71000 clauses out of 142047 with flag 20167044/3014281
774.10/765.66	c cleaning 71973 clauses out of 144048 with flag 20656717/3087282
799.35/790.65	c cleaning 73018 clauses out of 146078 with flag 21207664/3161285
825.25/816.27	c cleaning 74007 clauses out of 148057 with flag 21751124/3236282
843.92/834.65	c cleaning 74996 clauses out of 150049 with flag 22322205/3312281
867.35/857.85	c cleaning 76006 clauses out of 152055 with flag 22866973/3389283
885.43/875.68	c cleaning 76997 clauses out of 154049 with flag 23430504/3467283
934.19/924.06	c cleaning 78008 clauses out of 156051 with flag 24131740/3546282
958.00/947.52	c cleaning 79011 clauses out of 158043 with flag 24641115/3626282
978.99/968.18	c cleaning 80007 clauses out of 160031 with flag 25185531/3707281
1003.06/991.86	c cleaning 81001 clauses out of 162024 with flag 25747350/3789281
1057.21/1045.60	c cleaning 81999 clauses out of 164023 with flag 26486834/3872281
1088.01/1076.08	c cleaning 82987 clauses out of 166024 with flag 27223825/3956281
1122.87/1110.58	c cleaning 84000 clauses out of 168037 with flag 27892376/4041281
1146.14/1133.39	c cleaning 85008 clauses out of 170037 with flag 28475086/4127281
1175.04/1161.87	c cleaning 85995 clauses out of 172031 with flag 29038509/4214283
1204.53/1190.97	c cleaning 86993 clauses out of 174035 with flag 29603272/4302282
1235.24/1221.39	c cleaning 88008 clauses out of 176042 with flag 30164031/4391282
1268.56/1254.25	c cleaning 89009 clauses out of 178033 with flag 30745305/4481281
1298.58/1283.83	c cleaning 89989 clauses out of 180026 with flag 31336510/4572283
1329.36/1314.28	c cleaning 91002 clauses out of 182035 with flag 31925593/4664281
1382.65/1367.03	c cleaning 92003 clauses out of 184034 with flag 32663533/4757282
1416.59/1400.49	c cleaning 93001 clauses out of 186031 with flag 33374359/4851282
1449.68/1432.92	c cleaning 93995 clauses out of 188030 with flag 34002502/4946282
1485.58/1468.42	c cleaning 94997 clauses out of 190034 with flag 34587907/5042281
1520.45/1502.80	c cleaning 96005 clauses out of 192038 with flag 35210445/5139282
1556.15/1538.18	c cleaning 97014 clauses out of 194032 with flag 35833358/5237281
1589.22/1570.66	c cleaning 97995 clauses out of 196019 with flag 36520544/5336282
1622.99/1603.97	c cleaning 98997 clauses out of 198026 with flag 37216797/5436284
1654.80/1635.22	c cleaning 100010 clauses out of 200029 with flag 37907434/5537284
1698.86/1679.00	c cleaning 100997 clauses out of 202016 with flag 38524339/5639281
1741.96/1721.59	c cleaning 102003 clauses out of 204020 with flag 39170178/5742282
1782.85/1762.08	c cleaning 102995 clauses out of 206016 with flag 39817741/5846281
1800.02/1778.81	c starts		: 15505
1800.02/1778.81	c conflicts		: 5904934
1800.02/1778.81	c decisions		: 34628289
1800.02/1778.81	c propagations		: 209317701
1800.02/1778.81	c inspects		: 28353980271
1800.02/1778.81	c shortcuts		: 0
1800.02/1778.81	c learnt literals	: 0
1800.02/1778.81	c learnt binary clauses	: 0
1800.02/1778.81	c learnt ternary clauses	: 0
1800.02/1778.81	c learnt constraints	: 5904934
1800.02/1778.81	c ignored constraints	: 0
1800.02/1778.81	c root simplifications	: 0
1800.02/1778.81	c removed literals (reason simplification)	: 0
1800.02/1778.81	c reason swapping (by a shorter reason)	: 0
1800.02/1778.81	c Calls to reduceDB	: 140
1800.02/1778.81	c Number of update (reduction) of LBD	: 3019526
1800.02/1778.81	c Imported unit clauses	: 0
1800.02/1778.81	c number of reductions to clauses (during analyze)	: 0
1800.02/1778.81	c number of learned constraints concerned by reduction	: 0
1800.02/1778.81	c number of learning phase by resolution	: 0
1800.02/1778.81	c number of learning phase by cutting planes	: 0
1800.02/1778.81	c speed (assignments/second)	: 117690.48221466548
1800.02/1778.81	c non guided choices	1030957
1800.02/1778.84	c learnt constraints type 
1800.02/1778.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 161674
1800.02/1778.84	s SATISFIABLE
1800.02/1778.84	c Found 11 solution(s)
1800.02/1778.85	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 
1800.02/1778.85	c objective function=5
1800.02/1778.85	c Total wall clock time (in seconds): 1778.744

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090553-1466062154/watcher-4090553-1466062154 -o /tmp/evaluation-result-4090553-1466062154/solver-4090553-1466062154 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466062128-6969 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090553-1466062154.wbo 

pid=7144
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.41 0.29 5/194 7147
/proc/meminfo: memFree=30302848/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/7147/stat : 7147 (java) R 7144 7147 6953 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 8262512 23793664 711 33554432000 1073741824 1073778376 140735317072224 140735317061288 260181112168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 5809 711 526 9 0 128 0

[startup+0.100108 s]
/proc/loadavg: 0.92 0.41 0.29 5/194 7147
/proc/meminfo: memFree=30302848/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 4420 0 1 0 9 1 0 0 20 0 18 0 8262512 9787879424 6040 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2389619 6040 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200215 s]
/proc/loadavg: 0.92 0.41 0.29 5/194 7147
/proc/meminfo: memFree=30302848/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 5003 0 1 0 27 1 0 0 20 0 18 0 8262512 9787879424 6942 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2389619 6942 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.304786 s]
/proc/loadavg: 0.92 0.41 0.29 5/194 7147
/proc/meminfo: memFree=30302848/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 5672 0 1 0 47 1 0 0 20 0 19 0 8262512 9856040960 9402 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 9402 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040

[startup+0.700212 s]
/proc/loadavg: 0.92 0.41 0.29 5/194 7147
/proc/meminfo: memFree=30302848/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 6870 0 1 0 107 2 0 0 20 0 19 0 8262512 9856040960 11095 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 11095 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 0.92 0.41 0.29 3/213 7166
/proc/meminfo: memFree=30236036/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 8259 0 1 0 200 2 0 0 20 0 19 0 8262512 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 14142 2259 9 0 2396937 0
[pid=7147/tid=7149] ppid=7144 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7147/task/7149/stat : 7149 (java) R 7144 7147 6953 0 -1 4202560 2425 0 1 0 146 1 0 0 20 0 19 0 8262513 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903343020632 139903208281631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7150] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7150/stat : 7150 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903332084392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7151] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7151/stat : 7151 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903331031848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7152] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7152/stat : 7152 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903329979304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7153] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7153/stat : 7153 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903328926760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7154] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7154/stat : 7154 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903327873192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7155] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7155/stat : 7155 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903326820648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7156] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7156/stat : 7156 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903180159400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7157] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7157/stat : 7157 (java) S 7144 7147 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903179106856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7158] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7158/stat : 7158 (java) S 7144 7147 6953 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903166909032 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7159] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7159/stat : 7159 (java) S 7144 7147 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903165855352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7160] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7160/stat : 7160 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903164802696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7161] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7161/stat : 7161 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903163751440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7162] ppid=7144 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/7147/task/7162/stat : 7162 (java) S 7144 7147 6953 0 -1 4202560 2565 0 0 0 31 0 0 0 20 0 19 0 8262518 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903162697784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7163] ppid=7144 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7147/task/7163/stat : 7163 (java) S 7144 7147 6953 0 -1 4202560 1997 0 0 0 20 0 0 0 20 0 19 0 8262518 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903161645240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7164] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7164/stat : 7164 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903160592888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7165] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7165/stat : 7165 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903159540552 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 14142 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 1.00 0.44 0.30 3/213 7166
/proc/meminfo: memFree=30214440/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 8267 0 1 0 363 2 0 0 20 0 19 0 8262512 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 17726 2259 9 0 2396937 0
[pid=7147/tid=7149] ppid=7144 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7147/task/7149/stat : 7149 (java) R 7144 7147 6953 0 -1 4202560 2433 0 1 0 305 1 0 0 20 0 19 0 8262513 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903343022584 139903208246336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7150] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7150/stat : 7150 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903332084392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7151] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7151/stat : 7151 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903331031848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7152] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7152/stat : 7152 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903329979304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7153] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7153/stat : 7153 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903328926760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7154] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7154/stat : 7154 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903327873192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7155] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7155/stat : 7155 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903326820648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7156] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7156/stat : 7156 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903180159400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7157] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7157/stat : 7157 (java) S 7144 7147 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903179106856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7158] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7158/stat : 7158 (java) S 7144 7147 6953 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903166909032 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7159] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7159/stat : 7159 (java) S 7144 7147 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903165855352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7160] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7160/stat : 7160 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903164802696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7161] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7161/stat : 7161 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903163751440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7162] ppid=7144 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7147/task/7162/stat : 7162 (java) S 7144 7147 6953 0 -1 4202560 2565 0 0 0 32 0 0 0 20 0 19 0 8262518 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903162697784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7163] ppid=7144 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/7147/task/7163/stat : 7163 (java) S 7144 7147 6953 0 -1 4202560 1997 0 0 0 22 0 0 0 20 0 19 0 8262518 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903161645240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7164] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7164/stat : 7164 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903160592888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7165] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7165/stat : 7165 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903159540552 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 17726 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 1.00 0.44 0.30 3/213 7166
/proc/meminfo: memFree=30159808/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=6.93 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 8799 0 1 0 690 3 0 0 20 0 19 0 8262512 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 23421 2260 9 0 2396937 0
[pid=7147/tid=7149] ppid=7144 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/7147/task/7149/stat : 7149 (java) R 7144 7147 6953 0 -1 4202560 2445 0 1 0 624 1 0 0 20 0 19 0 8262513 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903343022344 139903208305715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7150] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7150/stat : 7150 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903332084392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7151] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7151/stat : 7151 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903331031848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7152] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7152/stat : 7152 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903329979304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7153] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7153/stat : 7153 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903328926760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7154] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7154/stat : 7154 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903327873192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7155] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7155/stat : 7155 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903326820648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7156] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7156/stat : 7156 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903180159400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7157] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7157/stat : 7157 (java) S 7144 7147 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8262514 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903179106856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7158] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7158/stat : 7158 (java) S 7144 7147 6953 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903166909032 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7159] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7159/stat : 7159 (java) S 7144 7147 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903165855352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7160] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7160/stat : 7160 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903164802696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7161] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7161/stat : 7161 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903163751440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7162] ppid=7144 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/7147/task/7162/stat : 7162 (java) S 7144 7147 6953 0 -1 4202560 2565 0 0 0 33 0 0 0 20 0 19 0 8262518 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903162697784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7163] ppid=7144 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7147/task/7163/stat : 7163 (java) S 7144 7147 6953 0 -1 4202560 2516 0 0 0 27 0 0 0 20 0 19 0 8262518 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903161645240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7164] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7164/stat : 7164 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903160592888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7165] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7165/stat : 7165 (java) S 7144 7147 6953 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903159540552 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 23421 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 9625040


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

[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 134894 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1621.39
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.24 2.26 1.93 3/213 7209
/proc/meminfo: memFree=29228828/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=1682.18 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 25911 0 1 0 168085 133 0 0 20 0 19 0 8262512 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 134541 2282 9 0 2396937 0
[pid=7147/tid=7149] ppid=7144 vsize=9625040 CPUtime=1644.93 cores=0,2,4,6
/proc/7147/task/7149/stat : 7149 (java) R 7144 7147 6953 0 -1 4202560 2720 0 1 0 164464 29 0 0 20 0 19 0 8262513 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903343021280 139903208315046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7150] ppid=7144 vsize=9625040 CPUtime=3.42 cores=0,2,4,6
/proc/7147/task/7150/stat : 7150 (java) S 7144 7147 6953 0 -1 4202560 2185 0 0 0 328 14 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903332084392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7151] ppid=7144 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/7147/task/7151/stat : 7151 (java) S 7144 7147 6953 0 -1 4202560 1226 0 0 0 311 16 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903331031848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7152] ppid=7144 vsize=9625040 CPUtime=3.2 cores=0,2,4,6
/proc/7147/task/7152/stat : 7152 (java) S 7144 7147 6953 0 -1 4202560 1260 0 0 0 310 10 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903329979304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7153] ppid=7144 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/7147/task/7153/stat : 7153 (java) S 7144 7147 6953 0 -1 4202560 3280 0 0 0 315 16 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903328926760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7154] ppid=7144 vsize=9625040 CPUtime=3.23 cores=0,2,4,6
/proc/7147/task/7154/stat : 7154 (java) S 7144 7147 6953 0 -1 4202560 2151 0 0 0 311 12 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903327873192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7155] ppid=7144 vsize=9625040 CPUtime=3.24 cores=0,2,4,6
/proc/7147/task/7155/stat : 7155 (java) S 7144 7147 6953 0 -1 4202560 1709 0 0 0 310 14 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903326820648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7156] ppid=7144 vsize=9625040 CPUtime=3.26 cores=0,2,4,6
/proc/7147/task/7156/stat : 7156 (java) S 7144 7147 6953 0 -1 4202560 1045 0 0 0 316 10 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903180159400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7157] ppid=7144 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/7147/task/7157/stat : 7157 (java) S 7144 7147 6953 0 -1 4202560 1626 0 0 0 320 10 0 0 20 0 19 0 8262514 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903179106856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7158] ppid=7144 vsize=9625040 CPUtime=5.73 cores=0,2,4,6
/proc/7147/task/7158/stat : 7158 (java) S 7144 7147 6953 0 -1 4202560 1064 0 0 0 569 4 0 0 20 0 19 0 8262515 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903166909032 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7159] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7159/stat : 7159 (java) S 7144 7147 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903165855352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7160] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7160/stat : 7160 (java) S 7144 7147 6953 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903164802696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7161] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7161/stat : 7161 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903163751440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7162] ppid=7144 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7147/task/7162/stat : 7162 (java) S 7144 7147 6953 0 -1 4202560 3674 0 0 0 47 1 0 0 20 0 19 0 8262518 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903162697784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7163] ppid=7144 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/7147/task/7163/stat : 7163 (java) S 7144 7147 6953 0 -1 4202560 2617 0 0 0 33 0 0 0 20 0 19 0 8262518 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903161645240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7164] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7164/stat : 7164 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903160592888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7165] ppid=7144 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/7147/task/7165/stat : 7165 (java) S 7144 7147 6953 0 -1 4202560 96 0 0 0 22 24 0 0 20 0 19 0 8262518 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903159540552 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 134541 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1682.18
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.20 2.25 1.94 4/213 7210
/proc/meminfo: memFree=29197576/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=1742.75 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 26006 0 1 0 174139 136 0 0 20 0 19 0 8262512 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 138172 2282 9 0 2396937 0
[pid=7147/tid=7149] ppid=7144 vsize=9625040 CPUtime=1704.57 cores=0,2,4,6
/proc/7147/task/7149/stat : 7149 (java) R 7144 7147 6953 0 -1 4202560 2726 0 1 0 170428 29 0 0 20 0 19 0 8262513 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903343021296 139903208256369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7150] ppid=7144 vsize=9625040 CPUtime=3.57 cores=0,2,4,6
/proc/7147/task/7150/stat : 7150 (java) S 7144 7147 6953 0 -1 4202560 2207 0 0 0 342 15 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903332084392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7151] ppid=7144 vsize=9625040 CPUtime=3.36 cores=0,2,4,6
/proc/7147/task/7151/stat : 7151 (java) S 7144 7147 6953 0 -1 4202560 1227 0 0 0 320 16 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903331031848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7152] ppid=7144 vsize=9625040 CPUtime=3.26 cores=0,2,4,6
/proc/7147/task/7152/stat : 7152 (java) S 7144 7147 6953 0 -1 4202560 1283 0 0 0 316 10 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903329979304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7153] ppid=7144 vsize=9625040 CPUtime=3.4 cores=0,2,4,6
/proc/7147/task/7153/stat : 7153 (java) S 7144 7147 6953 0 -1 4202560 3281 0 0 0 323 17 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903328926760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7154] ppid=7144 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/7147/task/7154/stat : 7154 (java) S 7144 7147 6953 0 -1 4202560 2152 0 0 0 318 12 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903327873192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7155] ppid=7144 vsize=9625040 CPUtime=3.29 cores=0,2,4,6
/proc/7147/task/7155/stat : 7155 (java) S 7144 7147 6953 0 -1 4202560 1710 0 0 0 315 14 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903326820648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7156] ppid=7144 vsize=9625040 CPUtime=3.36 cores=0,2,4,6
/proc/7147/task/7156/stat : 7156 (java) S 7144 7147 6953 0 -1 4202560 1058 0 0 0 325 11 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903180159400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7157] ppid=7144 vsize=9625040 CPUtime=3.42 cores=0,2,4,6
/proc/7147/task/7157/stat : 7157 (java) S 7144 7147 6953 0 -1 4202560 1642 0 0 0 332 10 0 0 20 0 19 0 8262514 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903179106856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7158] ppid=7144 vsize=9625040 CPUtime=5.73 cores=0,2,4,6
/proc/7147/task/7158/stat : 7158 (java) S 7144 7147 6953 0 -1 4202560 1070 0 0 0 569 4 0 0 20 0 19 0 8262515 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903166909032 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7159] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7159/stat : 7159 (java) S 7144 7147 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903165855352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7160] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7160/stat : 7160 (java) S 7144 7147 6953 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903164802696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7161] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7161/stat : 7161 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903163751440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7162] ppid=7144 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7147/task/7162/stat : 7162 (java) S 7144 7147 6953 0 -1 4202560 3674 0 0 0 47 1 0 0 20 0 19 0 8262518 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903162697784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7163] ppid=7144 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7147/task/7163/stat : 7163 (java) S 7144 7147 6953 0 -1 4202560 2618 0 0 0 34 0 0 0 20 0 19 0 8262518 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903161645240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7164] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7164/stat : 7164 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903160592888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7165] ppid=7144 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7147/task/7165/stat : 7165 (java) S 7144 7147 6953 0 -1 4202560 100 0 0 0 23 25 0 0 20 0 19 0 8262518 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903159540552 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 138172 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1742.75
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.81 s]
/proc/loadavg: 2.16 2.23 1.95 2/192 7227
/proc/meminfo: memFree=29757340/32872528 swapFree=17100/1797424
[pid=7147] ppid=7144 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/7147/stat : 7147 (java) S 7144 7147 6953 0 -1 4202496 26090 0 1 0 179862 140 0 0 20 0 19 0 8262512 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 140735317063360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7147/statm: 2406260 144295 2282 9 0 2396937 0
[pid=7147/tid=7149] ppid=7144 vsize=9625040 CPUtime=1760.49 cores=0,2,4,6
/proc/7147/task/7149/stat : 7149 (java) R 7144 7147 6953 0 -1 4202560 2734 0 1 0 176019 30 0 0 20 0 19 0 8262513 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903343021512 139903208256322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7150] ppid=7144 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/7147/task/7150/stat : 7150 (java) S 7144 7147 6953 0 -1 4202560 2211 0 0 0 357 15 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903332084392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7151] ppid=7144 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/7147/task/7151/stat : 7151 (java) S 7144 7147 6953 0 -1 4202560 1227 0 0 0 333 16 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903331031848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7152] ppid=7144 vsize=9625040 CPUtime=3.37 cores=0,2,4,6
/proc/7147/task/7152/stat : 7152 (java) S 7144 7147 6953 0 -1 4202560 1287 0 0 0 326 11 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903329979304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7153] ppid=7144 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/7147/task/7153/stat : 7153 (java) S 7144 7147 6953 0 -1 4202560 3290 0 0 0 332 17 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903328926760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7154] ppid=7144 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/7147/task/7154/stat : 7154 (java) S 7144 7147 6953 0 -1 4202560 2161 0 0 0 330 13 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903327873192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7155] ppid=7144 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/7147/task/7155/stat : 7155 (java) S 7144 7147 6953 0 -1 4202560 1718 0 0 0 330 15 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903326820648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7156] ppid=7144 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/7147/task/7156/stat : 7156 (java) S 7144 7147 6953 0 -1 4202560 1063 0 0 0 338 11 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903180159400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7157] ppid=7144 vsize=9625040 CPUtime=3.57 cores=0,2,4,6
/proc/7147/task/7157/stat : 7157 (java) S 7144 7147 6953 0 -1 4202560 1652 0 0 0 346 11 0 0 20 0 19 0 8262514 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903179106856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7158] ppid=7144 vsize=9625040 CPUtime=5.89 cores=0,2,4,6
/proc/7147/task/7158/stat : 7158 (java) S 7144 7147 6953 0 -1 4202560 1093 0 0 0 585 4 0 0 20 0 19 0 8262515 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903166909032 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7159] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7159/stat : 7159 (java) S 7144 7147 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903165855352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7160] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7160/stat : 7160 (java) S 7144 7147 6953 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8262515 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903164802696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7161] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7161/stat : 7161 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903163751440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7162] ppid=7144 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7147/task/7162/stat : 7162 (java) S 7144 7147 6953 0 -1 4202560 3674 0 0 0 47 1 0 0 20 0 19 0 8262518 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903162697784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7147/tid=7163] ppid=7144 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7147/task/7163/stat : 7163 (java) S 7144 7147 6953 0 -1 4202560 2618 0 0 0 34 0 0 0 20 0 19 0 8262518 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903161645240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7147/tid=7164] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7164/stat : 7164 (java) S 7144 7147 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8262518 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903160592888 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7147/tid=7165] ppid=7144 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/7147/task/7165/stat : 7165 (java) S 7144 7147 6953 0 -1 4202560 104 0 0 0 24 26 0 0 20 0 19 0 8262518 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903159540552 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7147/tid=7166] ppid=7144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7147/task/7166/stat : 7166 (java) S 7144 7147 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8262539 9856040960 144295 33554432000 1073741824 1073778376 140735317072224 139903158486312 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7147 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7147 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=240234
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=841720
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1778.87
CPU time (s): 1800.02
CPU user time (s): 1798.62
CPU system time (s): 1.4
CPU usage (%): 101.189
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 1.84172
maximum resident set size= 598764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26139
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45206
involuntary context switches= 52647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2404 second user time and 13.284 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-16 09:29:14
IDJOB=4090553
IDBENCH=78669
IDSOLVER=2551
FILE ID=node123/4090553-1466062154
RUNJOBID= node123-1466062128-6969
PBS_JOBID= 19904016
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090553-1466062154/watcher-4090553-1466062154 -o /tmp/evaluation-result-4090553-1466062154/solver-4090553-1466062154 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466062128-6969 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090553-1466062154.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=1842479975

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30303376 kB
Buffers:            3024 kB
Cached:            37456 kB
SwapCached:         2196 kB
Active:            53016 kB
Inactive:          20168 kB
Active(anon):      33444 kB
Inactive(anon):     1384 kB
Active(file):      19572 kB
Inactive(file):    18784 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:              1752 kB
Writeback:             0 kB
AnonPages:       1811284 kB
Mapped:            14576 kB
Shmem:                 0 kB
Slab:             564784 kB
SReclaimable:       8400 kB
SUnreclaim:       556384 kB
KernelStack:        1408 kB
PageTables:         7604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2486624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node123 at 2016-06-16 09:58:53