Trace number 3718075

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.92 1790.57

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM757312960b1468f2853dd7cd5a4d6fc6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark2.95155
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints127
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 6095
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6094
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.03/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.29	c See www.sat4j.org for details.
0.03/0.29	c version 2.3.2.v20120528
0.03/0.29	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.29	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.29	c java.vm.version	19.1-b02
0.03/0.29	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.29	c sun.arch.data.model	64
0.03/0.29	c java.version		1.6.0_24
0.03/0.29	c os.name		Linux
0.03/0.29	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.29	c os.arch		amd64
0.03/0.29	c Free memory 		501472288
0.03/0.29	c Max memory 		7480803328
0.03/0.29	c Total memory 		504102912
0.03/0.29	c Number of processors 	8
0.10/0.33	c Pseudo Boolean Optimization by upper bound
0.10/0.33	c --- Begin Solver configuration ---
0.10/0.33	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.33	c Learn all clauses as in MiniSAT
0.10/0.33	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.33	c No reason simplification
0.10/0.33	c Armin Biere (Picosat) restarts strategy
0.10/0.33	c Glucose 2 learned constraints deletion strategy
0.10/0.33	c timeout=2147483s
0.10/0.33	c DB Simplification allowed=false
0.10/0.33	c --- End Solver configuration ---
0.10/0.33	c solving HOME/instance-3718075-1338248715.wbo
0.10/0.33	c reading problem ... 
0.24/0.47	c ... done. Wall clock time 0.147s.
0.24/0.47	c declared #vars     4000
0.24/0.47	c internal #vars     4127
0.24/0.47	c #constraints  180
0.24/0.47	c constraints type 
0.24/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.24/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.24/0.47	c ignored satisfied constraints => 1
0.24/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 58
0.24/0.47	c 181 constraints processed.
0.24/0.47	c objective function length is 127 literals
0.76/0.69	c SATISFIABLE
0.76/0.69	c OPTIMIZING...
0.76/0.69	c Got one! Elapsed wall clock time (in seconds):0.365
0.76/0.69	o 201
1.06/0.73	c Got one! Elapsed wall clock time (in seconds):0.405
1.06/0.73	o 160
1.06/0.77	c Got one! Elapsed wall clock time (in seconds):0.447
1.06/0.77	o 79
1.25/0.81	c Got one! Elapsed wall clock time (in seconds):0.486
1.25/0.81	o 62
1.25/0.87	c Got one! Elapsed wall clock time (in seconds):0.542
1.25/0.87	o 57
1.43/0.94	c Got one! Elapsed wall clock time (in seconds):0.614
1.43/0.94	o 51
1.65/1.12	c Got one! Elapsed wall clock time (in seconds):0.789
1.65/1.12	o 48
1.84/1.34	c Got one! Elapsed wall clock time (in seconds):1.015
1.84/1.34	o 39
1.94/1.40	c Got one! Elapsed wall clock time (in seconds):1.076
1.94/1.40	o 35
2.04/1.56	c cleaning 4877 clauses out of 9762 with flag 6883/9762
2.30/1.73	c Got one! Elapsed wall clock time (in seconds):1.402
2.30/1.73	o 30
2.50/1.91	c Got one! Elapsed wall clock time (in seconds):1.585
2.50/1.91	o 24
2.50/1.96	c Got one! Elapsed wall clock time (in seconds):1.629
2.50/1.96	o 15
2.71/2.16	c Got one! Elapsed wall clock time (in seconds):1.834
2.71/2.16	o 13
2.90/2.32	c cleaning 6275 clauses out of 12566 with flag 6240/17443
3.32/2.70	c Got one! Elapsed wall clock time (in seconds):2.373
3.32/2.70	o 11
3.44/2.88	c cleaning 5903 clauses out of 11818 with flag 12153/22970
3.90/3.28	c Got one! Elapsed wall clock time (in seconds):2.949
3.90/3.28	o 10
4.39/3.77	c Got one! Elapsed wall clock time (in seconds):3.442
4.39/3.77	o 9
4.49/3.88	c cleaning 8240 clauses out of 16493 with flag 6772/33548
5.13/4.44	c cleaning 7117 clauses out of 14253 with flag 47524/39548
5.95/5.24	c cleaning 7062 clauses out of 14139 with flag 83612/46551
6.65/5.92	c cleaning 7520 clauses out of 15075 with flag 133912/54549
7.57/6.85	c cleaning 8238 clauses out of 16554 with flag 196849/63548
9.09/8.35	c cleaning 9127 clauses out of 18316 with flag 268555/73548
10.41/9.65	c cleaning 10063 clauses out of 20190 with flag 336920/84549
11.74/10.91	c cleaning 11035 clauses out of 22126 with flag 418031/96548
13.44/12.68	c cleaning 12028 clauses out of 24092 with flag 515570/109549
14.95/14.20	c cleaning 13007 clauses out of 26064 with flag 604805/123549
17.29/16.48	c cleaning 14002 clauses out of 28056 with flag 705925/138548
19.70/18.85	c cleaning 15013 clauses out of 30057 with flag 836207/154551
23.22/22.38	c cleaning 16005 clauses out of 32047 with flag 968994/171554
25.23/24.38	c cleaning 17008 clauses out of 34037 with flag 1090637/189549
27.98/27.09	c cleaning 17997 clauses out of 36029 with flag 1233518/208549
32.30/31.32	c cleaning 19005 clauses out of 38033 with flag 1374559/228550
36.35/35.37	c cleaning 20007 clauses out of 40027 with flag 1567995/249549
39.08/38.09	c cleaning 20996 clauses out of 42020 with flag 1752423/271549
42.42/41.38	c cleaning 21994 clauses out of 44024 with flag 1909910/294549
46.32/45.17	c cleaning 22997 clauses out of 46029 with flag 2084869/318548
52.65/51.45	c cleaning 24003 clauses out of 48033 with flag 2331436/343549
57.67/56.47	c cleaning 25006 clauses out of 50031 with flag 2589240/369550
62.71/61.41	c cleaning 25999 clauses out of 52023 with flag 2825686/396548
66.87/65.50	c cleaning 27004 clauses out of 54024 with flag 3040430/424548
71.85/70.42	c cleaning 27999 clauses out of 56023 with flag 3295541/453551
78.77/77.31	c cleaning 28998 clauses out of 58021 with flag 3516430/483548
88.62/87.16	c cleaning 30003 clauses out of 60023 with flag 3788896/514548
94.31/92.72	c cleaning 31004 clauses out of 62023 with flag 4092860/546551
101.65/100.02	c cleaning 32002 clauses out of 64018 with flag 4424933/579550
106.28/104.67	c cleaning 32996 clauses out of 66014 with flag 4699707/613548
113.15/111.47	c cleaning 33991 clauses out of 68018 with flag 4976313/648548
120.33/118.59	c cleaning 35001 clauses out of 70028 with flag 5278756/684549
130.30/128.46	c cleaning 35996 clauses out of 72028 with flag 5622776/721550
140.85/138.95	c cleaning 36994 clauses out of 74031 with flag 5979321/759549
148.08/146.11	c cleaning 38006 clauses out of 76036 with flag 6334992/798548
157.13/155.14	c cleaning 38998 clauses out of 78030 with flag 6668718/838548
165.07/163.06	c cleaning 39996 clauses out of 80034 with flag 7042412/879550
172.00/169.91	c cleaning 41012 clauses out of 82036 with flag 7351028/921548
182.10/179.98	c cleaning 41999 clauses out of 84024 with flag 7725609/964548
192.70/190.49	c cleaning 42999 clauses out of 86025 with flag 8141616/1008548
204.08/201.77	c cleaning 43996 clauses out of 88027 with flag 8540126/1053549
213.92/211.56	c cleaning 44997 clauses out of 90031 with flag 8937198/1099549
227.50/225.09	c cleaning 46003 clauses out of 92033 with flag 9391311/1146548
238.58/236.02	c cleaning 47000 clauses out of 94032 with flag 9836943/1194550
254.13/251.57	c cleaning 47990 clauses out of 96030 with flag 10243114/1243548
268.61/265.97	c cleaning 49000 clauses out of 98043 with flag 10676538/1293551
278.47/275.79	c cleaning 50008 clauses out of 100040 with flag 11097932/1344548
288.56/285.77	c cleaning 50993 clauses out of 102032 with flag 11516354/1396548
302.69/299.75	c cleaning 52007 clauses out of 104039 with flag 11962925/1449548
320.08/317.01	c cleaning 52991 clauses out of 106032 with flag 12523605/1503548
337.49/334.28	c cleaning 54003 clauses out of 108041 with flag 13049256/1558548
362.82/359.45	c cleaning 55008 clauses out of 110040 with flag 13593697/1614550
379.31/375.80	c cleaning 55983 clauses out of 112031 with flag 14186737/1671549
398.68/395.12	c cleaning 57004 clauses out of 114049 with flag 14857938/1729550
413.77/410.12	c cleaning 57996 clauses out of 116043 with flag 15536337/1788548
433.88/430.19	c cleaning 59004 clauses out of 118047 with flag 16223939/1848548
452.96/449.14	c cleaning 60004 clauses out of 120044 with flag 17072378/1909549
472.25/468.30	c cleaning 61005 clauses out of 122039 with flag 17881084/1971548
484.23/480.25	c cleaning 62009 clauses out of 124035 with flag 18448644/2034549
500.41/496.34	c cleaning 62973 clauses out of 126026 with flag 19034827/2098549
522.60/518.42	c cleaning 64009 clauses out of 128052 with flag 19587424/2163548
542.00/537.75	c cleaning 65008 clauses out of 130045 with flag 20201115/2229550
563.21/558.89	c cleaning 65996 clauses out of 132035 with flag 20828083/2296548
590.11/585.69	c cleaning 66997 clauses out of 134040 with flag 21480062/2364549
617.50/612.90	c cleaning 67996 clauses out of 136042 with flag 22166573/2433548
648.03/643.10	c cleaning 69005 clauses out of 138046 with flag 22885676/2503548
673.66/668.70	c cleaning 70003 clauses out of 140043 with flag 23631313/2574550
705.55/700.29	c cleaning 70973 clauses out of 142040 with flag 24410643/2646550
731.87/726.51	c cleaning 72016 clauses out of 144067 with flag 25078976/2719550
761.69/756.21	c cleaning 73004 clauses out of 146049 with flag 25849506/2793548
790.42/784.87	c cleaning 74005 clauses out of 148048 with flag 26619891/2868551
818.11/812.46	c cleaning 75005 clauses out of 150042 with flag 27442682/2944550
837.50/831.71	c cleaning 75979 clauses out of 152038 with flag 28123151/3021551
857.24/851.34	c cleaning 77017 clauses out of 154059 with flag 28828690/3099551
883.66/877.68	c cleaning 77991 clauses out of 156039 with flag 29629416/3178548
924.41/918.24	c cleaning 78982 clauses out of 158049 with flag 30340703/3258549
954.64/948.30	c cleaning 80022 clauses out of 160068 with flag 31173506/3339550
995.70/989.25	c cleaning 81011 clauses out of 162044 with flag 31978916/3421548
1029.33/1022.76	c cleaning 81990 clauses out of 164036 with flag 32722469/3504551
1085.88/1079.12	c cleaning 82990 clauses out of 166045 with flag 33492898/3588550
1121.21/1114.36	c cleaning 84003 clauses out of 168055 with flag 34300142/3673550
1159.35/1152.38	c cleaning 85020 clauses out of 170060 with flag 35255405/3759558
1196.80/1189.66	c cleaning 86006 clauses out of 172031 with flag 36219939/3846549
1243.79/1236.41	c cleaning 87001 clauses out of 174025 with flag 37279543/3934549
1271.04/1263.52	c cleaning 87996 clauses out of 176023 with flag 38235650/4023548
1308.66/1301.03	c cleaning 89005 clauses out of 178028 with flag 39156458/4113549
1348.51/1340.76	c cleaning 89997 clauses out of 180022 with flag 40125050/4204548
1400.06/1392.16	c cleaning 91003 clauses out of 182027 with flag 41155827/4296550
1442.14/1434.06	c cleaning 91999 clauses out of 184022 with flag 42235322/4389548
1499.88/1491.67	c cleaning 93001 clauses out of 186024 with flag 43222439/4483549
1520.73/1512.32	c cleaning 94000 clauses out of 188022 with flag 44015027/4578548
1558.11/1549.53	c cleaning 94984 clauses out of 190022 with flag 44809838/4674548
1607.47/1598.77	c cleaning 96003 clauses out of 192038 with flag 45981715/4771548
1649.15/1640.27	c cleaning 97004 clauses out of 194035 with flag 47033440/4869548
1684.21/1675.18	c cleaning 98000 clauses out of 196033 with flag 47931718/4968550
1736.08/1726.81	c cleaning 98998 clauses out of 198031 with flag 48887797/5068548
1774.73/1765.37	c cleaning 100002 clauses out of 200033 with flag 49884073/5169548
1800.08/1790.51	c starts		: 290
1800.08/1790.51	c conflicts		: 5243674
1800.08/1790.51	c decisions		: 6885406
1800.08/1790.51	c propagations		: 242324907
1800.08/1790.51	c inspects		: 20016726527
1800.08/1790.51	c shortcuts		: 0
1800.08/1790.51	c learnt literals	: 0
1800.08/1790.51	c learnt binary clauses	: 0
1800.08/1790.51	c learnt ternary clauses	: 0
1800.08/1790.51	c learnt constraints	: 5243674
1800.08/1790.51	c ignored constraints	: 0
1800.08/1790.51	c root simplifications	: 0
1800.08/1790.51	c removed literals (reason simplification)	: 0
1800.08/1790.51	c reason swapping (by a shorter reason)	: 0
1800.08/1790.51	c Calls to reduceDB	: 100
1800.08/1790.51	c Number of update (reduction) of LBD	: 3223475
1800.08/1790.51	c number of reductions to clauses (during analyze)	: 0
1800.08/1790.51	c number of learned constraints concerned by reduction	: 0
1800.08/1790.51	c number of learning phase by resolution	: 0
1800.08/1790.51	c number of learning phase by cutting planes	: 0
1800.08/1790.51	c speed (assignments/second)	: 135375.2312818152
1800.08/1790.51	c non guided choices	195694
1800.08/1790.54	c learnt constraints type 
1800.08/1790.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 174202
1800.08/1790.54	c constraints type 
1800.08/1790.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.08/1790.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.08/1790.54	c ignored satisfied constraints => 1
1800.08/1790.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 59
1800.08/1790.54	c 182 constraints processed.
1800.08/1790.54	s SATISFIABLE
1800.08/1790.55	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 
1800.08/1790.55	c objective function=9
1800.08/1790.55	c Total wall clock time (in seconds): 1790.227

Verifier Data

OK	9

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718075-1338248715/watcher-3718075-1338248715 -o /tmp/evaluation-result-3718075-1338248715/solver-3718075-1338248715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718075-1338248715.wbo 

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: 1.00 1.02 1.50 4/175 32708
/proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/32708/stat : 32708 (runsolver) D 32704 32708 30566 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 290998880 12095488 55 33554432000 4194304 5436572 140737286580752 140737286576632 5057063 0 0 4096 24578 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 2953 55 36 304 0 2645 0

[startup+0.0149651 s]
/proc/loadavg: 1.00 1.02 1.50 4/175 32708
/proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/32708/stat : 32708 (java) D 32704 32708 30566 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 290998880 3653632 48 33554432000 1073741824 1073778376 140734996119392 140734996116488 219504803472 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/32708/statm: 892 48 37 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568

[startup+0.10017 s]
/proc/loadavg: 1.00 1.02 1.50 4/175 32708
/proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/32708/stat : 32708 (java) D 32704 32708 30566 0 -1 4202496 1064 0 15 0 0 0 0 0 20 0 1 0 290998880 23793664 806 33554432000 1073741824 1073778376 140736147729856 140736147719848 140629020627728 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 7 0 0
/proc/32708/statm: 5809 806 599 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.300142 s]
/proc/loadavg: 1.00 1.02 1.50 4/175 32708
/proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 4222 0 28 0 8 2 0 0 20 0 18 0 290998880 9787817984 5437 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2389604 5437 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.700155 s]
/proc/loadavg: 1.00 1.02 1.50 4/175 32708
/proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=1.06 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 10680 0 28 0 103 3 0 0 20 0 19 0 290998880 9855979520 11705 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 11705 2234 9 0 2396937 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9624980

[startup+1.50069 s]
/proc/loadavg: 1.00 1.02 1.50 4/213 32746
/proc/meminfo: memFree=30585740/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=2.04 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 11080 0 28 0 200 4 0 0 20 0 19 0 290998880 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 15830 2241 9 0 2396937 0
[pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1.25 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 2459 0 7 0 123 2 0 0 20 0 19 0 290998892 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140629014983352 140628856425519 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0
[pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290998898 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2781 0 1 0 38 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4662 0 1 0 36 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9624980

[startup+3.10065 s]
/proc/loadavg: 1.00 1.02 1.50 4/213 32746
/proc/meminfo: memFree=30533548/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=3.79 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 11199 0 28 0 375 4 0 0 20 0 19 0 290998880 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 25124 2267 9 0 2396937 0
[pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=2.8 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 2463 0 7 0 278 2 0 0 20 0 19 0 290998892 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856405589 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0
[pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 290998898 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4686 0 1 0 44 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9624980

[startup+6.30066 s]
/proc/loadavg: 1.08 1.03 1.50 4/213 32746
/proc/meminfo: memFree=30498500/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=7.07 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 11228 0 28 0 702 5 0 0 20 0 19 0 290998880 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 27901 2267 9 0 2396937 0
[pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=5.89 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 2468 0 7 0 586 3 0 0 20 0 19 0 290998892 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856425504 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0
[pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 40 0 0 0 10 0 0 0 20 0 19 0 290998898 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4686 0 1 0 44 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.4 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 420 0 0 0 132 8 0 0 20 0 19 0 290998894 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 134 9 0 0 20 0 19 0 290998894 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.54 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 144 10 0 0 20 0 19 0 290998894 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=7.87 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 842 0 0 0 784 3 0 0 20 0 19 0 290998898 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 99 0 0 0 30 38 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.57
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/213 317
/proc/meminfo: memFree=29074948/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=1791.87 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 16928 0 28 0 179077 110 0 0 20 0 19 0 290998880 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 211745 2268 9 0 2396937 0
[pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1770.6 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 3114 0 7 0 177028 32 0 0 20 0 19 0 290998892 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856494103 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0
[pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=1.6 cores=1,3,5,7
/proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 642 0 0 0 150 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 480 0 0 0 136 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 390 0 0 0 133 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=1.56 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 662 0 0 0 148 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 477 0 0 0 132 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 424 0 0 0 136 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.47 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 138 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.59 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 149 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=8.16 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 846 0 0 0 813 3 0 0 20 0 19 0 290998898 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1791.87
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/193 320
/proc/meminfo: memFree=29816992/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 16928 0 28 0 179897 111 0 0 20 0 19 0 290998880 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 211745 2268 9 0 2396937 0
[pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1778.8 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 3114 0 7 0 177847 33 0 0 20 0 19 0 290998892 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856494103 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0
[pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=1.6 cores=1,3,5,7
/proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 642 0 0 0 150 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 480 0 0 0 136 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 390 0 0 0 133 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=1.56 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 662 0 0 0 148 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 477 0 0 0 132 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 424 0 0 0 136 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.47 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 138 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.59 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 149 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=8.16 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 846 0 0 0 813 3 0 0 20 0 19 0 290998898 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980

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

Solver just ended. Dumping a history of the last processes samples

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/193 320
/proc/meminfo: memFree=29816992/32873648 swapFree=7116/7116
[pid=32708] ppid=32704 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 16928 0 28 0 179897 111 0 0 20 0 19 0 290998880 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/32708/statm: 2406245 211745 2268 9 0 2396937 0
[pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1778.8 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 3114 0 7 0 177847 33 0 0 20 0 19 0 290998892 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856494103 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0
[pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=1.6 cores=1,3,5,7
/proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 642 0 0 0 150 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 480 0 0 0 136 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 390 0 0 0 133 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=1.56 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 662 0 0 0 148 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 477 0 0 0 132 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 424 0 0 0 136 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.47 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 138 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.59 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 149 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=8.16 cores=1,3,5,7
/proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 846 0 0 0 813 3 0 0 20 0 19 0 290998898 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980

Child status: 143
Real time (s): 1790.57
CPU time (s): 1800.92
CPU user time (s): 1799.29
CPU system time (s): 1.62975
CPU usage (%): 100.578
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 1.62975
maximum resident set size= 847144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16974
page faults= 28
swaps= 0
block input operations= 11176
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40918
involuntary context switches= 21336

runsolver used 6.51001 second user time and 14.8827 second system time

The end

Launcher Data

Begin job on node114 at 2012-05-29 01:45:15
IDJOB=3718075
IDBENCH=78671
IDSOLVER=2301
FILE ID=node114/3718075-1338248715
RUNJOBID= node114-1338248715-32682
PBS_JOBID= 14624648
Free space on /tmp= 71464 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718075-1338248715/watcher-3718075-1338248715 -o /tmp/evaluation-result-3718075-1338248715/solver-3718075-1338248715 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718075-1338248715.wbo

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

MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6
RANDOM SEED=979839455

node114.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.242
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	: 5332.48
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.242
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	: 5331.91
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.242
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	: 5451.90
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30680756 kB
Buffers:          844360 kB
Cached:           404440 kB
SwapCached:         2244 kB
Active:          1250700 kB
Inactive:          13640 kB
Active(anon):        516 kB
Inactive(anon):     9776 kB
Active(file):    1250184 kB
Inactive(file):     3864 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103568 kB
Dirty:               800 kB
Writeback:             0 kB
AnonPages:         12892 kB
Mapped:            10108 kB
Shmem:               104 kB
Slab:             790452 kB
SReclaimable:     234412 kB
SUnreclaim:       556040 kB
KernelStack:        1376 kB
PageTables:         3932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71464 MiB
End job on node114 at 2012-05-29 02:15:08