Trace number 4090636

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.1 1790.87

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MD5SUMe56482878ee36dcbb361a64b1d161fc3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints81
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 3401
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 3400
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090636-1466063943.wbo
0.09/0.11	c reading problem ... 
0.27/0.25	c ... done. Wall clock time 0.141s.
0.27/0.25	c declared #vars     3660
0.27/0.25	c internal #vars     3741
0.27/0.25	c #constraints  121
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
0.27/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
0.27/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.27/0.25	c 121 constraints processed.
0.27/0.25	c objective function length is 81 literals
1.28/0.83	c cleaning 2496 clauses out of 5000 with flag 32393/5000
1.97/1.49	c cleaning 4243 clauses out of 8505 with flag 74125/11001
2.98/2.45	c cleaning 5626 clauses out of 11263 with flag 129809/18002
4.09/3.52	c cleaning 6812 clauses out of 13636 with flag 187034/26001
5.62/5.02	c cleaning 7902 clauses out of 15823 with flag 252779/35000
7.22/6.70	c cleaning 8957 clauses out of 17923 with flag 324206/45002
8.22/7.66	c SATISFIABLE
8.22/7.66	c OPTIMIZING...
8.22/7.66	c Got one! Elapsed wall clock time (in seconds):7.544
8.22/7.66	o 6
9.27/8.67	c cleaning 9874 clauses out of 19757 with flag 33702/55793
10.28/9.63	c cleaning 7937 clauses out of 15885 with flag 78518/61795
11.38/10.79	c cleaning 7466 clauses out of 14946 with flag 132666/68793
12.82/12.11	c cleaning 7730 clauses out of 15480 with flag 194025/76793
14.21/13.55	c cleaning 8367 clauses out of 16750 with flag 261242/85793
15.91/15.26	c cleaning 9187 clauses out of 18384 with flag 334909/95794
17.81/17.17	c cleaning 10087 clauses out of 20196 with flag 417522/106793
20.11/19.40	c cleaning 11050 clauses out of 22110 with flag 502398/118794
22.82/22.14	c cleaning 12020 clauses out of 24061 with flag 598156/131795
25.81/25.13	c cleaning 13012 clauses out of 26040 with flag 698243/145794
29.40/28.66	c cleaning 14002 clauses out of 28027 with flag 824419/160793
32.99/32.21	c cleaning 15005 clauses out of 30027 with flag 960344/176795
37.10/36.38	c cleaning 16003 clauses out of 32021 with flag 1101014/193794
41.89/41.12	c cleaning 17002 clauses out of 34018 with flag 1238998/211794
47.03/46.14	c cleaning 17999 clauses out of 36015 with flag 1387371/230793
52.83/51.99	c cleaning 19002 clauses out of 38018 with flag 1546334/250795
59.53/58.66	c cleaning 20002 clauses out of 40014 with flag 1715072/271793
66.04/65.15	c cleaning 21002 clauses out of 42014 with flag 1891093/293795
73.42/72.39	c Got one! Elapsed wall clock time (in seconds):72.28
73.42/72.39	o 3
75.63/74.56	c cleaning 24421 clauses out of 48847 with flag 33478/321630
77.43/76.32	c cleaning 15202 clauses out of 30427 with flag 83384/327631
78.83/77.71	c cleaning 11106 clauses out of 22224 with flag 137214/334630
80.23/79.15	c cleaning 9552 clauses out of 19118 with flag 199067/342630
81.73/80.66	c cleaning 9275 clauses out of 18567 with flag 269821/351631
83.33/82.29	c cleaning 9640 clauses out of 19295 with flag 352070/361634
85.43/84.32	c cleaning 10318 clauses out of 20653 with flag 439814/372632
87.95/86.71	c cleaning 11156 clauses out of 22333 with flag 542180/384630
90.85/89.63	c cleaning 12082 clauses out of 24178 with flag 656531/397631
93.85/92.68	c cleaning 13044 clauses out of 26098 with flag 769651/411633
97.25/96.05	c cleaning 14013 clauses out of 28052 with flag 900676/426631
100.95/99.78	c cleaning 15013 clauses out of 30039 with flag 1037234/442631
105.11/103.76	c cleaning 16002 clauses out of 32026 with flag 1180967/459631
109.61/108.28	c cleaning 17003 clauses out of 34023 with flag 1334894/477630
114.61/113.24	c cleaning 18002 clauses out of 36020 with flag 1490279/496630
120.11/118.78	c cleaning 18999 clauses out of 38019 with flag 1655742/516631
125.94/124.44	c cleaning 20002 clauses out of 40021 with flag 1817057/537632
131.53/130.04	c cleaning 21003 clauses out of 42018 with flag 1985866/559631
137.73/136.21	c cleaning 21996 clauses out of 44015 with flag 2145631/582631
145.26/143.65	c cleaning 23003 clauses out of 46019 with flag 2327964/606631
155.06/153.46	c cleaning 23999 clauses out of 48017 with flag 2519166/631632
163.86/162.22	c cleaning 25002 clauses out of 50017 with flag 2713472/657631
171.86/170.03	c Got one! Elapsed wall clock time (in seconds):169.918
171.86/170.03	o 2
174.00/172.10	c cleaning 28110 clauses out of 56244 with flag 34022/688860
175.40/173.53	c cleaning 17056 clauses out of 34133 with flag 77112/694859
176.60/174.77	c cleaning 12028 clauses out of 24078 with flag 126747/701860
177.90/176.04	c cleaning 10013 clauses out of 20049 with flag 194042/709859
179.20/177.34	c cleaning 9509 clauses out of 19037 with flag 267118/718860
180.80/178.93	c cleaning 9754 clauses out of 19527 with flag 338613/728859
182.60/180.77	c cleaning 10376 clauses out of 20773 with flag 419682/739859
184.81/182.90	c cleaning 11184 clauses out of 22397 with flag 503373/751859
186.91/185.09	c cleaning 12096 clauses out of 24214 with flag 606125/764860
189.41/187.59	c cleaning 13043 clauses out of 26117 with flag 719595/778859
192.22/190.34	c cleaning 14029 clauses out of 28076 with flag 831182/793861
195.36/193.41	c cleaning 15007 clauses out of 30045 with flag 942491/809859
198.86/196.96	c cleaning 16004 clauses out of 32040 with flag 1073707/826861
202.76/200.89	c cleaning 17010 clauses out of 34037 with flag 1206357/844862
207.68/205.77	c cleaning 18000 clauses out of 36025 with flag 1361805/863860
212.80/210.80	c cleaning 19000 clauses out of 38024 with flag 1521271/883859
218.41/216.45	c cleaning 19997 clauses out of 40025 with flag 1694669/904860
224.29/222.30	c cleaning 21005 clauses out of 42029 with flag 1873182/926861
230.28/228.26	c cleaning 22000 clauses out of 44022 with flag 2057581/949859
236.88/234.89	c cleaning 22999 clauses out of 46023 with flag 2233623/973860
238.59/236.52	c Got one! Elapsed wall clock time (in seconds):236.411
238.59/236.52	o 1
240.21/238.07	c cleaning 17975 clauses out of 35988 with flag 36904/986824
241.31/239.11	c cleaning 11986 clauses out of 24014 with flag 80683/992825
242.31/240.13	c cleaning 9496 clauses out of 19026 with flag 129251/999823
243.41/241.24	c cleaning 8747 clauses out of 17533 with flag 186596/1007826
244.71/242.59	c cleaning 8869 clauses out of 17783 with flag 249626/1016823
246.31/244.16	c cleaning 9440 clauses out of 18915 with flag 321052/1026824
247.41/245.29	c cleaning 10212 clauses out of 20474 with flag 401356/1037823
249.15/246.93	c cleaning 11104 clauses out of 22262 with flag 487630/1049823
251.15/248.90	c cleaning 12050 clauses out of 24158 with flag 588296/1062823
253.55/251.38	c cleaning 13027 clauses out of 26108 with flag 708343/1076823
256.46/254.29	c cleaning 14014 clauses out of 28083 with flag 826381/1091825
259.80/257.52	c cleaning 15004 clauses out of 30068 with flag 950627/1107824
263.40/261.19	c cleaning 16002 clauses out of 32064 with flag 1092726/1124824
267.40/265.16	c cleaning 17003 clauses out of 34063 with flag 1231254/1142825
272.43/270.13	c cleaning 17995 clauses out of 36059 with flag 1382839/1161824
277.93/275.66	c cleaning 19002 clauses out of 38063 with flag 1556286/1181823
284.04/281.73	c cleaning 20000 clauses out of 40062 with flag 1746560/1202824
290.82/288.44	c cleaning 21001 clauses out of 42063 with flag 1946922/1224825
298.02/295.60	c cleaning 21997 clauses out of 44060 with flag 2174125/1247823
305.51/303.10	c cleaning 23005 clauses out of 46063 with flag 2426311/1271823
314.01/311.57	c cleaning 24007 clauses out of 48059 with flag 2708040/1296824
322.81/320.24	c cleaning 24997 clauses out of 50051 with flag 2965941/1322823
332.62/329.95	c cleaning 25999 clauses out of 52055 with flag 3250686/1349824
342.42/339.76	c cleaning 27001 clauses out of 54056 with flag 3531468/1377824
353.97/351.27	c cleaning 27996 clauses out of 56055 with flag 3843810/1406824
366.66/363.84	c cleaning 28990 clauses out of 58058 with flag 4174592/1436823
378.56/375.74	c cleaning 30001 clauses out of 60068 with flag 4482347/1467823
391.35/388.42	c cleaning 31004 clauses out of 62072 with flag 4846689/1499828
403.80/400.89	c cleaning 32000 clauses out of 64064 with flag 5154335/1532824
417.10/414.09	c cleaning 33001 clauses out of 66064 with flag 5497762/1566824
430.99/427.90	c cleaning 33997 clauses out of 68063 with flag 5818564/1601824
448.08/444.80	c cleaning 34999 clauses out of 70065 with flag 6230260/1637823
463.27/459.95	c cleaning 36004 clauses out of 72069 with flag 6563860/1674826
479.26/475.86	c cleaning 37000 clauses out of 74064 with flag 6889990/1712825
496.86/493.31	c cleaning 38002 clauses out of 76065 with flag 7242815/1751826
514.92/511.30	c cleaning 39002 clauses out of 78066 with flag 7611049/1791829
534.02/530.36	c cleaning 39997 clauses out of 80060 with flag 7990389/1832825
557.78/554.03	c cleaning 40995 clauses out of 82061 with flag 8397078/1874823
579.09/575.26	c cleaning 42003 clauses out of 84066 with flag 8788587/1917823
600.89/596.92	c cleaning 42999 clauses out of 86063 with flag 9168516/1961823
623.67/619.67	c cleaning 43997 clauses out of 88064 with flag 9587507/2006823
650.67/646.59	c cleaning 44999 clauses out of 90067 with flag 10016803/2052823
679.24/675.09	c cleaning 46002 clauses out of 92068 with flag 10433560/2099823
705.92/701.51	c cleaning 46997 clauses out of 94067 with flag 10848793/2147824
739.18/734.80	c cleaning 48003 clauses out of 96069 with flag 11335965/2196823
771.80/767.29	c cleaning 48998 clauses out of 98066 with flag 11794105/2246823
807.19/802.42	c cleaning 49999 clauses out of 100068 with flag 12303493/2297823
846.44/841.53	c cleaning 51001 clauses out of 102069 with flag 12793941/2349823
880.59/875.50	c cleaning 52004 clauses out of 104069 with flag 13286689/2402824
912.31/907.11	c cleaning 53000 clauses out of 106064 with flag 13707791/2456823
943.00/937.68	c cleaning 54001 clauses out of 108065 with flag 14144385/2511824
973.81/968.30	c cleaning 54999 clauses out of 110063 with flag 14579665/2567823
1011.48/1005.80	c cleaning 55996 clauses out of 112064 with flag 15076977/2624823
1046.23/1040.41	c cleaning 56997 clauses out of 114071 with flag 15541435/2682826
1082.71/1076.74	c cleaning 58003 clauses out of 116072 with flag 15984678/2741824
1122.59/1116.40	c cleaning 59005 clauses out of 118069 with flag 16468720/2801824
1168.24/1161.97	c cleaning 59998 clauses out of 120063 with flag 16990066/2862823
1208.24/1201.77	c cleaning 61002 clauses out of 122065 with flag 17491231/2924823
1256.34/1249.66	c cleaning 62001 clauses out of 124063 with flag 18010220/2987823
1302.45/1295.52	c cleaning 63002 clauses out of 126065 with flag 18568018/3051826
1349.15/1342.04	c cleaning 64000 clauses out of 128061 with flag 19102754/3116824
1396.16/1388.85	c cleaning 65001 clauses out of 130062 with flag 19604455/3182825
1444.70/1437.12	c cleaning 66000 clauses out of 132059 with flag 20126019/3249823
1494.44/1486.65	c cleaning 66997 clauses out of 134059 with flag 20679758/3317823
1546.71/1538.73	c cleaning 68001 clauses out of 136062 with flag 21214083/3386823
1601.15/1592.95	c cleaning 69001 clauses out of 138062 with flag 21698439/3456824
1659.25/1650.81	c cleaning 70002 clauses out of 140060 with flag 22244574/3527823
1725.64/1716.70	c cleaning 71001 clauses out of 142061 with flag 22827332/3599826
1789.82/1780.69	c cleaning 71995 clauses out of 144057 with flag 23367073/3672823
1800.10/1790.81	c starts		: 21
1800.10/1790.81	c conflicts		: 3692438
1800.10/1790.81	c decisions		: 4109069
1800.10/1790.81	c propagations		: 50173127
1800.10/1790.81	c inspects		: 30597849016
1800.10/1790.81	c shortcuts		: 0
1800.10/1790.81	c learnt literals	: 0
1800.10/1790.81	c learnt binary clauses	: 0
1800.10/1790.81	c learnt ternary clauses	: 0
1800.10/1790.81	c learnt constraints	: 3692438
1800.10/1790.81	c ignored constraints	: 0
1800.10/1790.81	c root simplifications	: 0
1800.10/1790.81	c removed literals (reason simplification)	: 0
1800.10/1790.81	c reason swapping (by a shorter reason)	: 0
1800.10/1790.81	c Calls to reduceDB	: 135
1800.10/1790.81	c Number of update (reduction) of LBD	: 1894431
1800.10/1790.81	c Imported unit clauses	: 0
1800.10/1790.81	c number of reductions to clauses (during analyze)	: 0
1800.10/1790.81	c number of learned constraints concerned by reduction	: 0
1800.10/1790.81	c number of learning phase by resolution	: 0
1800.10/1790.81	c number of learning phase by cutting planes	: 0
1800.10/1790.81	c speed (assignments/second)	: 28021.07006227137
1800.10/1790.81	c non guided choices	18243
1800.10/1790.84	c learnt constraints type 
1800.10/1790.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91677
1800.10/1790.84	s SATISFIABLE
1800.10/1790.84	c Found 4 solution(s)
1800.10/1790.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 
1800.10/1790.85	c objective function=1
1800.10/1790.85	c Total wall clock time (in seconds): 1790.74

Verifier Data 

OK	1

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-4090636-1466063943/watcher-4090636-1466063943 -o /tmp/evaluation-result-4090636-1466063943/solver-4090636-1466063943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466062109-8003 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090636-1466063943.wbo 

pid=8462
running on 4 cores: 1,3,5,7

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: 2.11 2.19 1.95 3/175 8468
/proc/meminfo: memFree=30556008/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/8468/stat : 8468 (java) R 8462 8468 7986 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 8439582 5767168 55 33554432000 1073741824 1073778376 140735743413488 140735743410616 213410475303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8468/statm: 2303 60 47 9 0 30 0

[startup+0.100114 s]
/proc/loadavg: 2.11 2.19 1.95 3/175 8468
/proc/meminfo: memFree=30556008/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 8439582 9787879424 6037 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200215 s]
/proc/loadavg: 2.11 2.19 1.95 3/175 8468
/proc/meminfo: memFree=30556008/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 4983 0 1 0 26 1 0 0 20 0 18 0 8439582 9787879424 6946 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2389619 6946 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300204 s]
/proc/loadavg: 2.11 2.19 1.95 3/175 8468
/proc/meminfo: memFree=30556008/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 6247 0 1 0 47 2 0 0 20 0 19 0 8439582 9856040960 9290 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 9290 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700209 s]
/proc/loadavg: 2.11 2.19 1.95 3/175 8468
/proc/meminfo: memFree=30556008/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 8269 0 1 0 114 2 0 0 20 0 19 0 8439582 9856040960 11397 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 11397 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.10 2.19 1.95 4/213 8506
/proc/meminfo: memFree=30467560/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=2.07 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 9279 0 1 0 205 2 0 0 20 0 19 0 8439582 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 14278 2259 9 0 2396937 0
[pid=8468/tid=8472] ppid=8462 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/8468/task/8472/stat : 8472 (java) R 8462 8468 7986 0 -1 4202560 2415 0 1 0 145 1 0 0 20 0 19 0 8439583 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907394255432 139907234859099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8473] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8473/stat : 8473 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907355748904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8474] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8474/stat : 8474 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907354696104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8475] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8475/stat : 8475 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907353643304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8477] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8477/stat : 8477 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907234261160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8478] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8478/stat : 8478 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907233209384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8480] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8480/stat : 8480 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907232156584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8482] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8482/stat : 8482 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907231103784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8484] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8484/stat : 8484 (java) S 8462 8468 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139907230050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8489] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8489/stat : 8489 (java) S 8462 8468 7986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906747722216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8491] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8491/stat : 8491 (java) S 8462 8468 7986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906746668280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8492] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8492/stat : 8492 (java) S 8462 8468 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906745615368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8495] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8495/stat : 8495 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906744563856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8497] ppid=8462 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/8468/task/8497/stat : 8497 (java) S 8462 8468 7986 0 -1 4202560 2981 0 0 0 27 0 0 0 20 0 19 0 8439588 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906743511992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8499] ppid=8462 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/8468/task/8499/stat : 8499 (java) S 8462 8468 7986 0 -1 4202560 2605 0 0 0 30 0 0 0 20 0 19 0 8439588 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906742459192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8501] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8501/stat : 8501 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906741406584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8503] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8503/stat : 8503 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906740353992 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8505] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 14278 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.10 2.19 1.95 4/213 8506
/proc/meminfo: memFree=30438516/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 9291 0 1 0 366 3 0 0 20 0 19 0 8439582 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 19910 2259 9 0 2396937 0
[pid=8468/tid=8472] ppid=8462 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8468/task/8472/stat : 8472 (java) R 8462 8468 7986 0 -1 4202560 2427 0 1 0 304 2 0 0 20 0 19 0 8439583 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907394257080 139907234921753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8473] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8473/stat : 8473 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907355748904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8474] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8474/stat : 8474 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907354696104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8475] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8475/stat : 8475 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907353643304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8477] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8477/stat : 8477 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907234261160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8478] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8478/stat : 8478 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907233209384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8480] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8480/stat : 8480 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907232156584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8482] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8482/stat : 8482 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907231103784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8484] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8484/stat : 8484 (java) S 8462 8468 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139907230050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8489] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8489/stat : 8489 (java) S 8462 8468 7986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906747722216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8491] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8491/stat : 8491 (java) S 8462 8468 7986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906746668280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8492] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8492/stat : 8492 (java) S 8462 8468 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906745615368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8495] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8495/stat : 8495 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906744563856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8497] ppid=8462 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8468/task/8497/stat : 8497 (java) S 8462 8468 7986 0 -1 4202560 2981 0 0 0 28 0 0 0 20 0 19 0 8439588 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906743511992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8499] ppid=8462 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/8468/task/8499/stat : 8499 (java) S 8462 8468 7986 0 -1 4202560 2605 0 0 0 31 0 0 0 20 0 19 0 8439588 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906742459192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8501] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8501/stat : 8501 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906741406584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8503] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8503/stat : 8503 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906740353992 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8505] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 19910 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.10 2.19 1.95 4/213 8506
/proc/meminfo: memFree=30372244/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=6.92 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 9308 0 1 0 689 3 0 0 20 0 19 0 8439582 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 27270 2259 9 0 2396937 0
[pid=8468/tid=8472] ppid=8462 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/8468/task/8472/stat : 8472 (java) R 8462 8468 7986 0 -1 4202560 2444 0 1 0 624 2 0 0 20 0 19 0 8439583 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907394257304 139907234790330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8473] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8473/stat : 8473 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907355748904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8474] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8474/stat : 8474 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907354696104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8475] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8475/stat : 8475 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907353643304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8477] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8477/stat : 8477 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907234261160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8478] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8478/stat : 8478 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907233209384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8480] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8480/stat : 8480 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907232156584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8482] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8482/stat : 8482 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907231103784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8484] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8484/stat : 8484 (java) S 8462 8468 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8439584 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139907230050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8489] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8489/stat : 8489 (java) S 8462 8468 7986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906747722216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8491] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8491/stat : 8491 (java) S 8462 8468 7986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906746668280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8492] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8492/stat : 8492 (java) S 8462 8468 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906745615368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8495] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8495/stat : 8495 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906744563856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8497] ppid=8462 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8468/task/8497/stat : 8497 (java) S 8462 8468 7986 0 -1 4202560 2981 0 0 0 28 0 0 0 20 0 19 0 8439588 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906743511992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8499] ppid=8462 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/8468/task/8499/stat : 8499 (java) S 8462 8468 7986 0 -1 4202560 2605 0 0 0 33 0 0 0 20 0 19 0 8439588 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906742459192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8501] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8501/stat : 8501 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906741406584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8503] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8503/stat : 8503 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906740353992 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8505] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 27270 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9625040


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

/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 94936 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1670.91
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.26 2.24 2.15 5/213 8571
/proc/meminfo: memFree=29872148/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=1731.27 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 16196 0 1 0 173004 123 0 0 20 0 19 0 8439582 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 96772 2283 9 0 2396937 0
[pid=8468/tid=8472] ppid=8462 vsize=9625040 CPUtime=1712.14 cores=1,3,5,7
/proc/8468/task/8472/stat : 8472 (java) R 8462 8468 7986 0 -1 4202560 2606 0 1 0 171184 30 0 0 20 0 19 0 8439583 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907394256064 139907234864885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8473] ppid=8462 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/8468/task/8473/stat : 8473 (java) S 8462 8468 7986 0 -1 4202560 449 0 0 0 138 10 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907355748904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8474] ppid=8462 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/8468/task/8474/stat : 8474 (java) S 8462 8468 7986 0 -1 4202560 537 0 0 0 128 9 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907354696104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8475] ppid=8462 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/8468/task/8475/stat : 8475 (java) S 8462 8468 7986 0 -1 4202560 604 0 0 0 137 10 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907353643304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8477] ppid=8462 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/8468/task/8477/stat : 8477 (java) S 8462 8468 7986 0 -1 4202560 370 0 0 0 127 8 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907234261160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8478] ppid=8462 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/8468/task/8478/stat : 8478 (java) S 8462 8468 7986 0 -1 4202560 551 0 0 0 126 10 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907233209384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8480] ppid=8462 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/8468/task/8480/stat : 8480 (java) S 8462 8468 7986 0 -1 4202560 568 0 0 0 128 11 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907232156584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8482] ppid=8462 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/8468/task/8482/stat : 8482 (java) S 8462 8468 7986 0 -1 4202560 392 0 0 0 123 9 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907231103784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8484] ppid=8462 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/8468/task/8484/stat : 8484 (java) S 8462 8468 7986 0 -1 4202560 455 0 0 0 128 9 0 0 20 0 19 0 8439584 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139907230050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8489] ppid=8462 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/8468/task/8489/stat : 8489 (java) S 8462 8468 7986 0 -1 4202560 678 0 0 0 223 4 0 0 20 0 19 0 8439585 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906747722216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8491] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8491/stat : 8491 (java) S 8462 8468 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906746668280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8492] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8492/stat : 8492 (java) S 8462 8468 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906745615368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8495] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8495/stat : 8495 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906744563856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8497] ppid=8462 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/8468/task/8497/stat : 8497 (java) S 8462 8468 7986 0 -1 4202560 4224 0 0 0 38 0 0 0 20 0 19 0 8439588 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906743511992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8499] ppid=8462 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/8468/task/8499/stat : 8499 (java) S 8462 8468 7986 0 -1 4202560 3400 0 0 0 41 1 0 0 20 0 19 0 8439588 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906742459192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8501] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8501/stat : 8501 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906741406584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8503] ppid=8462 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/8468/task/8503/stat : 8503 (java) S 8462 8468 7986 0 -1 4202560 99 0 0 0 22 42 0 0 20 0 19 0 8439588 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906740353992 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8505] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 96772 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1731.27
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.30 2.24 2.16 4/213 8572
/proc/meminfo: memFree=29878932/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=1791.52 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 16273 0 1 0 179027 125 0 0 20 0 19 0 8439582 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 82796 2283 9 0 2396937 0
[pid=8468/tid=8472] ppid=8462 vsize=9625040 CPUtime=1771.63 cores=1,3,5,7
/proc/8468/task/8472/stat : 8472 (java) R 8462 8468 7986 0 -1 4202560 2615 0 1 0 177132 31 0 0 20 0 19 0 8439583 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907394256064 139907234791476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8473] ppid=8462 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/8468/task/8473/stat : 8473 (java) S 8462 8468 7986 0 -1 4202560 449 0 0 0 144 10 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907355748904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8474] ppid=8462 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/8468/task/8474/stat : 8474 (java) S 8462 8468 7986 0 -1 4202560 537 0 0 0 133 9 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907354696104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8475] ppid=8462 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/8468/task/8475/stat : 8475 (java) S 8462 8468 7986 0 -1 4202560 604 0 0 0 140 10 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907353643304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8477] ppid=8462 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/8468/task/8477/stat : 8477 (java) S 8462 8468 7986 0 -1 4202560 373 0 0 0 134 8 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907234261160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8478] ppid=8462 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/8468/task/8478/stat : 8478 (java) S 8462 8468 7986 0 -1 4202560 551 0 0 0 130 10 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907233209384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8480] ppid=8462 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/8468/task/8480/stat : 8480 (java) S 8462 8468 7986 0 -1 4202560 568 0 0 0 132 11 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907232156584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8482] ppid=8462 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/8468/task/8482/stat : 8482 (java) S 8462 8468 7986 0 -1 4202560 392 0 0 0 127 9 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907231103784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8484] ppid=8462 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/8468/task/8484/stat : 8484 (java) S 8462 8468 7986 0 -1 4202560 455 0 0 0 132 9 0 0 20 0 19 0 8439584 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139907230050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8489] ppid=8462 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/8468/task/8489/stat : 8489 (java) S 8462 8468 7986 0 -1 4202560 739 0 0 0 243 5 0 0 20 0 19 0 8439585 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906747722216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8491] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8491/stat : 8491 (java) S 8462 8468 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906746668280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8492] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8492/stat : 8492 (java) S 8462 8468 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906745615368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8495] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8495/stat : 8495 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906744563856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8497] ppid=8462 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/8468/task/8497/stat : 8497 (java) S 8462 8468 7986 0 -1 4202560 4224 0 0 0 38 0 0 0 20 0 19 0 8439588 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906743511992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8499] ppid=8462 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/8468/task/8499/stat : 8499 (java) S 8462 8468 7986 0 -1 4202560 3400 0 0 0 41 1 0 0 20 0 19 0 8439588 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906742459192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8501] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8501/stat : 8501 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906741406584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8503] ppid=8462 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8468/task/8503/stat : 8503 (java) S 8462 8468 7986 0 -1 4202560 103 0 0 0 23 43 0 0 20 0 19 0 8439588 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906740353992 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8505] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 82796 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.8 s]
/proc/loadavg: 2.28 2.24 2.16 4/213 8573
/proc/meminfo: memFree=29873720/32872528 swapFree=1399392/1569044
[pid=8468] ppid=8462 vsize=9625040 CPUtime=1800.1 cores=1,3,5,7
/proc/8468/stat : 8468 (java) S 8462 8468 7986 0 -1 4202496 17320 0 1 0 179884 126 0 0 20 0 19 0 8439582 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 140735743404624 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8468/statm: 2406260 85366 2283 9 0 2396937 0
[pid=8468/tid=8472] ppid=8462 vsize=9625040 CPUtime=1780.09 cores=1,3,5,7
/proc/8468/task/8472/stat : 8472 (java) R 8462 8468 7986 0 -1 4202560 2617 0 1 0 177977 32 0 0 20 0 19 0 8439583 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907394256064 139907234864885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8473] ppid=8462 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/8468/task/8473/stat : 8473 (java) S 8462 8468 7986 0 -1 4202560 668 0 0 0 145 10 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907355748904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8474] ppid=8462 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/8468/task/8474/stat : 8474 (java) S 8462 8468 7986 0 -1 4202560 537 0 0 0 133 9 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907354696104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8475] ppid=8462 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/8468/task/8475/stat : 8475 (java) S 8462 8468 7986 0 -1 4202560 947 0 0 0 142 10 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907353643304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8477] ppid=8462 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/8468/task/8477/stat : 8477 (java) S 8462 8468 7986 0 -1 4202560 695 0 0 0 136 8 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907234261160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8478] ppid=8462 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/8468/task/8478/stat : 8478 (java) S 8462 8468 7986 0 -1 4202560 551 0 0 0 130 10 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907233209384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8480] ppid=8462 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/8468/task/8480/stat : 8480 (java) S 8462 8468 7986 0 -1 4202560 723 0 0 0 134 11 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907232156584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8482] ppid=8462 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/8468/task/8482/stat : 8482 (java) S 8462 8468 7986 0 -1 4202560 392 0 0 0 128 9 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907231103784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8484] ppid=8462 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/8468/task/8484/stat : 8484 (java) S 8462 8468 7986 0 -1 4202560 455 0 0 0 132 9 0 0 20 0 19 0 8439584 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139907230050984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8489] ppid=8462 vsize=9625040 CPUtime=2.49 cores=1,3,5,7
/proc/8468/task/8489/stat : 8489 (java) S 8462 8468 7986 0 -1 4202560 745 0 0 0 244 5 0 0 20 0 19 0 8439585 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906747722216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8491] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8491/stat : 8491 (java) S 8462 8468 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906746668280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8492] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8492/stat : 8492 (java) S 8462 8468 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8439585 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906745615368 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8495] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8495/stat : 8495 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906744563856 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8468/tid=8497] ppid=8462 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/8468/task/8497/stat : 8497 (java) S 8462 8468 7986 0 -1 4202560 4224 0 0 0 38 0 0 0 20 0 19 0 8439588 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906743511992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8468/tid=8499] ppid=8462 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/8468/task/8499/stat : 8499 (java) S 8462 8468 7986 0 -1 4202560 3400 0 0 0 41 1 0 0 20 0 19 0 8439588 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906742459192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8501] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8501/stat : 8501 (java) S 8462 8468 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8439588 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906741406584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8468/tid=8503] ppid=8462 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/8468/task/8503/stat : 8503 (java) S 8462 8468 7986 0 -1 4202560 103 0 0 0 23 43 0 0 20 0 19 0 8439588 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906740353992 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8468/tid=8505] ppid=8462 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8468/task/8505/stat : 8505 (java) S 8462 8468 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8439608 9856040960 85366 33554432000 1073741824 1073778376 140735743413488 139906739299496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 8468 sig 9
??? kill -8468 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 8468 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=270229
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=721738
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.87
CPU time (s): 1800.1
CPU user time (s): 1798.84
CPU system time (s): 1.26
CPU usage (%): 100.515
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 1.72174
maximum resident set size= 655744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17368
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= 42281
involuntary context switches= 28534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1728 second user time and 9.59354 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-16 09:59:04
IDJOB=4090636
IDBENCH=78714
IDSOLVER=2551
FILE ID=node140/4090636-1466063943
RUNJOBID= node140-1466062109-8003
PBS_JOBID= 19904000
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090636-1466063943/watcher-4090636-1466063943 -o /tmp/evaluation-result-4090636-1466063943/solver-4090636-1466063943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466062109-8003 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090636-1466063943.wbo

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

MD5SUM BENCH= e56482878ee36dcbb361a64b1d161fc3
RANDOM SEED=252434555

node140.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.714
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.42
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.714
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.714
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.55
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.714
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.55
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.714
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.55
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.714
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.55
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.714
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.54
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.714
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:        30557188 kB
Buffers:            4184 kB
Cached:            38764 kB
SwapCached:         2572 kB
Active:            26808 kB
Inactive:          21684 kB
Active(anon):       6128 kB
Inactive(anon):     1768 kB
Active(file):      20680 kB
Inactive(file):    19916 kB
Unevictable:     1569044 kB
Mlocked:         1399392 kB
SwapTotal:      67108856 kB
SwapFree:       67096788 kB
Dirty:              1600 kB
Writeback:             0 kB
AnonPages:       1573472 kB
Mapped:             7008 kB
Shmem:                 0 kB
Slab:             564684 kB
SReclaimable:       8428 kB
SUnreclaim:       556256 kB
KernelStack:        1400 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1668640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71740 MiB
End job on node140 at 2016-06-16 10:28:55