Trace number 4103200

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)3336192 1800.05 1773.16

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
MD5SUM9d08937c2a2ec73e4fca19adadace920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3190784
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3208192
Optimality of the best value was proved NO
Number of variables3720
Total number of constraints142
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints142
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 3720
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 679702048135
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 679702048135
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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@587bd9f2
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@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4103200-1466234716.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.29/0.29	c ... done. Wall clock time 0.183s.
0.29/0.29	c declared #vars     3720
0.29/0.29	c #constraints  164
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 164
0.29/0.29	c 164 constraints processed.
0.29/0.29	c objective function length is 3720 literals
0.84/0.45	c SATISFIABLE
0.84/0.45	c OPTIMIZING...
0.84/0.45	c Got one! Elapsed wall clock time (in seconds):0.338
0.84/0.45	o 4189527
0.84/0.46	c Got one! Elapsed wall clock time (in seconds):0.353
0.84/0.46	o 3336192
1.76/1.15	c cleaning 2572 clauses out of 5151 with flag 15098/5151
2.92/2.09	c cleaning 4290 clauses out of 8579 with flag 35501/11151
4.13/3.22	c cleaning 5637 clauses out of 11291 with flag 57739/18153
5.55/4.63	c cleaning 6824 clauses out of 13653 with flag 83529/26152
6.76/5.85	c cleaning 7909 clauses out of 15828 with flag 113633/35151
7.78/6.87	c cleaning 8958 clauses out of 17920 with flag 144541/45152
9.18/8.23	c cleaning 9974 clauses out of 19962 with flag 181457/56152
10.89/9.95	c cleaning 10989 clauses out of 21987 with flag 220555/68151
12.91/11.91	c cleaning 12000 clauses out of 23999 with flag 263987/81152
15.04/14.04	c cleaning 12999 clauses out of 25998 with flag 309519/95151
17.34/16.34	c cleaning 13996 clauses out of 28000 with flag 357803/110152
20.25/19.21	c cleaning 14998 clauses out of 30003 with flag 416045/126151
22.97/21.98	c cleaning 16004 clauses out of 32009 with flag 476224/143155
25.89/24.86	c cleaning 17001 clauses out of 34002 with flag 532739/161152
28.80/27.79	c cleaning 18004 clauses out of 36007 with flag 595934/180158
32.57/31.48	c cleaning 19000 clauses out of 37999 with flag 667311/200154
35.69/34.50	c cleaning 19993 clauses out of 39996 with flag 736887/221151
38.94/37.72	c cleaning 20995 clauses out of 42004 with flag 817972/243152
42.40/41.15	c cleaning 21996 clauses out of 44009 with flag 901704/266152
46.66/45.34	c cleaning 22997 clauses out of 46013 with flag 1028628/290152
50.89/49.51	c cleaning 24009 clauses out of 48018 with flag 1114375/315154
54.83/53.41	c cleaning 24994 clauses out of 50006 with flag 1195992/341151
59.30/57.85	c cleaning 26002 clauses out of 52013 with flag 1291360/368152
64.68/63.18	c cleaning 27005 clauses out of 54012 with flag 1401342/396153
70.35/68.79	c cleaning 27996 clauses out of 56005 with flag 1514790/425151
75.71/74.02	c cleaning 29000 clauses out of 58009 with flag 1617274/455151
81.19/79.40	c cleaning 29999 clauses out of 60009 with flag 1721725/486151
87.04/85.29	c cleaning 31000 clauses out of 62011 with flag 1821062/518152
93.14/91.20	c cleaning 31992 clauses out of 64010 with flag 1923537/551151
99.01/97.02	c cleaning 33009 clauses out of 66020 with flag 2035741/585153
105.05/102.95	c cleaning 34001 clauses out of 68009 with flag 2147637/620151
111.45/109.25	c cleaning 34988 clauses out of 70008 with flag 2262064/656151
118.14/115.82	c cleaning 36005 clauses out of 72021 with flag 2381757/693152
124.95/122.56	c cleaning 36998 clauses out of 74015 with flag 2501016/731151
131.18/128.67	c cleaning 38006 clauses out of 76017 with flag 2613517/770151
137.47/134.80	c cleaning 39005 clauses out of 78013 with flag 2728810/810153
144.61/141.89	c cleaning 39992 clauses out of 80006 with flag 2852922/851151
153.06/150.12	c cleaning 41002 clauses out of 82014 with flag 2992102/893151
161.59/158.59	c cleaning 42001 clauses out of 84012 with flag 3138556/936151
169.09/165.90	c cleaning 43000 clauses out of 86012 with flag 3287348/980152
176.39/173.13	c cleaning 43980 clauses out of 88012 with flag 3421844/1025152
185.91/182.51	c cleaning 45009 clauses out of 90033 with flag 3580860/1071153
194.97/191.47	c cleaning 46005 clauses out of 92025 with flag 3741565/1118154
204.25/200.53	c cleaning 47002 clauses out of 94017 with flag 3901663/1166151
214.04/210.15	c cleaning 47995 clauses out of 96015 with flag 4072033/1215151
224.89/220.87	c cleaning 49005 clauses out of 98022 with flag 4246103/1265153
235.86/231.61	c cleaning 50000 clauses out of 100016 with flag 4422817/1316152
246.74/242.38	c cleaning 51005 clauses out of 102016 with flag 4609052/1368152
258.09/253.57	c cleaning 51992 clauses out of 104010 with flag 4795975/1421151
267.91/263.27	c cleaning 53006 clauses out of 106019 with flag 4970109/1475152
278.96/274.16	c cleaning 53996 clauses out of 108012 with flag 5158480/1530151
290.67/285.65	c cleaning 54997 clauses out of 110017 with flag 5349061/1586152
302.64/297.45	c cleaning 56004 clauses out of 112020 with flag 5544136/1643152
314.01/308.62	c cleaning 57003 clauses out of 114016 with flag 5738868/1701152
325.52/320.08	c cleaning 58004 clauses out of 116013 with flag 5967960/1760152
337.63/332.00	c cleaning 58994 clauses out of 118009 with flag 6159404/1820152
349.40/343.60	c cleaning 59996 clauses out of 120014 with flag 6338015/1881151
361.67/355.73	c cleaning 61006 clauses out of 122020 with flag 6527488/1943153
374.93/368.87	c cleaning 62006 clauses out of 124013 with flag 6705981/2006152
387.13/380.85	c cleaning 63000 clauses out of 126007 with flag 6892955/2070152
400.74/394.23	c cleaning 63991 clauses out of 128006 with flag 7104360/2135151
414.49/407.77	c cleaning 64994 clauses out of 130016 with flag 7306866/2201152
428.10/421.13	c cleaning 65989 clauses out of 132021 with flag 7512414/2268151
441.54/434.31	c cleaning 67003 clauses out of 134033 with flag 7718528/2336152
457.11/449.76	c cleaning 68007 clauses out of 136030 with flag 7938869/2405152
472.77/465.10	c cleaning 69007 clauses out of 138022 with flag 8169098/2475151
487.26/479.41	c cleaning 70002 clauses out of 140016 with flag 8386654/2546152
501.13/493.03	c cleaning 70997 clauses out of 142013 with flag 8606080/2618151
517.42/509.11	c cleaning 72003 clauses out of 144018 with flag 8841073/2691153
533.42/524.90	c cleaning 72991 clauses out of 146014 with flag 9082446/2765152
549.61/540.93	c cleaning 73997 clauses out of 148022 with flag 9341955/2840151
567.30/558.31	c cleaning 75006 clauses out of 150026 with flag 9568012/2916152
585.81/576.60	c cleaning 76007 clauses out of 152021 with flag 9818989/2993153
602.00/592.50	c cleaning 77000 clauses out of 154014 with flag 10049238/3071153
619.60/609.85	c cleaning 78003 clauses out of 156012 with flag 10298455/3150151
638.50/628.50	c cleaning 78998 clauses out of 158009 with flag 10560904/3230151
656.80/646.53	c cleaning 80002 clauses out of 160011 with flag 10812504/3311151
676.92/666.41	c cleaning 80994 clauses out of 162010 with flag 11074277/3393152
699.11/688.38	c cleaning 81997 clauses out of 164015 with flag 11342810/3476151
720.34/709.20	c cleaning 83003 clauses out of 166019 with flag 11615448/3560152
742.00/730.59	c cleaning 84000 clauses out of 168016 with flag 11900534/3645152
762.77/751.08	c cleaning 85000 clauses out of 170015 with flag 12193615/3731151
787.21/775.09	c cleaning 85983 clauses out of 172015 with flag 12502111/3818151
810.28/797.86	c cleaning 87011 clauses out of 174034 with flag 12792065/3906153
831.32/818.59	c cleaning 88002 clauses out of 176021 with flag 13053635/3995151
853.39/840.24	c cleaning 89007 clauses out of 178019 with flag 13354500/4085151
877.44/863.93	c cleaning 89990 clauses out of 180012 with flag 13648995/4176151
900.16/886.36	c cleaning 91003 clauses out of 182022 with flag 13941586/4268151
923.97/909.76	c cleaning 91993 clauses out of 184020 with flag 14253679/4361152
946.82/932.28	c cleaning 93007 clauses out of 186027 with flag 14551283/4455152
973.71/958.79	c cleaning 94006 clauses out of 188020 with flag 14881936/4550152
999.00/983.78	c cleaning 95001 clauses out of 190014 with flag 15212674/4646152
1023.54/1007.93	c cleaning 95989 clauses out of 192013 with flag 15524241/4743152
1049.40/1033.37	c cleaning 96992 clauses out of 194023 with flag 15857815/4841151
1074.47/1058.07	c cleaning 98002 clauses out of 196031 with flag 16177529/4940151
1099.10/1082.34	c cleaning 99008 clauses out of 198029 with flag 16477928/5040151
1123.17/1106.01	c cleaning 99995 clauses out of 200021 with flag 16788417/5141151
1146.37/1128.84	c cleaning 101009 clauses out of 202026 with flag 17074945/5243151
1174.35/1156.41	c cleaning 102002 clauses out of 204017 with flag 17390042/5346151
1201.96/1183.64	c cleaning 102999 clauses out of 206017 with flag 17729906/5450153
1234.55/1215.79	c cleaning 104001 clauses out of 208017 with flag 18103076/5555152
1264.31/1244.97	c cleaning 104987 clauses out of 210015 with flag 18458500/5661151
1292.60/1272.89	c cleaning 106005 clauses out of 212028 with flag 18789525/5768151
1319.12/1299.09	c cleaning 106996 clauses out of 214023 with flag 19096819/5876151
1347.70/1327.13	c cleaning 108003 clauses out of 216029 with flag 19434971/5985153
1377.82/1356.83	c cleaning 109006 clauses out of 218025 with flag 19795488/6095152
1406.19/1384.84	c cleaning 109992 clauses out of 220018 with flag 20144145/6206151
1439.12/1417.30	c cleaning 111002 clauses out of 222026 with flag 20526991/6318151
1469.86/1447.59	c cleaning 112006 clauses out of 224024 with flag 20904386/6431151
1503.35/1480.54	c cleaning 112995 clauses out of 226019 with flag 21277167/6545152
1531.10/1507.81	c cleaning 113998 clauses out of 228023 with flag 21644993/6660151
1559.49/1535.74	c cleaning 114992 clauses out of 230025 with flag 21970807/6776151
1588.70/1564.57	c cleaning 116009 clauses out of 232033 with flag 22322215/6893151
1619.02/1594.51	c cleaning 117001 clauses out of 234025 with flag 22681038/7011152
1654.19/1629.45	c cleaning 117998 clauses out of 236024 with flag 23044362/7130152
1689.13/1663.91	c cleaning 119000 clauses out of 238025 with flag 23448613/7250151
1723.49/1697.76	c cleaning 119994 clauses out of 240026 with flag 23836420/7371152
1759.04/1732.74	c cleaning 121010 clauses out of 242031 with flag 24236834/7493151
1793.36/1766.56	c cleaning 122007 clauses out of 244021 with flag 24637311/7616151
1800.05/1773.10	c starts		: 15301
1800.05/1773.10	c conflicts		: 7640825
1800.05/1773.10	c decisions		: 18610771
1800.05/1773.10	c propagations		: 889018895
1800.05/1773.10	c inspects		: 20518872832
1800.05/1773.10	c shortcuts		: 0
1800.05/1773.10	c learnt literals	: 0
1800.05/1773.10	c learnt binary clauses	: 0
1800.05/1773.10	c learnt ternary clauses	: 0
1800.05/1773.10	c learnt constraints	: 7640826
1800.05/1773.10	c ignored constraints	: 0
1800.05/1773.10	c root simplifications	: 0
1800.05/1773.10	c removed literals (reason simplification)	: 0
1800.05/1773.10	c reason swapping (by a shorter reason)	: 0
1800.05/1773.10	c Calls to reduceDB	: 119
1800.05/1773.10	c Number of update (reduction) of LBD	: 1477267
1800.05/1773.10	c Imported unit clauses	: 0
1800.05/1773.10	c number of reductions to clauses (during analyze)	: 0
1800.05/1773.10	c number of learned constraints concerned by reduction	: 0
1800.05/1773.10	c number of learning phase by resolution	: 0
1800.05/1773.10	c number of learning phase by cutting planes	: 0
1800.05/1773.10	c speed (assignments/second)	: 501481.5079098706
1800.05/1773.10	c non guided choices	0
1800.05/1773.13	c learnt constraints type 
1800.05/1773.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146689
1800.05/1773.13	s SATISFIABLE
1800.05/1773.13	c Found 2 solution(s)
1800.05/1773.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 x3638 x3639 x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 x3682 x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 
1800.05/1773.14	c objective function=3336192
1800.05/1773.14	c Total wall clock time (in seconds): 1773.028

Verifier Data 

OK	3336192

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-4103200-1466234716/watcher-4103200-1466234716 -o /tmp/evaluation-result-4103200-1466234716/solver-4103200-1466234716 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5895 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103200-1466234716.opb 

pid=11365
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.19 2.23 2.21 3/194 11368
/proc/meminfo: memFree=29798532/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11368/stat : 11368 (java) R 11365 11368 5878 0 -1 4202496 529 0 0 0 0 0 0 0 20 0 1 0 25519889 9515008 182 33554432000 1073741824 1073778376 140735874408864 140735874391592 226084381623 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2323 185 143 9 0 71 0

[startup+0.100162 s]
/proc/loadavg: 2.19 2.23 2.21 3/194 11368
/proc/meminfo: memFree=29798532/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 25519889 9787879424 6045 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2389619 6045 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200318 s]
/proc/loadavg: 2.19 2.23 2.21 3/194 11368
/proc/meminfo: memFree=29798532/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 5055 0 1 0 28 1 0 0 20 0 18 0 25519889 9787879424 6988 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2389619 6988 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 2.19 2.23 2.21 3/194 11368
/proc/meminfo: memFree=29798532/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 7225 0 1 0 54 2 0 0 20 0 18 0 25519889 9787879424 10160 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2389619 10160 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700235 s]
/proc/loadavg: 2.19 2.23 2.21 3/194 11368
/proc/meminfo: memFree=29798532/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 8321 0 1 0 126 2 0 0 20 0 19 0 25519889 9856040960 13678 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 13678 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 2.19 2.23 2.21 3/213 11387
/proc/meminfo: memFree=29744660/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 16278 0 1 0 235 4 0 0 20 0 19 0 25519889 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 23571 2265 9 0 2396937 0
[pid=11368/tid=11370] ppid=11365 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/11368/task/11370/stat : 11370 (java) R 11365 11368 5878 0 -1 4202560 2430 0 1 0 145 2 0 0 20 0 19 0 25519889 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664703367512 140664558394887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11371] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11371/stat : 11371 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664546831400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11372] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11372/stat : 11372 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664545778600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11373] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11373/stat : 11373 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664544725800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11374] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11374/stat : 11374 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664543673000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11375] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11375/stat : 11375 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664542620200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11376] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11376/stat : 11376 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664205470120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11377] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11377/stat : 11377 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664204417320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11378] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11378/stat : 11378 (java) S 11365 11368 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664203364520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11379] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11379/stat : 11379 (java) S 11365 11368 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664191167464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11380] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11380/stat : 11380 (java) S 11365 11368 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664190113528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11381] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11381/stat : 11381 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664189060616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11382] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11382/stat : 11382 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664188009104 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11383] ppid=11365 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11368/task/11383/stat : 11383 (java) S 11365 11368 5878 0 -1 4202560 3819 0 0 0 40 0 0 0 20 0 19 0 25519895 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664186956216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11384] ppid=11365 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/11368/task/11384/stat : 11384 (java) S 11365 11368 5878 0 -1 4202560 8759 0 0 0 46 2 0 0 20 0 19 0 25519895 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664185903416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11385] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11385/stat : 11385 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664184850808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11386] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11386/stat : 11386 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664183798216 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 23571 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10089 s]
/proc/loadavg: 2.17 2.22 2.20 3/213 11387
/proc/meminfo: memFree=29683424/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 16316 0 1 0 397 5 0 0 20 0 19 0 25519889 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 42515 2265 9 0 2396937 0
[pid=11368/tid=11370] ppid=11365 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11368/task/11370/stat : 11370 (java) R 11365 11368 5878 0 -1 4202560 2468 0 1 0 304 2 0 0 20 0 19 0 25519889 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664703369720 140664558028303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11371] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11371/stat : 11371 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664546831400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11372] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11372/stat : 11372 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664545778600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11373] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11373/stat : 11373 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664544725800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11374] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11374/stat : 11374 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664543673000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11375] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11375/stat : 11375 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664542620200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11376] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11376/stat : 11376 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664205470120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11377] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11377/stat : 11377 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664204417320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11378] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11378/stat : 11378 (java) S 11365 11368 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664203364520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11379] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11379/stat : 11379 (java) S 11365 11368 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664191167464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11380] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11380/stat : 11380 (java) S 11365 11368 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664190113528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11381] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11381/stat : 11381 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664189060616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11382] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11382/stat : 11382 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664188009104 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11383] ppid=11365 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/11368/task/11383/stat : 11383 (java) S 11365 11368 5878 0 -1 4202560 3819 0 0 0 42 0 0 0 20 0 19 0 25519895 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664186956216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11384] ppid=11365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/11368/task/11384/stat : 11384 (java) S 11365 11368 5878 0 -1 4202560 8759 0 0 0 48 2 0 0 20 0 19 0 25519895 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664185903416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11385] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11385/stat : 11385 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664184850808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11386] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11386/stat : 11386 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664183798216 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 42515 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.17 2.22 2.20 3/213 11387
/proc/meminfo: memFree=29625400/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=7.28 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 16376 0 1 0 721 7 0 0 20 0 19 0 25519889 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 49446 2279 9 0 2396937 0
[pid=11368/tid=11370] ppid=11365 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/11368/task/11370/stat : 11370 (java) R 11365 11368 5878 0 -1 4202560 2479 0 1 0 621 2 0 0 20 0 19 0 25519889 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664703368536 140664558463837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11371] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11371/stat : 11371 (java) S 11365 11368 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664546831400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11372] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11372/stat : 11372 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664545778600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11373] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11373/stat : 11373 (java) S 11365 11368 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664544725800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11374] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11374/stat : 11374 (java) S 11365 11368 5878 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664543673000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11375] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11375/stat : 11375 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664542620200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11376] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11376/stat : 11376 (java) S 11365 11368 5878 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664205470120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11377] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11377/stat : 11377 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664204417320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11378] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11378/stat : 11378 (java) S 11365 11368 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25519891 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664203364520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11379] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11379/stat : 11379 (java) S 11365 11368 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664191167464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11380] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11380/stat : 11380 (java) S 11365 11368 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664190113528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11381] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11381/stat : 11381 (java) S 11365 11368 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664189060616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11382] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11382/stat : 11382 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664188009104 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11383] ppid=11365 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/11368/task/11383/stat : 11383 (java) S 11365 11368 5878 0 -1 4202560 3819 0 0 0 44 0 0 0 20 0 19 0 25519895 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664186956216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11384] ppid=11365 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/11368/task/11384/stat : 11384 (java) S 11365 11368 5878 0 -1 4202560 8759 0 0 0 49 2 0 0 20 0 19 0 25519895 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664185903416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11385] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11385/stat : 11385 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664184850808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11386] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11386/stat : 11386 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664183798216 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 49446 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9625040


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

[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 78694 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1687.53
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.20 2.25 2.21 3/213 11496
/proc/meminfo: memFree=26798836/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=1748.45 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 48960 0 1 0 174680 165 0 0 20 0 19 0 25519889 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 80793 2288 9 0 2396937 0
[pid=11368/tid=11370] ppid=11365 vsize=9625040 CPUtime=1702.61 cores=1,3,5,7
/proc/11368/task/11370/stat : 11370 (java) R 11365 11368 5878 0 -1 4202560 5072 0 1 0 170229 32 0 0 20 0 19 0 25519889 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664703368480 140664558463837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11371] ppid=11365 vsize=9625040 CPUtime=4.73 cores=1,3,5,7
/proc/11368/task/11371/stat : 11371 (java) S 11365 11368 5878 0 -1 4202560 4615 0 0 0 457 16 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664546831400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11372] ppid=11365 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/11368/task/11372/stat : 11372 (java) S 11365 11368 5878 0 -1 4202560 2851 0 0 0 450 12 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664545778600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11373] ppid=11365 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/11368/task/11373/stat : 11373 (java) S 11365 11368 5878 0 -1 4202560 4556 0 0 0 454 13 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664544725800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11374] ppid=11365 vsize=9625040 CPUtime=4.66 cores=1,3,5,7
/proc/11368/task/11374/stat : 11374 (java) S 11365 11368 5878 0 -1 4202560 2923 0 0 0 451 15 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664543673000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11375] ppid=11365 vsize=9625040 CPUtime=4.66 cores=1,3,5,7
/proc/11368/task/11375/stat : 11375 (java) S 11365 11368 5878 0 -1 4202560 3569 0 0 0 453 13 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664542620200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11376] ppid=11365 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/11368/task/11376/stat : 11376 (java) S 11365 11368 5878 0 -1 4202560 3316 0 0 0 446 16 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664205470120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11377] ppid=11365 vsize=9625040 CPUtime=4.42 cores=1,3,5,7
/proc/11368/task/11377/stat : 11377 (java) S 11365 11368 5878 0 -1 4202560 3776 0 0 0 428 14 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664204417320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11378] ppid=11365 vsize=9625040 CPUtime=4.72 cores=1,3,5,7
/proc/11368/task/11378/stat : 11378 (java) S 11365 11368 5878 0 -1 4202560 3386 0 0 0 456 16 0 0 20 0 19 0 25519891 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664203364520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11379] ppid=11365 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/11368/task/11379/stat : 11379 (java) S 11365 11368 5878 0 -1 4202560 962 0 0 0 322 15 0 0 20 0 19 0 25519892 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664191167464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11380] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11380/stat : 11380 (java) S 11365 11368 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664190113528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11381] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11381/stat : 11381 (java) S 11365 11368 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664189060616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11382] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11382/stat : 11382 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664188009104 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11383] ppid=11365 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/11368/task/11383/stat : 11383 (java) S 11365 11368 5878 0 -1 4202560 3822 0 0 0 45 0 0 0 20 0 19 0 25519895 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664186956216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11384] ppid=11365 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/11368/task/11384/stat : 11384 (java) S 11365 11368 5878 0 -1 4202560 8759 0 0 0 49 2 0 0 20 0 19 0 25519895 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664185903416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11385] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11385/stat : 11385 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664184850808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11386] ppid=11365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/11368/task/11386/stat : 11386 (java) S 11365 11368 5878 0 -1 4202560 97 0 0 0 20 30 0 0 20 0 19 0 25519895 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664183798216 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 80793 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1748.45
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1773.1 s]
/proc/loadavg: 2.19 2.24 2.20 3/213 11497
/proc/meminfo: memFree=26681796/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 50334 0 1 0 179835 170 0 0 20 0 19 0 25519889 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 90013 2288 9 0 2396937 0
[pid=11368/tid=11370] ppid=11365 vsize=9625040 CPUtime=1752.82 cores=1,3,5,7
/proc/11368/task/11370/stat : 11370 (java) R 11365 11368 5878 0 -1 4202560 5095 0 1 0 175249 33 0 0 20 0 19 0 25519889 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664703368512 140664558435999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11371] ppid=11365 vsize=9625040 CPUtime=4.88 cores=1,3,5,7
/proc/11368/task/11371/stat : 11371 (java) S 11365 11368 5878 0 -1 4202560 4776 0 0 0 472 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664546831400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11372] ppid=11365 vsize=9625040 CPUtime=4.78 cores=1,3,5,7
/proc/11368/task/11372/stat : 11372 (java) S 11365 11368 5878 0 -1 4202560 2997 0 0 0 465 13 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664545778600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11373] ppid=11365 vsize=9625040 CPUtime=4.79 cores=1,3,5,7
/proc/11368/task/11373/stat : 11373 (java) S 11365 11368 5878 0 -1 4202560 4567 0 0 0 466 13 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664544725800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11374] ppid=11365 vsize=9625040 CPUtime=4.79 cores=1,3,5,7
/proc/11368/task/11374/stat : 11374 (java) S 11365 11368 5878 0 -1 4202560 3060 0 0 0 463 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664543673000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11375] ppid=11365 vsize=9625040 CPUtime=4.8 cores=1,3,5,7
/proc/11368/task/11375/stat : 11375 (java) S 11365 11368 5878 0 -1 4202560 3997 0 0 0 467 13 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664542620200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11376] ppid=11365 vsize=9625040 CPUtime=4.76 cores=1,3,5,7
/proc/11368/task/11376/stat : 11376 (java) S 11365 11368 5878 0 -1 4202560 3322 0 0 0 460 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664205470120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11377] ppid=11365 vsize=9625040 CPUtime=4.56 cores=1,3,5,7
/proc/11368/task/11377/stat : 11377 (java) S 11365 11368 5878 0 -1 4202560 4019 0 0 0 442 14 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664204417320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11378] ppid=11365 vsize=9625040 CPUtime=4.86 cores=1,3,5,7
/proc/11368/task/11378/stat : 11378 (java) S 11365 11368 5878 0 -1 4202560 3559 0 0 0 470 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664203364520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11379] ppid=11365 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/11368/task/11379/stat : 11379 (java) S 11365 11368 5878 0 -1 4202560 1006 0 0 0 335 15 0 0 20 0 19 0 25519892 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664191167464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11380] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11380/stat : 11380 (java) S 11365 11368 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664190113528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11381] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11381/stat : 11381 (java) S 11365 11368 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664189060616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11382] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11382/stat : 11382 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664188009104 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11383] ppid=11365 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/11368/task/11383/stat : 11383 (java) S 11365 11368 5878 0 -1 4202560 3822 0 0 0 45 0 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664186956216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11384] ppid=11365 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/11368/task/11384/stat : 11384 (java) S 11365 11368 5878 0 -1 4202560 8759 0 0 0 49 2 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664185903416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11385] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11385/stat : 11385 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664184850808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11386] ppid=11365 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/11368/task/11386/stat : 11386 (java) S 11365 11368 5878 0 -1 4202560 99 0 0 0 21 31 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664183798216 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 11368 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1773.1 s]
/proc/loadavg: 2.19 2.24 2.20 3/213 11497
/proc/meminfo: memFree=26681796/32872528 swapFree=1590032/1720848
[pid=11368] ppid=11365 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/11368/stat : 11368 (java) S 11365 11368 5878 0 -1 4202496 50334 0 1 0 179835 170 0 0 20 0 19 0 25519889 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140735874400000 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11368/statm: 2406260 90013 2288 9 0 2396937 0
[pid=11368/tid=11370] ppid=11365 vsize=9625040 CPUtime=1752.82 cores=1,3,5,7
/proc/11368/task/11370/stat : 11370 (java) R 11365 11368 5878 0 -1 4202560 5095 0 1 0 175249 33 0 0 20 0 19 0 25519889 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664703368512 140664558435999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11371] ppid=11365 vsize=9625040 CPUtime=4.88 cores=1,3,5,7
/proc/11368/task/11371/stat : 11371 (java) S 11365 11368 5878 0 -1 4202560 4776 0 0 0 472 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664546831400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11372] ppid=11365 vsize=9625040 CPUtime=4.78 cores=1,3,5,7
/proc/11368/task/11372/stat : 11372 (java) S 11365 11368 5878 0 -1 4202560 2997 0 0 0 465 13 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664545778600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11373] ppid=11365 vsize=9625040 CPUtime=4.79 cores=1,3,5,7
/proc/11368/task/11373/stat : 11373 (java) S 11365 11368 5878 0 -1 4202560 4567 0 0 0 466 13 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664544725800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11374] ppid=11365 vsize=9625040 CPUtime=4.79 cores=1,3,5,7
/proc/11368/task/11374/stat : 11374 (java) S 11365 11368 5878 0 -1 4202560 3060 0 0 0 463 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664543673000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11375] ppid=11365 vsize=9625040 CPUtime=4.8 cores=1,3,5,7
/proc/11368/task/11375/stat : 11375 (java) S 11365 11368 5878 0 -1 4202560 3997 0 0 0 467 13 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664542620200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11376] ppid=11365 vsize=9625040 CPUtime=4.76 cores=1,3,5,7
/proc/11368/task/11376/stat : 11376 (java) S 11365 11368 5878 0 -1 4202560 3322 0 0 0 460 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664205470120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11377] ppid=11365 vsize=9625040 CPUtime=4.56 cores=1,3,5,7
/proc/11368/task/11377/stat : 11377 (java) S 11365 11368 5878 0 -1 4202560 4019 0 0 0 442 14 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664204417320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11368/tid=11378] ppid=11365 vsize=9625040 CPUtime=4.86 cores=1,3,5,7
/proc/11368/task/11378/stat : 11378 (java) S 11365 11368 5878 0 -1 4202560 3559 0 0 0 470 16 0 0 20 0 19 0 25519891 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664203364520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11379] ppid=11365 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/11368/task/11379/stat : 11379 (java) S 11365 11368 5878 0 -1 4202560 1006 0 0 0 335 15 0 0 20 0 19 0 25519892 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664191167464 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11380] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11380/stat : 11380 (java) S 11365 11368 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664190113528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11381] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11381/stat : 11381 (java) S 11365 11368 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25519892 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664189060616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11382] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11382/stat : 11382 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664188009104 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11383] ppid=11365 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/11368/task/11383/stat : 11383 (java) S 11365 11368 5878 0 -1 4202560 3822 0 0 0 45 0 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664186956216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11368/tid=11384] ppid=11365 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/11368/task/11384/stat : 11384 (java) S 11365 11368 5878 0 -1 4202560 8759 0 0 0 49 2 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664185903416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11385] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11385/stat : 11385 (java) S 11365 11368 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664184850808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11368/tid=11386] ppid=11365 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/11368/task/11386/stat : 11386 (java) S 11365 11368 5878 0 -1 4202560 99 0 0 0 21 31 0 0 20 0 19 0 25519895 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664183798216 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11368/tid=11387] ppid=11365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11368/task/11387/stat : 11387 (java) S 11365 11368 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25519921 9856040960 90013 33554432000 1073741824 1073778376 140735874408864 140664182646440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11368 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=268229
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=122677
# CPU time returned by wait4() is 1796.39
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1773.16
CPU time (s): 1800.05
CPU user time (s): 1798.35
CPU system time (s): 1.7
CPU usage (%): 101.517
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 2.12268
maximum resident set size= 455340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50378
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71221
involuntary context switches= 101718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2874 second user time and 9.99648 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-18 09:25:16
IDJOB=4103200
IDBENCH=2295
IDSOLVER=2546
FILE ID=node120/4103200-1466234716
RUNJOBID= node120-1466206086-5895
PBS_JOBID= 19918157
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103200-1466234716/watcher-4103200-1466234716 -o /tmp/evaluation-result-4103200-1466234716/solver-4103200-1466234716 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5895 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103200-1466234716.opb

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

MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920
RANDOM SEED=657502252

node120.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.935
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.87
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.935
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.935
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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.55
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.935
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29798532 kB
Buffers:          118848 kB
Cached:           236880 kB
SwapCached:         1812 kB
Active:           315252 kB
Inactive:         288768 kB
Active(anon):     247496 kB
Inactive(anon):     2776 kB
Active(file):      67756 kB
Inactive(file):   285992 kB
Unevictable:     1720848 kB
Mlocked:         1590032 kB
SwapTotal:      67108856 kB
SwapFree:       67099492 kB
Dirty:               900 kB
Writeback:             0 kB
AnonPages:       1968096 kB
Mapped:            15336 kB
Shmem:                 0 kB
Slab:             614376 kB
SReclaimable:      58180 kB
SUnreclaim:       556196 kB
KernelStack:        1568 kB
PageTables:         7836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2116132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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= 71720 MiB
End job on node120 at 2016-06-18 09:54:49