Trace number 3710927

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)41 1800.08 1795.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
MD5SUMc19adaf233257cdd6134391794b23c65
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.07883
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 variables3187
Total number of constraints8922
Number of constraints which are clauses8922
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 1527
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 1527
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 1527
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.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.07/0.13	c configuring ORDERS
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=true
0.07/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3710927-1338159996.opb
0.07/0.14	c reading problem ... 
0.45/0.37	c ... done. Wall clock time 0.234s.
0.45/0.37	c declared #vars     3187
0.45/0.37	c #constraints  8922
0.45/0.37	c constraints type 
0.45/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
0.45/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 93
0.45/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
0.45/0.37	c 8922 constraints processed.
0.65/0.42	c SATISFIABLE
0.65/0.42	c OPTIMIZING...
0.65/0.42	c Got one! Elapsed wall clock time (in seconds):0.288
0.65/0.42	o 48
1.42/0.81	c Got one! Elapsed wall clock time (in seconds):0.671
1.42/0.81	o 47
1.53/0.94	c Got one! Elapsed wall clock time (in seconds):0.806
1.53/0.94	o 46
1.75/1.14	c Got one! Elapsed wall clock time (in seconds):1.003
1.75/1.14	o 45
2.27/1.64	c Got one! Elapsed wall clock time (in seconds):1.505
2.27/1.64	o 44
2.73/2.09	c cleaning 3540 clauses out of 7104 with flag 2000/7104
3.70/2.91	c Got one! Elapsed wall clock time (in seconds):2.778
3.70/2.91	o 43
3.82/3.04	c Got one! Elapsed wall clock time (in seconds):2.899
3.82/3.04	o 42
4.03/3.26	c cleaning 4679 clauses out of 9366 with flag 1002/12906
5.24/4.41	c cleaning 5341 clauses out of 10685 with flag 7000/18904
6.54/5.72	c cleaning 6170 clauses out of 12344 with flag 14000/25904
7.19/6.39	c Got one! Elapsed wall clock time (in seconds):6.256
7.19/6.39	o 41
7.70/6.85	c cleaning 5594 clauses out of 11201 with flag 2000/30931
9.01/8.12	c cleaning 5794 clauses out of 11607 with flag 8000/36931
10.41/9.54	c cleaning 6403 clauses out of 12813 with flag 15000/43931
11.91/11.01	c cleaning 7195 clauses out of 14411 with flag 23001/51932
13.62/12.71	c cleaning 8104 clauses out of 16215 with flag 32000/60931
15.62/14.76	c cleaning 9044 clauses out of 18114 with flag 42003/70934
17.83/16.93	c cleaning 10011 clauses out of 20067 with flag 53000/81931
20.23/19.35	c cleaning 11019 clauses out of 22056 with flag 65000/93931
22.63/21.75	c cleaning 12011 clauses out of 24037 with flag 78000/106931
25.24/24.35	c cleaning 13012 clauses out of 26028 with flag 92002/120933
28.16/27.21	c cleaning 14000 clauses out of 28015 with flag 107001/135932
30.96/30.06	c cleaning 15004 clauses out of 30015 with flag 123001/151932
35.08/34.13	c cleaning 15994 clauses out of 32010 with flag 140000/168931
38.58/37.69	c cleaning 17003 clauses out of 34017 with flag 158001/186932
42.29/41.34	c cleaning 18000 clauses out of 36014 with flag 177001/205932
46.80/45.80	c cleaning 18987 clauses out of 38015 with flag 197002/225933
51.10/50.19	c cleaning 20002 clauses out of 40026 with flag 218000/246931
55.72/54.74	c cleaning 21000 clauses out of 42026 with flag 240002/268933
60.22/59.24	c cleaning 22006 clauses out of 44024 with flag 263000/291931
65.14/64.11	c cleaning 22997 clauses out of 46019 with flag 287001/315932
70.26/69.30	c cleaning 24003 clauses out of 48021 with flag 312000/340931
75.26/74.24	c cleaning 25002 clauses out of 50018 with flag 338000/366931
81.10/80.00	c cleaning 26004 clauses out of 52016 with flag 365000/393931
86.21/85.19	c cleaning 26997 clauses out of 54012 with flag 393000/421931
91.54/90.42	c cleaning 27990 clauses out of 56015 with flag 422000/450931
97.56/96.50	c cleaning 28985 clauses out of 58025 with flag 452000/480931
103.88/102.71	c cleaning 29989 clauses out of 60040 with flag 483000/511931
109.59/108.45	c cleaning 31010 clauses out of 62051 with flag 515000/543931
116.01/114.81	c cleaning 32013 clauses out of 64041 with flag 548000/576931
122.44/121.24	c cleaning 33011 clauses out of 66029 with flag 582001/610932
129.54/128.35	c cleaning 33998 clauses out of 68017 with flag 617000/645931
136.67/135.49	c cleaning 35003 clauses out of 70019 with flag 653000/681931
146.98/145.72	c cleaning 36001 clauses out of 72016 with flag 690000/718931
154.12/152.83	c cleaning 36999 clauses out of 74015 with flag 728000/756931
161.42/160.13	c cleaning 38003 clauses out of 76017 with flag 767001/795932
169.35/168.02	c cleaning 38980 clauses out of 78014 with flag 807001/835932
177.56/176.29	c cleaning 40001 clauses out of 80034 with flag 848001/876932
185.50/184.13	c cleaning 41006 clauses out of 82032 with flag 890000/918931
194.30/192.92	c cleaning 42000 clauses out of 84026 with flag 933000/961931
203.11/201.76	c cleaning 42994 clauses out of 86026 with flag 977000/1005931
213.63/212.24	c cleaning 43997 clauses out of 88033 with flag 1022001/1050932
223.94/222.54	c cleaning 45012 clauses out of 90037 with flag 1068002/1096933
233.46/232.03	c cleaning 46000 clauses out of 92024 with flag 1115001/1143932
243.09/241.64	c cleaning 47000 clauses out of 94025 with flag 1163002/1191933
253.61/252.17	c cleaning 48003 clauses out of 96023 with flag 1212000/1240931
264.72/263.29	c cleaning 49004 clauses out of 98021 with flag 1262001/1290932
275.35/273.89	c cleaning 49995 clauses out of 100016 with flag 1313000/1341931
285.60/284.04	c cleaning 51006 clauses out of 102021 with flag 1365000/1393931
295.52/293.95	c cleaning 52000 clauses out of 104015 with flag 1418000/1446931
305.84/304.29	c cleaning 52992 clauses out of 106015 with flag 1472000/1500931
316.76/315.16	c cleaning 54006 clauses out of 108024 with flag 1527001/1555932
328.70/327.04	c cleaning 54999 clauses out of 110018 with flag 1583001/1611932
339.51/337.82	c cleaning 55999 clauses out of 112019 with flag 1640001/1668932
350.73/349.01	c cleaning 56990 clauses out of 114019 with flag 1698000/1726931
362.17/360.44	c cleaning 58008 clauses out of 116029 with flag 1757000/1785931
374.70/372.94	c cleaning 59001 clauses out of 118021 with flag 1817000/1845931
389.43/387.69	c cleaning 59997 clauses out of 120020 with flag 1878000/1906931
405.06/403.27	c cleaning 60994 clauses out of 122023 with flag 1940000/1968931
418.28/416.40	c cleaning 62010 clauses out of 124029 with flag 2003000/2031931
430.72/428.90	c cleaning 62999 clauses out of 126019 with flag 2067000/2095931
443.85/441.99	c cleaning 63996 clauses out of 128020 with flag 2132000/2160931
458.18/456.25	c cleaning 64996 clauses out of 130024 with flag 2198000/2226931
473.20/471.21	c cleaning 66000 clauses out of 132029 with flag 2265001/2293932
489.03/487.02	c cleaning 66998 clauses out of 134028 with flag 2333000/2361931
505.16/503.19	c cleaning 67998 clauses out of 136030 with flag 2402000/2430931
520.72/518.69	c cleaning 68999 clauses out of 138032 with flag 2472000/2500931
537.09/534.95	c cleaning 70011 clauses out of 140033 with flag 2543000/2571931
553.84/551.69	c cleaning 70994 clauses out of 142022 with flag 2615000/2643931
570.17/567.96	c cleaning 71997 clauses out of 144028 with flag 2688000/2716931
587.32/585.04	c cleaning 72993 clauses out of 146031 with flag 2762000/2790931
604.26/601.92	c cleaning 74001 clauses out of 148039 with flag 2837001/2865932
621.60/619.22	c cleaning 74999 clauses out of 150038 with flag 2913001/2941932
638.04/635.70	c cleaning 76011 clauses out of 152040 with flag 2990002/3018933
654.77/652.33	c cleaning 76990 clauses out of 154028 with flag 3068001/3096932
672.58/670.18	c cleaning 78000 clauses out of 156039 with flag 3147002/3175933
691.70/689.23	c cleaning 79009 clauses out of 158040 with flag 3227003/3255934
709.53/707.01	c cleaning 80001 clauses out of 160028 with flag 3308000/3336931
727.76/725.20	c cleaning 80998 clauses out of 162028 with flag 3390001/3418932
746.79/744.21	c cleaning 81991 clauses out of 164029 with flag 3473000/3501931
766.91/764.35	c cleaning 82996 clauses out of 166038 with flag 3557000/3585931
787.05/784.43	c cleaning 84011 clauses out of 168043 with flag 3642001/3670932
806.70/804.06	c cleaning 85001 clauses out of 170032 with flag 3728001/3756932
827.42/824.73	c cleaning 85998 clauses out of 172030 with flag 3815000/3843931
848.98/846.27	c cleaning 87004 clauses out of 174032 with flag 3903000/3931931
869.31/866.56	c cleaning 88012 clauses out of 176036 with flag 3992008/4020939
891.85/889.01	c cleaning 88992 clauses out of 178016 with flag 4082000/4110931
915.69/912.82	c cleaning 89992 clauses out of 180025 with flag 4173001/4201932
937.74/934.81	c cleaning 90997 clauses out of 182032 with flag 4265000/4293931
962.17/959.24	c cleaning 92001 clauses out of 184035 with flag 4358000/4386931
985.43/982.42	c cleaning 92999 clauses out of 186035 with flag 4452001/4480932
1004.26/1001.22	c cleaning 94009 clauses out of 188036 with flag 4547001/4575932
1024.37/1021.32	c cleaning 95004 clauses out of 190026 with flag 4643000/4671931
1045.82/1042.76	c cleaning 95993 clauses out of 192022 with flag 4740000/4768931
1068.45/1065.34	c cleaning 97010 clauses out of 194029 with flag 4838000/4866931
1090.08/1086.93	c cleaning 98003 clauses out of 196019 with flag 4937000/4965931
1112.51/1109.33	c cleaning 98990 clauses out of 198016 with flag 5037000/5065931
1133.61/1130.39	c cleaning 99992 clauses out of 200026 with flag 5138000/5166931
1156.55/1153.29	c cleaning 100995 clauses out of 202034 with flag 5240000/5268931
1179.20/1175.87	c cleaning 101997 clauses out of 204039 with flag 5343000/5371931
1203.15/1199.72	c cleaning 102999 clauses out of 206042 with flag 5447000/5475931
1225.68/1222.21	c cleaning 103994 clauses out of 208043 with flag 5552000/5580931
1248.43/1244.90	c cleaning 105005 clauses out of 210050 with flag 5658001/5686932
1273.56/1270.04	c cleaning 106011 clauses out of 212044 with flag 5765000/5793931
1298.32/1294.74	c cleaning 107006 clauses out of 214033 with flag 5873000/5901931
1321.47/1317.86	c cleaning 108007 clauses out of 216027 with flag 5982000/6010931
1348.09/1344.47	c cleaning 108986 clauses out of 218020 with flag 6092000/6120931
1378.26/1374.58	c cleaning 110005 clauses out of 220034 with flag 6203000/6231931
1408.11/1404.37	c cleaning 111001 clauses out of 222029 with flag 6315000/6343931
1437.74/1433.92	c cleaning 111994 clauses out of 224028 with flag 6428000/6456931
1469.40/1465.57	c cleaning 113008 clauses out of 226036 with flag 6542002/6570933
1499.98/1496.08	c cleaning 114004 clauses out of 228027 with flag 6657001/6685932
1523.74/1519.74	c cleaning 114992 clauses out of 230023 with flag 6773001/6801932
1548.37/1544.38	c cleaning 116010 clauses out of 232030 with flag 6890000/6918931
1577.02/1572.96	c cleaning 116997 clauses out of 234020 with flag 7008000/7036931
1601.37/1597.21	c cleaning 117997 clauses out of 236023 with flag 7127000/7155931
1628.40/1624.23	c cleaning 118991 clauses out of 238027 with flag 7247001/7275932
1659.23/1655.05	c cleaning 120014 clauses out of 240037 with flag 7368002/7396933
1685.31/1681.09	c cleaning 120997 clauses out of 242022 with flag 7490001/7518932
1713.45/1709.17	c cleaning 121997 clauses out of 244024 with flag 7613000/7641931
1740.89/1736.53	c cleaning 123002 clauses out of 246028 with flag 7737001/7765932
1773.25/1768.87	c cleaning 123996 clauses out of 248026 with flag 7862001/7890932
1800.08/1795.61	c starts		: 306
1800.08/1795.61	c conflicts		: 8004731
1800.08/1795.61	c decisions		: 18817563
1800.08/1795.61	c propagations		: 8151778884
1800.08/1795.61	c inspects		: 11087328741
1800.08/1795.61	c shortcuts		: 0
1800.08/1795.61	c learnt literals	: 0
1800.08/1795.61	c learnt binary clauses	: 0
1800.08/1795.61	c learnt ternary clauses	: 1
1800.08/1795.61	c learnt constraints	: 8004731
1800.08/1795.61	c ignored constraints	: 0
1800.08/1795.61	c root simplifications	: 306
1800.08/1795.61	c removed literals (reason simplification)	: 6462899
1800.08/1795.61	c reason swapping (by a shorter reason)	: 0
1800.08/1795.61	c Calls to reduceDB	: 125
1800.08/1795.61	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.61	c number of learned constraints concerned by reduction	: 0
1800.08/1795.61	c number of learning phase by resolution	: 0
1800.08/1795.61	c number of learning phase by cutting planes	: 0
1800.08/1795.61	c speed (assignments/second)	: 4540789.046998887
1800.08/1795.61	c non guided choices	2808
1800.08/1795.65	c learnt constraints type 
1800.08/1795.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 237954
1800.08/1795.65	c constraints type 
1800.08/1795.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
1800.08/1795.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1795.65	c org.sat4j.minisat.constraints.cnf.UnitClause => 93
1800.08/1795.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
1800.08/1795.65	c 8923 constraints processed.
1800.08/1795.65	s SATISFIABLE
1800.08/1795.66	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 
1800.08/1795.66	c objective function=41
1800.08/1795.66	c Total wall clock time (in seconds): 1795.528

Verifier Data 

OK	41

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-3710927-1338159996/watcher-3710927-1338159996 -o /tmp/evaluation-result-3710927-1338159996/solver-3710927-1338159996 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710927-1338159996.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.00 2.00 2.00 2/174 31475
/proc/meminfo: memFree=31240816/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31475/stat : 31475 (java) D 31473 31475 31312 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 282125247 9515008 182 33554432000 1073741824 1073778376 140737481206448 140737481197480 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/31475/statm: 2323 182 140 9 0 71 0

[startup+0.0946309 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31475
/proc/meminfo: memFree=31240816/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 3455 0 1 0 6 0 0 0 20 0 18 0 282125247 9787842560 4664 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2389610 4665 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.10034 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31475
/proc/meminfo: memFree=31240816/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 3630 0 1 0 6 1 0 0 20 0 18 0 282125247 9787842560 4840 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2389610 4846 1910 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.300306 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31475
/proc/meminfo: memFree=31240816/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 5775 0 1 0 44 1 0 0 20 0 18 0 282125247 9787842560 8406 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2389610 8406 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 31475
/proc/meminfo: memFree=31240816/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 9353 0 1 0 129 3 0 0 20 0 19 0 282125247 9856004096 13331 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 13331 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9625004

[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 31549
/proc/meminfo: memFree=31174548/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 9411 0 1 0 214 3 0 0 20 0 19 0 282125247 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 13846 2260 9 0 2396937 0
[pid=31475/tid=31477] ppid=31473 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/31475/task/31477/stat : 31477 (java) R 31473 31475 31312 0 -1 4202560 2529 0 1 0 144 2 0 0 20 0 19 0 282125248 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140379036918424 140378876038531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31478] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31478/stat : 31478 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378998409896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31479] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31479/stat : 31479 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378997357352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31480] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31480/stat : 31480 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378996304808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31481] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31481/stat : 31481 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378995252264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31482] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31482/stat : 31482 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378994198696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31483] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31483/stat : 31483 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378875357480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31484] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31484/stat : 31484 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378874304936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31485] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31485/stat : 31485 (java) S 31473 31475 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378873252392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31486] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31486/stat : 31486 (java) S 31473 31475 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378861054568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31487] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31487/stat : 31487 (java) S 31473 31475 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378860000888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31488] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31488/stat : 31488 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378254599816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31489] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31489/stat : 31489 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378253548560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2870 0 0 0 32 0 0 0 20 0 19 0 282125254 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 2819 0 0 0 35 0 0 0 20 0 19 0 282125254 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 13846 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625004

[startup+3.10072 s]
/proc/loadavg: 2.16 2.03 2.01 5/213 31550
/proc/meminfo: memFree=31107552/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=3.93 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 9884 0 1 0 389 4 0 0 20 0 19 0 282125247 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 16963 2286 9 0 2396937 0
[pid=31475/tid=31477] ppid=31473 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/31475/task/31477/stat : 31477 (java) R 31473 31475 31312 0 -1 4202560 2534 0 1 0 302 2 0 0 20 0 19 0 282125248 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140379036918424 140378876019029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31478] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31478/stat : 31478 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378998409896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31479] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31479/stat : 31479 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378997357352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31480] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31480/stat : 31480 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378996304808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31481] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31481/stat : 31481 (java) S 31473 31475 31312 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378995252264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31482] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31482/stat : 31482 (java) S 31473 31475 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378994198696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31483] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31483/stat : 31483 (java) S 31473 31475 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378875357480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31484] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31484/stat : 31484 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378874304936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31485] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31485/stat : 31485 (java) S 31473 31475 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378873252392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31486] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31486/stat : 31486 (java) S 31473 31475 31312 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378861054568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31487] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31487/stat : 31487 (java) S 31473 31475 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378860000888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31488] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31488/stat : 31488 (java) S 31473 31475 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378254599816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31489] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31489/stat : 31489 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378253548560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2875 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 3230 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 16963 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 31550
/proc/meminfo: memFree=31078756/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=7.19 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 10545 0 1 0 715 4 0 0 20 0 19 0 282125247 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 17350 2286 9 0 2396937 0
[pid=31475/tid=31477] ppid=31473 vsize=9625004 CPUtime=6.18 cores=1,3,5,7
/proc/31475/task/31477/stat : 31477 (java) R 31473 31475 31312 0 -1 4202560 2537 0 1 0 616 2 0 0 20 0 19 0 282125248 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140379036918232 140378876018929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31478] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31478/stat : 31478 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378998409896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31479] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31479/stat : 31479 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378997357352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31480] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31480/stat : 31480 (java) S 31473 31475 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378996304808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31481] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31481/stat : 31481 (java) S 31473 31475 31312 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378995252264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31482] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31482/stat : 31482 (java) S 31473 31475 31312 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378994198696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31483] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31483/stat : 31483 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378875357480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31484] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31484/stat : 31484 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378874304936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31485] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31485/stat : 31485 (java) S 31473 31475 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282125249 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378873252392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31486] ppid=31473 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/31475/task/31486/stat : 31486 (java) S 31473 31475 31312 0 -1 4202560 60 0 0 0 5 0 0 0 20 0 19 0 282125251 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378861054568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31487] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31487/stat : 31487 (java) S 31473 31475 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378860000888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31488] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31488/stat : 31488 (java) S 31473 31475 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378254599816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31489] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31489/stat : 31489 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378253548560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2875 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 3833 0 0 0 47 0 0 0 20 0 19 0 282125254 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 17350 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2875 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 46580 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 3938 0 0 0 50 0 0 0 20 0 19 0 282125254 9856004096 46580 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 46580 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 95 0 0 0 21 15 0 0 20 0 19 0 282125254 9856004096 46580 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 46580 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.62
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 31565
/proc/meminfo: memFree=30872748/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=1726.68 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 12476 0 1 0 172632 36 0 0 20 0 19 0 282125247 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 47111 2287 9 0 2396937 0
[pid=31475/tid=31477] ppid=31473 vsize=9625004 CPUtime=1710.92 cores=1,3,5,7
/proc/31475/task/31477/stat : 31477 (java) R 31473 31475 31312 0 -1 4202560 2662 0 1 0 171064 28 0 0 20 0 19 0 282125248 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140379036918064 140378876058262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31478] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31478/stat : 31478 (java) S 31473 31475 31312 0 -1 4202560 256 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378998409896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31479] ppid=31473 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/31475/task/31479/stat : 31479 (java) S 31473 31475 31312 0 -1 4202560 244 0 0 0 55 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378997357352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31480] ppid=31473 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/31475/task/31480/stat : 31480 (java) S 31473 31475 31312 0 -1 4202560 37 0 0 0 52 0 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378996304808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31481] ppid=31473 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/31475/task/31481/stat : 31481 (java) S 31473 31475 31312 0 -1 4202560 179 0 0 0 54 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378995252264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31482] ppid=31473 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/31475/task/31482/stat : 31482 (java) S 31473 31475 31312 0 -1 4202560 268 0 0 0 51 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378994198696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31483] ppid=31473 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31475/task/31483/stat : 31483 (java) S 31473 31475 31312 0 -1 4202560 145 0 0 0 56 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378875357480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31484] ppid=31473 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/31475/task/31484/stat : 31484 (java) S 31473 31475 31312 0 -1 4202560 146 0 0 0 61 3 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378874304936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31485] ppid=31473 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/31475/task/31485/stat : 31485 (java) S 31473 31475 31312 0 -1 4202560 267 0 0 0 55 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378873252392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31486] ppid=31473 vsize=9625004 CPUtime=5.56 cores=1,3,5,7
/proc/31475/task/31486/stat : 31486 (java) S 31473 31475 31312 0 -1 4202560 181 0 0 0 555 1 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378861054568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31487] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31487/stat : 31487 (java) S 31473 31475 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378860000888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31488] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31488/stat : 31488 (java) S 31473 31475 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378254599816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31489] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31489/stat : 31489 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378253548560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2875 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 3938 0 0 0 50 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 99 0 0 0 22 16 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.68
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 31565
/proc/meminfo: memFree=30871260/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=1786.78 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 12484 0 1 0 178642 36 0 0 20 0 19 0 282125247 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 47111 2287 9 0 2396937 0
[pid=31475/tid=31477] ppid=31473 vsize=9625004 CPUtime=1770.56 cores=1,3,5,7
/proc/31475/task/31477/stat : 31477 (java) R 31473 31475 31312 0 -1 4202560 2664 0 1 0 177028 28 0 0 20 0 19 0 282125248 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140379036918064 140378875631505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31478] ppid=31473 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/31475/task/31478/stat : 31478 (java) S 31473 31475 31312 0 -1 4202560 256 0 0 0 58 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378998409896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31479] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31479/stat : 31479 (java) S 31473 31475 31312 0 -1 4202560 244 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378997357352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31480] ppid=31473 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/31475/task/31480/stat : 31480 (java) S 31473 31475 31312 0 -1 4202560 37 0 0 0 53 0 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378996304808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31481] ppid=31473 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31475/task/31481/stat : 31481 (java) S 31473 31475 31312 0 -1 4202560 179 0 0 0 56 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378995252264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31482] ppid=31473 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/31475/task/31482/stat : 31482 (java) S 31473 31475 31312 0 -1 4202560 268 0 0 0 53 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378994198696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31483] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31483/stat : 31483 (java) S 31473 31475 31312 0 -1 4202560 145 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378875357480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31484] ppid=31473 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/31475/task/31484/stat : 31484 (java) S 31473 31475 31312 0 -1 4202560 146 0 0 0 61 3 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378874304936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31485] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31485/stat : 31485 (java) S 31473 31475 31312 0 -1 4202560 267 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378873252392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31486] ppid=31473 vsize=9625004 CPUtime=5.74 cores=1,3,5,7
/proc/31475/task/31486/stat : 31486 (java) S 31473 31475 31312 0 -1 4202560 183 0 0 0 572 2 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378861054568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31487] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31487/stat : 31487 (java) S 31473 31475 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378860000888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31488] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31488/stat : 31488 (java) S 31473 31475 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378254599816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31489] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31489/stat : 31489 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378253548560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2875 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 3938 0 0 0 50 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 103 0 0 0 23 16 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.78
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 31565
/proc/meminfo: memFree=30871384/32873844 swapFree=7624/7624
[pid=31475] ppid=31473 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/31475/stat : 31475 (java) S 31473 31475 31312 0 -1 4202496 12484 0 1 0 179972 36 0 0 20 0 19 0 282125247 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140737128623792 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31475/statm: 2406251 47111 2287 9 0 2396937 0
[pid=31475/tid=31477] ppid=31473 vsize=9625004 CPUtime=1783.83 cores=1,3,5,7
/proc/31475/task/31477/stat : 31477 (java) R 31473 31475 31312 0 -1 4202560 2664 0 1 0 178354 29 0 0 20 0 19 0 282125248 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140379036918064 140378876019076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31478] ppid=31473 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/31475/task/31478/stat : 31478 (java) S 31473 31475 31312 0 -1 4202560 256 0 0 0 58 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378998409896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31479] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31479/stat : 31479 (java) S 31473 31475 31312 0 -1 4202560 244 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378997357352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31475/tid=31480] ppid=31473 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/31475/task/31480/stat : 31480 (java) S 31473 31475 31312 0 -1 4202560 37 0 0 0 53 0 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378996304808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31481] ppid=31473 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31475/task/31481/stat : 31481 (java) S 31473 31475 31312 0 -1 4202560 179 0 0 0 56 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378995252264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31482] ppid=31473 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/31475/task/31482/stat : 31482 (java) S 31473 31475 31312 0 -1 4202560 268 0 0 0 53 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378994198696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31483] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31483/stat : 31483 (java) S 31473 31475 31312 0 -1 4202560 145 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378875357480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31484] ppid=31473 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/31475/task/31484/stat : 31484 (java) S 31473 31475 31312 0 -1 4202560 146 0 0 0 61 3 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378874304936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31485] ppid=31473 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31475/task/31485/stat : 31485 (java) S 31473 31475 31312 0 -1 4202560 267 0 0 0 57 2 0 0 20 0 19 0 282125249 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378873252392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31486] ppid=31473 vsize=9625004 CPUtime=5.74 cores=1,3,5,7
/proc/31475/task/31486/stat : 31486 (java) S 31473 31475 31312 0 -1 4202560 183 0 0 0 572 2 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378861054568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31487] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31487/stat : 31487 (java) S 31473 31475 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378860000888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31488] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31488/stat : 31488 (java) S 31473 31475 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282125251 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378254599816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31489] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31489/stat : 31489 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378253548560 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31490] ppid=31473 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31475/task/31490/stat : 31490 (java) S 31473 31475 31312 0 -1 4202560 2875 0 0 0 41 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378252494904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31475/tid=31491] ppid=31473 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/31475/task/31491/stat : 31491 (java) S 31473 31475 31312 0 -1 4202560 3938 0 0 0 50 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378251442360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31492] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31492/stat : 31492 (java) S 31473 31475 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378250390008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31475/tid=31493] ppid=31473 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/31475/task/31493/stat : 31493 (java) S 31473 31475 31312 0 -1 4202560 103 0 0 0 24 16 0 0 20 0 19 0 282125254 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378249337672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31475/tid=31501] ppid=31473 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31475/task/31501/stat : 31501 (java) S 31473 31475 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282125285 9856004096 47111 33554432000 1073741824 1073778376 140737128632656 140378248283432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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

Child status: 143

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

Real time (s): 1795.68
CPU time (s): 1800.08
CPU user time (s): 1799.72
CPU system time (s): 0.36
CPU usage (%): 100.245
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 0.761884
maximum resident set size= 190612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12520
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41318
involuntary context switches= 9899

runsolver used 6.22205 second user time and 14.1818 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-28 01:06:36
IDJOB=3710927
IDBENCH=24997
IDSOLVER=2289
FILE ID=node130/3710927-1338159996
RUNJOBID= node130-1338158197-31329
PBS_JOBID= 14624537
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_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-3710927-1338159996/watcher-3710927-1338159996 -o /tmp/evaluation-result-3710927-1338159996/solver-3710927-1338159996 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710927-1338159996.opb

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

MD5SUM BENCH= c19adaf233257cdd6134391794b23c65
RANDOM SEED=384679989

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31240972 kB
Buffers:          301016 kB
Cached:           484108 kB
SwapCached:         4512 kB
Active:           709048 kB
Inactive:          90464 kB
Active(anon):       4932 kB
Inactive(anon):     9016 kB
Active(file):     704116 kB
Inactive(file):    81448 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099912 kB
Dirty:              1364 kB
Writeback:             0 kB
AnonPages:         16080 kB
Mapped:            11552 kB
Shmem:                 8 kB
Slab:             692776 kB
SReclaimable:     134620 kB
SUnreclaim:       558156 kB
KernelStack:        1488 kB
PageTables:         3884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71468 MiB
End job on node130 at 2012-05-28 01:36:34