Trace number 3710917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)52 1800.06 1796.38

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
MD5SUM6e9753dce198ef5ddba763a137b390c4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.81972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3973
Total number of constraints11097
Number of constraints which are clauses11097
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1906
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1906
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1906
Number of bits of the biggest sum of numbers11
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.05/0.09	c version 2.3.2.v20120418
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		501472288
0.05/0.09	c Max memory 		7480803328
0.05/0.09	c Total memory 		504102912
0.05/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=true
0.08/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3710917-1338159323.opb
0.08/0.12	c reading problem ... 
0.48/0.38	c ... done. Wall clock time 0.253s.
0.48/0.38	c declared #vars     3973
0.48/0.38	c #constraints  11082
0.48/0.38	c constraints type 
0.48/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071
0.48/0.38	c ignored satisfied constraints => 15
0.48/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 109
0.48/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8902
0.48/0.38	c 11097 constraints processed.
0.72/0.44	c SATISFIABLE
0.72/0.44	c OPTIMIZING...
0.72/0.44	c Got one! Elapsed wall clock time (in seconds):0.32
0.72/0.44	o 61
1.42/0.72	c Got one! Elapsed wall clock time (in seconds):0.594
1.42/0.72	o 60
1.65/0.92	c Got one! Elapsed wall clock time (in seconds):0.8
1.65/0.92	o 59
1.65/0.98	c Got one! Elapsed wall clock time (in seconds):0.86
1.65/0.98	o 58
2.43/1.63	c Got one! Elapsed wall clock time (in seconds):1.508
2.43/1.63	o 57
2.88/2.04	c Got one! Elapsed wall clock time (in seconds):1.918
2.88/2.04	o 56
3.09/2.27	c Got one! Elapsed wall clock time (in seconds):2.15
3.09/2.27	o 55
3.71/2.88	c cleaning 3848 clauses out of 7703 with flag 2000/7703
5.17/4.25	c Got one! Elapsed wall clock time (in seconds):4.127
5.17/4.25	o 54
5.48/4.52	c cleaning 4861 clauses out of 9730 with flag 1000/13578
7.08/6.18	c cleaning 5426 clauses out of 10870 with flag 7001/19579
9.00/8.08	c cleaning 6206 clauses out of 12443 with flag 14000/26578
11.24/10.25	c cleaning 7115 clauses out of 14237 with flag 22000/34578
13.84/12.80	c cleaning 8055 clauses out of 16122 with flag 31000/43578
15.74/14.75	c Got one! Elapsed wall clock time (in seconds):14.624
15.74/14.75	o 53
17.04/16.06	c cleaning 10482 clauses out of 20992 with flag 5000/56503
18.66/17.67	c cleaning 8247 clauses out of 16510 with flag 11000/62503
20.46/19.48	c cleaning 7624 clauses out of 15264 with flag 18001/69504
22.46/21.45	c cleaning 7815 clauses out of 15639 with flag 26000/77503
23.97/22.94	c Got one! Elapsed wall clock time (in seconds):22.815
23.97/22.94	o 52
24.27/23.20	c cleaning 6856 clauses out of 13736 with flag 1000/83415
25.68/24.68	c cleaning 6434 clauses out of 12881 with flag 7001/89416
27.68/26.60	c cleaning 6711 clauses out of 13446 with flag 14000/96415
29.69/28.68	c cleaning 7357 clauses out of 14735 with flag 22000/104415
32.08/31.00	c cleaning 8180 clauses out of 16378 with flag 31000/113415
34.80/33.79	c cleaning 9078 clauses out of 18198 with flag 41000/123415
37.89/36.89	c cleaning 10055 clauses out of 20122 with flag 52002/134417
41.60/40.52	c cleaning 11024 clauses out of 22065 with flag 64000/146415
45.30/44.20	c cleaning 12006 clauses out of 24041 with flag 77000/159415
49.01/47.90	c cleaning 13006 clauses out of 26035 with flag 91000/173415
53.02/51.98	c cleaning 14010 clauses out of 28031 with flag 106002/188417
57.23/56.17	c cleaning 15000 clauses out of 30019 with flag 122000/204415
61.13/60.04	c cleaning 16003 clauses out of 32019 with flag 139000/221415
65.23/64.12	c cleaning 16988 clauses out of 34016 with flag 157000/239415
70.44/69.39	c cleaning 18005 clauses out of 36028 with flag 176000/258415
75.65/74.58	c cleaning 19007 clauses out of 38023 with flag 196000/278415
80.96/79.81	c cleaning 20005 clauses out of 40018 with flag 217002/299417
87.07/85.94	c cleaning 21000 clauses out of 42012 with flag 239001/321416
92.87/91.72	c cleaning 21998 clauses out of 44012 with flag 262001/344416
99.28/98.18	c cleaning 22992 clauses out of 46013 with flag 286000/368415
106.69/105.56	c cleaning 23999 clauses out of 48021 with flag 311000/393415
114.12/112.94	c cleaning 25008 clauses out of 50023 with flag 337001/419416
121.86/120.67	c cleaning 25979 clauses out of 52014 with flag 364000/446415
127.69/126.43	c cleaning 27010 clauses out of 54035 with flag 392000/474415
134.49/133.25	c cleaning 28000 clauses out of 56025 with flag 421000/503415
142.80/141.54	c cleaning 29008 clauses out of 58029 with flag 451004/533419
152.43/151.12	c cleaning 29999 clauses out of 60017 with flag 482000/564415
160.33/159.04	c cleaning 30998 clauses out of 62018 with flag 514000/596415
169.97/168.61	c cleaning 31999 clauses out of 64020 with flag 547000/629415
179.50/178.15	c cleaning 32996 clauses out of 66021 with flag 581000/663415
189.01/187.60	c cleaning 33993 clauses out of 68025 with flag 616000/698415
198.73/197.31	c cleaning 35011 clauses out of 70034 with flag 652002/734417
209.76/208.35	c cleaning 35999 clauses out of 72021 with flag 689000/771415
220.31/218.82	c cleaning 37003 clauses out of 74024 with flag 727002/809417
231.14/229.63	c cleaning 38000 clauses out of 76019 with flag 766000/848415
242.75/241.24	c cleaning 39004 clauses out of 78020 with flag 806001/888416
254.48/252.95	c cleaning 39999 clauses out of 80015 with flag 847000/929415
265.80/264.27	c cleaning 40986 clauses out of 82016 with flag 889000/971415
276.71/275.12	c cleaning 42011 clauses out of 84030 with flag 932000/1014415
290.12/288.58	c cleaning 43004 clauses out of 86020 with flag 976001/1058416
303.53/301.95	c cleaning 43988 clauses out of 88015 with flag 1021000/1103415
317.25/315.67	c cleaning 44988 clauses out of 90027 with flag 1067000/1149415
331.05/329.48	c cleaning 46010 clauses out of 92039 with flag 1114000/1196415
344.08/342.46	c cleaning 47006 clauses out of 94029 with flag 1162000/1244415
357.51/355.89	c cleaning 48007 clauses out of 96023 with flag 1211000/1293415
371.46/369.75	c cleaning 49000 clauses out of 98016 with flag 1261000/1343415
385.37/383.68	c cleaning 49995 clauses out of 100016 with flag 1312000/1394415
399.11/397.36	c cleaning 51001 clauses out of 102022 with flag 1364001/1446416
414.62/412.83	c cleaning 51997 clauses out of 104021 with flag 1417001/1499416
428.14/426.38	c cleaning 53001 clauses out of 106023 with flag 1471000/1553415
443.97/442.20	c cleaning 54000 clauses out of 108023 with flag 1526001/1608416
456.59/454.73	c cleaning 55003 clauses out of 110024 with flag 1582002/1664417
469.01/467.18	c cleaning 55993 clauses out of 112019 with flag 1639000/1721415
483.45/481.54	c cleaning 57000 clauses out of 114027 with flag 1697001/1779416
499.95/498.06	c cleaning 58006 clauses out of 116027 with flag 1756001/1838416
517.18/515.29	c cleaning 58995 clauses out of 118021 with flag 1816001/1898416
534.92/532.93	c cleaning 60004 clauses out of 120026 with flag 1877001/1959416
552.63/550.68	c cleaning 61006 clauses out of 122022 with flag 1939001/2021416
571.66/569.70	c cleaning 62003 clauses out of 124016 with flag 2002001/2084416
590.39/588.35	c cleaning 62993 clauses out of 126012 with flag 2066000/2148415
610.51/608.47	c cleaning 63996 clauses out of 128019 with flag 2131000/2213415
630.34/628.29	c cleaning 64998 clauses out of 130023 with flag 2197000/2279415
648.57/646.44	c cleaning 66007 clauses out of 132025 with flag 2264000/2346415
667.82/665.65	c cleaning 67000 clauses out of 134018 with flag 2332000/2414415
686.74/684.52	c cleaning 68003 clauses out of 136019 with flag 2401001/2483416
705.16/702.93	c cleaning 68992 clauses out of 138016 with flag 2471001/2553416
723.59/721.36	c cleaning 70001 clauses out of 140024 with flag 2542001/2624416
747.61/745.32	c cleaning 71003 clauses out of 142022 with flag 2614000/2696415
776.43/774.12	c cleaning 71999 clauses out of 144019 with flag 2687000/2769415
805.56/803.22	c cleaning 72999 clauses out of 146020 with flag 2761000/2843415
830.70/828.38	c cleaning 74005 clauses out of 148021 with flag 2836000/2918415
860.74/858.36	c cleaning 75001 clauses out of 150016 with flag 2912000/2994415
882.67/880.28	c cleaning 75994 clauses out of 152015 with flag 2989000/3071415
902.29/899.86	c cleaning 76998 clauses out of 154022 with flag 3067001/3149416
923.80/921.32	c cleaning 77993 clauses out of 156023 with flag 3146000/3228415
946.03/943.59	c cleaning 79009 clauses out of 158030 with flag 3226000/3308415
971.25/968.78	c cleaning 79999 clauses out of 160021 with flag 3307000/3389415
994.68/992.16	c cleaning 81000 clauses out of 162022 with flag 3389000/3471415
1020.91/1018.32	c cleaning 82006 clauses out of 164024 with flag 3472002/3554417
1044.76/1042.19	c cleaning 82991 clauses out of 166016 with flag 3556000/3638415
1067.19/1064.54	c cleaning 83987 clauses out of 168026 with flag 3641001/3723416
1092.13/1089.48	c cleaning 84992 clauses out of 170038 with flag 3727000/3809415
1118.40/1115.61	c cleaning 85996 clauses out of 172046 with flag 3814000/3896415
1141.93/1139.13	c cleaning 87004 clauses out of 174052 with flag 3902002/3984417
1169.28/1166.49	c cleaning 87992 clauses out of 176048 with flag 3991002/4073417
1199.51/1196.66	c cleaning 89002 clauses out of 178054 with flag 4081000/4163415
1228.64/1225.76	c cleaning 90003 clauses out of 180052 with flag 4172000/4254415
1258.38/1255.48	c cleaning 91015 clauses out of 182050 with flag 4264001/4346416
1288.79/1285.88	c cleaning 91998 clauses out of 184035 with flag 4357001/4439416
1315.92/1312.97	c cleaning 93003 clauses out of 186036 with flag 4451000/4533415
1339.05/1336.03	c cleaning 94007 clauses out of 188034 with flag 4546001/4628416
1364.60/1361.59	c cleaning 95002 clauses out of 190026 with flag 4642000/4724415
1391.02/1387.94	c cleaning 96000 clauses out of 192024 with flag 4739000/4821415
1417.86/1414.74	c cleaning 97001 clauses out of 194024 with flag 4837000/4919415
1448.21/1445.04	c cleaning 98007 clauses out of 196025 with flag 4936002/5018417
1478.16/1474.92	c cleaning 99001 clauses out of 198016 with flag 5036000/5118415
1505.36/1502.02	c cleaning 99995 clauses out of 200015 with flag 5137000/5219415
1536.68/1533.33	c cleaning 101001 clauses out of 202020 with flag 5239000/5321415
1566.93/1563.55	c cleaning 101988 clauses out of 204019 with flag 5342000/5424415
1595.77/1592.36	c cleaning 103008 clauses out of 206031 with flag 5446000/5528415
1620.53/1617.07	c cleaning 104000 clauses out of 208023 with flag 5551000/5633415
1656.08/1652.52	c cleaning 105002 clauses out of 210023 with flag 5657000/5739415
1687.00/1683.44	c cleaning 106005 clauses out of 212021 with flag 5764000/5846415
1717.95/1714.32	c cleaning 106997 clauses out of 214016 with flag 5872000/5954415
1748.99/1745.32	c cleaning 107984 clauses out of 216019 with flag 5981000/6063415
1783.02/1779.30	c cleaning 109005 clauses out of 218035 with flag 6091000/6173415
1800.06/1796.32	c starts		: 286
1800.06/1796.32	c conflicts		: 6235796
1800.06/1796.32	c decisions		: 15910820
1800.06/1796.32	c propagations		: 7912351321
1800.06/1796.32	c inspects		: 9704994940
1800.06/1796.32	c shortcuts		: 0
1800.06/1796.32	c learnt literals	: 0
1800.06/1796.32	c learnt binary clauses	: 0
1800.06/1796.32	c learnt ternary clauses	: 0
1800.06/1796.32	c learnt constraints	: 6235796
1800.06/1796.32	c ignored constraints	: 0
1800.06/1796.32	c root simplifications	: 286
1800.06/1796.32	c removed literals (reason simplification)	: 4663527
1800.06/1796.32	c reason swapping (by a shorter reason)	: 0
1800.06/1796.32	c Calls to reduceDB	: 116
1800.06/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.06/1796.32	c number of learned constraints concerned by reduction	: 0
1800.06/1796.32	c number of learning phase by resolution	: 0
1800.06/1796.32	c number of learning phase by cutting planes	: 0
1800.06/1796.32	c speed (assignments/second)	: 4405716.018283573
1800.06/1796.32	c non guided choices	4368
1800.06/1796.35	c learnt constraints type 
1800.06/1796.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 171509
1800.06/1796.35	c constraints type 
1800.06/1796.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071
1800.06/1796.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1796.35	c ignored satisfied constraints => 15
1800.06/1796.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 109
1800.06/1796.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8902
1800.06/1796.35	c 11098 constraints processed.
1800.06/1796.35	s SATISFIABLE
1800.06/1796.36	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 
1800.06/1796.36	c objective function=52
1800.06/1796.36	c Total wall clock time (in seconds): 1796.239

Verifier Data 

OK	52

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-3710917-1338159323/watcher-3710917-1338159323 -o /tmp/evaluation-result-3710917-1338159323/solver-3710917-1338159323 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710917-1338159323.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 1.93 3/192 15477
/proc/meminfo: memFree=27432580/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15477/stat : 15477 (java) D 15475 15477 15185 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 282057728 9515008 182 33554432000 1073741824 1073778376 140735608256496 140735608247528 252263087797 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/15477/statm: 2323 182 140 9 0 71 0

[startup+0.078277 s]
/proc/loadavg: 2.02 2.02 1.93 3/192 15477
/proc/meminfo: memFree=27432580/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 3360 0 1 0 5 0 0 0 20 0 18 0 282057728 9787842560 4569 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2389610 4569 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440

[startup+0.100283 s]
/proc/loadavg: 2.02 2.02 1.93 3/192 15477
/proc/meminfo: memFree=27432580/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 4254 0 1 0 8 0 0 0 20 0 18 0 282057728 9787842560 5462 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2389610 5464 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.30025 s]
/proc/loadavg: 2.02 2.02 1.93 3/192 15477
/proc/meminfo: memFree=27432580/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 5953 0 1 0 47 1 0 0 20 0 18 0 282057728 9787842560 8570 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2389610 8570 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440

[startup+0.700256 s]
/proc/loadavg: 2.02 2.02 1.93 3/192 15477
/proc/meminfo: memFree=27432580/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 10480 0 1 0 140 2 0 0 20 0 19 0 282057728 9856004096 15171 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 15171 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625004

[startup+1.5006 s]
/proc/loadavg: 2.02 2.02 1.93 5/211 15496
/proc/meminfo: memFree=27378840/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 10878 0 1 0 231 2 0 0 20 0 19 0 282057728 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 15708 2262 9 0 2396937 0
[pid=15477/tid=15479] ppid=15475 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/15477/task/15479/stat : 15479 (java) R 15475 15477 15185 0 -1 4202560 2561 0 1 0 145 2 0 0 20 0 19 0 282057729 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418457270752 140418329575460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15480] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15480/stat : 15480 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418301282728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15481] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15481/stat : 15481 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418300230184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15482] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15482/stat : 15482 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418299177128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15483] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15483/stat : 15483 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418298124584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418297072552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15485] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15485/stat : 15485 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418296020008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15486] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15486/stat : 15486 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418294966952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15487] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15487/stat : 15487 (java) S 15475 15477 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418293914408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15488] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15488/stat : 15488 (java) S 15475 15477 15185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418281503080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15489] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15489/stat : 15489 (java) S 15475 15477 15185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418280449400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15490] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15490/stat : 15490 (java) S 15475 15477 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418279396232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15491] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15491/stat : 15491 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418278344976 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2520 0 0 0 37 0 0 0 20 0 19 0 282057735 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4597 0 0 0 47 0 0 0 20 0 19 0 282057735 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 15708 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 2.02 2.02 1.93 3/211 15496
/proc/meminfo: memFree=27375916/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=4.05 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 11241 0 1 0 402 3 0 0 20 0 19 0 282057728 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 19342 2287 9 0 2396937 0
[pid=15477/tid=15479] ppid=15475 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/15477/task/15479/stat : 15479 (java) R 15475 15477 15185 0 -1 4202560 2567 0 1 0 302 2 0 0 20 0 19 0 282057729 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418457272744 140418329126798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15480] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15480/stat : 15480 (java) S 15475 15477 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418301282728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15481] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15481/stat : 15481 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418300230184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15482] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15482/stat : 15482 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418299177128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15483] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15483/stat : 15483 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418298124584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418297072552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15485] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15485/stat : 15485 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418296020008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15486] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15486/stat : 15486 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418294966952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15487] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15487/stat : 15487 (java) S 15475 15477 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418293914408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15488] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15488/stat : 15488 (java) S 15475 15477 15185 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418281503080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15489] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15489/stat : 15489 (java) S 15475 15477 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418280449400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15490] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15490/stat : 15490 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418279396232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15491] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15491/stat : 15491 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418278344976 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2828 0 0 0 43 0 0 0 20 0 19 0 282057735 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4601 0 0 0 52 0 0 0 20 0 19 0 282057735 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 19342 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625004

[startup+6.30075 s]
/proc/loadavg: 2.02 2.02 1.93 3/211 15496
/proc/meminfo: memFree=27357996/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=7.29 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 11256 0 1 0 726 3 0 0 20 0 19 0 282057728 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 20324 2287 9 0 2396937 0
[pid=15477/tid=15479] ppid=15475 vsize=9625004 CPUtime=6.2 cores=1,3,5,7
/proc/15477/task/15479/stat : 15479 (java) R 15475 15477 15185 0 -1 4202560 2569 0 1 0 618 2 0 0 20 0 19 0 282057729 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418457272624 140418329534352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15480] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15480/stat : 15480 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418301282728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15481] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15481/stat : 15481 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418300230184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15482] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15482/stat : 15482 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057730 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418299177128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15483] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15483/stat : 15483 (java) S 15475 15477 15185 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418298124584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418297072552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15485] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15485/stat : 15485 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418296020008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15486] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15486/stat : 15486 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418294966952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15487] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15487/stat : 15487 (java) S 15475 15477 15185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282057731 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418293914408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15488] ppid=15475 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/15477/task/15488/stat : 15488 (java) S 15475 15477 15185 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 282057732 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418281503080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15489] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15489/stat : 15489 (java) S 15475 15477 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418280449400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15490] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15490/stat : 15490 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418279396232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15491] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15491/stat : 15491 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418278344976 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2829 0 0 0 45 0 0 0 20 0 19 0 282057735 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4602 0 0 0 53 0 0 0 20 0 19 0 282057735 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 20324 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2829 0 0 0 45 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4628 0 0 0 60 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 99 0 0 0 12 17 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.99
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/211 15592
/proc/meminfo: memFree=29550444/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=1786.05 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 12976 0 1 0 178578 27 0 0 20 0 19 0 282057728 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 49233 2288 9 0 2396937 0
[pid=15477/tid=15479] ppid=15475 vsize=9625004 CPUtime=1771.47 cores=1,3,5,7
/proc/15477/task/15479/stat : 15479 (java) R 15475 15477 15185 0 -1 4202560 2683 0 1 0 177118 29 0 0 20 0 19 0 282057729 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418457272624 140418329508736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15480] ppid=15475 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/15477/task/15480/stat : 15480 (java) S 15475 15477 15185 0 -1 4202560 259 0 0 0 40 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418301282728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15481] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15481/stat : 15481 (java) S 15475 15477 15185 0 -1 4202560 159 0 0 0 46 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418300230184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15482] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15482/stat : 15482 (java) S 15475 15477 15185 0 -1 4202560 151 0 0 0 46 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418299177128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15483] ppid=15475 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/15477/task/15483/stat : 15483 (java) S 15475 15477 15185 0 -1 4202560 181 0 0 0 51 3 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418298124584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (java) S 15475 15477 15185 0 -1 4202560 290 0 0 0 46 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418297072552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15485] ppid=15475 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/15477/task/15485/stat : 15485 (java) S 15475 15477 15185 0 -1 4202560 116 0 0 0 57 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418296020008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15486] ppid=15475 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/15477/task/15486/stat : 15486 (java) S 15475 15477 15185 0 -1 4202560 73 0 0 0 48 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418294966952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15487] ppid=15475 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/15477/task/15487/stat : 15487 (java) S 15475 15477 15185 0 -1 4202560 137 0 0 0 52 1 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418293914408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15488] ppid=15475 vsize=9625004 CPUtime=4.98 cores=1,3,5,7
/proc/15477/task/15488/stat : 15488 (java) S 15475 15477 15185 0 -1 4202560 181 0 0 0 496 2 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418281503080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15489] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15489/stat : 15489 (java) S 15475 15477 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418280449400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15490] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15490/stat : 15490 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418279396232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15491] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15491/stat : 15491 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418278344976 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2829 0 0 0 45 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4628 0 0 0 60 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.05
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/211 15592
/proc/meminfo: memFree=29550320/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=1800.06 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 12976 0 1 0 179979 27 0 0 20 0 19 0 282057728 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 49233 2288 9 0 2396937 0
[pid=15477/tid=15479] ppid=15475 vsize=9625004 CPUtime=1785.45 cores=1,3,5,7
/proc/15477/task/15479/stat : 15479 (java) R 15475 15477 15185 0 -1 4202560 2683 0 1 0 178515 30 0 0 20 0 19 0 282057729 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418457272624 140418329575471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15480] ppid=15475 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/15477/task/15480/stat : 15480 (java) S 15475 15477 15185 0 -1 4202560 259 0 0 0 40 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418301282728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15481] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15481/stat : 15481 (java) S 15475 15477 15185 0 -1 4202560 159 0 0 0 46 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418300230184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15482] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15482/stat : 15482 (java) S 15475 15477 15185 0 -1 4202560 151 0 0 0 46 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418299177128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15483] ppid=15475 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/15477/task/15483/stat : 15483 (java) S 15475 15477 15185 0 -1 4202560 181 0 0 0 51 3 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418298124584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (java) S 15475 15477 15185 0 -1 4202560 290 0 0 0 46 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418297072552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15485] ppid=15475 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/15477/task/15485/stat : 15485 (java) S 15475 15477 15185 0 -1 4202560 116 0 0 0 57 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418296020008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15486] ppid=15475 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/15477/task/15486/stat : 15486 (java) S 15475 15477 15185 0 -1 4202560 73 0 0 0 48 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418294966952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15487] ppid=15475 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/15477/task/15487/stat : 15487 (java) S 15475 15477 15185 0 -1 4202560 137 0 0 0 52 1 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418293914408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15488] ppid=15475 vsize=9625004 CPUtime=4.98 cores=1,3,5,7
/proc/15477/task/15488/stat : 15488 (java) S 15475 15477 15185 0 -1 4202560 181 0 0 0 496 2 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418281503080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15489] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15489/stat : 15489 (java) S 15475 15477 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418280449400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15490] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15490/stat : 15490 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418279396232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15491] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15491/stat : 15491 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418278344976 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2829 0 0 0 45 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4628 0 0 0 60 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/211 15592
/proc/meminfo: memFree=29550320/32873852 swapFree=7624/7624
[pid=15477] ppid=15475 vsize=9625004 CPUtime=1800.06 cores=1,3,5,7
/proc/15477/stat : 15477 (java) S 15475 15477 15185 0 -1 4202496 12976 0 1 0 179979 27 0 0 20 0 19 0 282057728 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140733682681344 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15477/statm: 2406251 49233 2288 9 0 2396937 0
[pid=15477/tid=15479] ppid=15475 vsize=9625004 CPUtime=1785.45 cores=1,3,5,7
/proc/15477/task/15479/stat : 15479 (java) R 15475 15477 15185 0 -1 4202560 2683 0 1 0 178515 30 0 0 20 0 19 0 282057729 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418457272624 140418329575471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15480] ppid=15475 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/15477/task/15480/stat : 15480 (java) S 15475 15477 15185 0 -1 4202560 259 0 0 0 40 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418301282728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15481] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15481/stat : 15481 (java) S 15475 15477 15185 0 -1 4202560 159 0 0 0 46 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418300230184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15482] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15482/stat : 15482 (java) S 15475 15477 15185 0 -1 4202560 151 0 0 0 46 2 0 0 20 0 19 0 282057730 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418299177128 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15483] ppid=15475 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/15477/task/15483/stat : 15483 (java) S 15475 15477 15185 0 -1 4202560 181 0 0 0 51 3 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418298124584 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (java) S 15475 15477 15185 0 -1 4202560 290 0 0 0 46 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418297072552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15485] ppid=15475 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/15477/task/15485/stat : 15485 (java) S 15475 15477 15185 0 -1 4202560 116 0 0 0 57 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418296020008 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15486] ppid=15475 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/15477/task/15486/stat : 15486 (java) S 15475 15477 15185 0 -1 4202560 73 0 0 0 48 2 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418294966952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15487] ppid=15475 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/15477/task/15487/stat : 15487 (java) S 15475 15477 15185 0 -1 4202560 137 0 0 0 52 1 0 0 20 0 19 0 282057731 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418293914408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15488] ppid=15475 vsize=9625004 CPUtime=4.98 cores=1,3,5,7
/proc/15477/task/15488/stat : 15488 (java) S 15475 15477 15185 0 -1 4202560 181 0 0 0 496 2 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418281503080 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15477/tid=15489] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15489/stat : 15489 (java) S 15475 15477 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418280449400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15490] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15490/stat : 15490 (java) S 15475 15477 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282057732 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418279396232 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15491] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15491/stat : 15491 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418278344976 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15492] ppid=15475 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/15477/task/15492/stat : 15492 (java) S 15475 15477 15185 0 -1 4202560 2829 0 0 0 45 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418277292856 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (java) S 15475 15477 15185 0 -1 4202560 4628 0 0 0 60 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418276240312 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15494] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15494/stat : 15494 (java) S 15475 15477 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418275187448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15477/tid=15495] ppid=15475 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/15477/task/15495/stat : 15495 (java) S 15475 15477 15185 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 282057735 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418274135112 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15477/tid=15496] ppid=15475 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15496/stat : 15496 (java) S 15475 15477 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282057767 9856004096 49233 33554432000 1073741824 1073778376 140733682690208 140418273080360 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15477 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=400057
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=799878
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.38
CPU time (s): 1800.06
CPU user time (s): 1799.79
CPU system time (s): 0.27
CPU usage (%): 100.205
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.4
system time used= 0.799878
maximum resident set size= 197060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13010
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41151
involuntary context switches= 12410

runsolver used 6.42402 second user time and 13.241 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-28 00:55:23
IDJOB=3710917
IDBENCH=24990
IDSOLVER=2289
FILE ID=node131/3710917-1338159323
RUNJOBID= node131-1338155741-15202
PBS_JOBID= 14624524
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710917-1338159323/watcher-3710917-1338159323 -o /tmp/evaluation-result-3710917-1338159323/solver-3710917-1338159323 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710917-1338159323.opb

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

MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4
RANDOM SEED=1950847279

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27432844 kB
Buffers:          335420 kB
Cached:          1827556 kB
SwapCached:         2164 kB
Active:          2984716 kB
Inactive:        1611920 kB
Active(anon):    2435364 kB
Inactive(anon):      808 kB
Active(file):     549352 kB
Inactive(file):  1611112 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099040 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:       2444976 kB
Mapped:            22456 kB
Shmem:                 0 kB
Slab:             693660 kB
SReclaimable:     135988 kB
SUnreclaim:       557672 kB
KernelStack:        1592 kB
PageTables:         9288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2672180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2402304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node131 at 2012-05-28 01:25:21