Trace number 2662520

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 RES // CP 2.2.0 2010-05-31SAT (TO)3243008 1800.55 926.726

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100531
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.22/0.22	c Pseudo Boolean Optimization
0.22/0.22	c ManyCore solver with 2 solvers running in parallel
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.22	c Expensive reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.22	c No reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	
0.22/0.22	c solving HOME/instance-2662520-1276521569.opb
0.22/0.22	c reading problem ... 
2.17/1.23	c ... done. Wall clock time 1.015s.
2.17/1.23	c #vars     3720
2.17/1.23	c #constraints  2198
2.17/1.23	c constraints type 
2.17/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 164
2.17/1.23	c constraints type 
2.17/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 164
6.54/3.42	c And the winner is Resolution
6.75/4.31	c SATISFIABLE
6.75/4.31	c OPTIMIZING...
6.75/4.31	c Got one! Elapsed wall clock time (in seconds):4.085
6.75/4.31	o 5229103
7.95/4.98	c And the winner is Resolution
8.12/5.38	c Got one! Elapsed wall clock time (in seconds):5.163
8.12/5.38	o 5181469
9.35/6.05	c And the winner is Resolution
9.46/6.43	c Got one! Elapsed wall clock time (in seconds):6.214
9.46/6.43	o 5165883
9.46/6.48	c And the winner is Resolution
14.67/11.53	c Got one! Elapsed wall clock time (in seconds):11.309
14.67/11.53	o 3449804
14.67/11.58	c And the winner is Resolution
14.80/12.55	c Got one! Elapsed wall clock time (in seconds):12.334
14.80/12.55	o 3431464
14.80/12.58	c And the winner is Resolution
14.86/13.57	c Got one! Elapsed wall clock time (in seconds):13.358
14.86/13.57	o 3336192
15.10/13.79	c And the winner is Resolution
16.55/15.60	c Got one! Elapsed wall clock time (in seconds):15.382
16.55/15.60	o 3295232
16.55/15.64	c And the winner is Resolution
16.63/16.62	c Got one! Elapsed wall clock time (in seconds):16.407
16.63/16.62	o 3250176
16.63/16.66	c And the winner is Resolution
16.70/17.65	c Got one! Elapsed wall clock time (in seconds):17.433
16.70/17.65	o 3243008
25.13/21.97	c cleaning 2493 clauses out of 5000 with flag 5000/5000
39.34/29.14	c cleaning 4248 clauses out of 8507 with flag 11000/11000
54.36/36.75	c cleaning 5626 clauses out of 11261 with flag 18002/18002
72.94/46.17	c cleaning 6808 clauses out of 13633 with flag 26000/26000
97.62/58.64	c cleaning 7896 clauses out of 15825 with flag 35000/35000
121.81/70.90	c cleaning 8955 clauses out of 17929 with flag 45000/45000
142.78/81.44	c cleaning 9477 clauses out of 18974 with flag 55000/55000
154.57/87.47	c cleaning 9743 clauses out of 19497 with flag 65000/65000
172.30/96.48	c cleaning 9866 clauses out of 19754 with flag 75000/75000
189.68/105.27	c cleaning 9929 clauses out of 19889 with flag 85001/85001
210.26/115.70	c cleaning 9968 clauses out of 19960 with flag 95001/95001
240.60/130.94	c cleaning 9993 clauses out of 19993 with flag 105002/105002
260.34/140.98	c cleaning 9993 clauses out of 20000 with flag 115002/115002
281.72/151.72	c cleaning 9980 clauses out of 20006 with flag 125001/125001
297.29/159.62	c cleaning 9996 clauses out of 20026 with flag 135001/135001
312.65/167.49	c cleaning 9993 clauses out of 20030 with flag 145001/145001
328.19/175.35	c cleaning 10011 clauses out of 20036 with flag 155000/155000
344.16/183.46	c cleaning 9995 clauses out of 20025 with flag 165000/165000
360.71/191.89	c cleaning 10009 clauses out of 20031 with flag 175001/175001
381.22/202.23	c cleaning 10000 clauses out of 20021 with flag 185000/185000
397.75/210.69	c cleaning 9989 clauses out of 20022 with flag 195001/195001
413.28/218.54	c cleaning 9985 clauses out of 20032 with flag 205000/205000
432.58/228.34	c cleaning 10011 clauses out of 20047 with flag 215000/215000
447.54/235.92	c cleaning 9998 clauses out of 20036 with flag 225000/225000
464.07/244.36	c cleaning 10000 clauses out of 20038 with flag 235000/235000
482.79/253.88	c cleaning 9991 clauses out of 20038 with flag 245000/245000
497.15/261.11	c cleaning 10002 clauses out of 20048 with flag 255001/255001
514.08/269.75	c cleaning 10019 clauses out of 20046 with flag 265001/265001
528.41/277.07	c cleaning 9989 clauses out of 20027 with flag 275001/275001
545.16/285.56	c cleaning 10006 clauses out of 20037 with flag 285000/285000
564.65/295.41	c cleaning 9986 clauses out of 20031 with flag 295000/295000
588.75/307.64	c cleaning 10012 clauses out of 20045 with flag 305000/305000
608.59/317.76	c cleaning 9997 clauses out of 20034 with flag 315001/315001
628.26/327.80	c cleaning 10007 clauses out of 20037 with flag 325001/325001
647.73/337.69	c cleaning 10004 clauses out of 20030 with flag 335001/335001
668.18/348.02	c cleaning 9999 clauses out of 20026 with flag 345001/345001
683.82/356.10	c cleaning 9995 clauses out of 20027 with flag 355001/355001
702.07/365.37	c cleaning 10007 clauses out of 20035 with flag 365004/365004
718.57/373.73	c cleaning 9998 clauses out of 20025 with flag 375001/375001
734.07/381.64	c cleaning 9986 clauses out of 20026 with flag 385000/385000
751.29/390.42	c cleaning 10006 clauses out of 20041 with flag 395001/395001
772.12/401.02	c cleaning 10010 clauses out of 20036 with flag 405002/405002
789.38/409.85	c cleaning 9988 clauses out of 20025 with flag 415001/415001
804.05/417.31	c cleaning 10002 clauses out of 20037 with flag 425001/425001
820.27/425.68	c cleaning 10008 clauses out of 20034 with flag 435000/435000
833.95/432.69	c cleaning 9996 clauses out of 20026 with flag 445000/445000
849.63/440.63	c cleaning 9985 clauses out of 20030 with flag 455000/455000
866.89/449.44	c cleaning 10002 clauses out of 20045 with flag 465000/465000
885.26/458.85	c cleaning 9997 clauses out of 20043 with flag 475000/475000
902.13/467.45	c cleaning 10011 clauses out of 20046 with flag 485000/485000
921.16/477.10	c cleaning 9994 clauses out of 20035 with flag 495000/495000
938.23/485.83	c cleaning 10005 clauses out of 20042 with flag 505001/505001
953.43/493.61	c cleaning 9997 clauses out of 20037 with flag 515001/515001
968.50/501.34	c cleaning 10013 clauses out of 20041 with flag 525002/525002
985.15/509.86	c cleaning 10003 clauses out of 20026 with flag 535000/535000
998.63/516.76	c cleaning 9991 clauses out of 20024 with flag 545001/545001
1009.87/522.53	c cleaning 10000 clauses out of 20032 with flag 555000/555000
1021.57/528.59	c cleaning 10008 clauses out of 20034 with flag 565002/565002
1036.24/536.08	c cleaning 10003 clauses out of 20024 with flag 575000/575000
1050.52/543.40	c cleaning 10000 clauses out of 20022 with flag 585001/585001
1070.07/553.33	c cleaning 10004 clauses out of 20022 with flag 595001/595001
1086.11/561.54	c cleaning 10000 clauses out of 20017 with flag 605000/605000
1100.62/568.93	c cleaning 9995 clauses out of 20018 with flag 615001/615001
1116.29/576.98	c cleaning 9985 clauses out of 20022 with flag 625000/625000
1137.47/587.77	c cleaning 9999 clauses out of 20038 with flag 635001/635001
1156.87/597.69	c cleaning 10002 clauses out of 20039 with flag 645001/645001
1183.21/611.01	c cleaning 10017 clauses out of 20044 with flag 655008/655008
1204.41/621.87	c cleaning 9983 clauses out of 20020 with flag 665001/665001
1225.75/632.74	c cleaning 9996 clauses out of 20036 with flag 675000/675000
1240.38/640.28	c cleaning 9997 clauses out of 20040 with flag 685000/685000
1258.58/649.53	c cleaning 10011 clauses out of 20044 with flag 695001/695001
1276.41/658.69	c cleaning 9997 clauses out of 20032 with flag 705000/705000
1293.58/667.44	c cleaning 9997 clauses out of 20036 with flag 715001/715001
1310.01/675.84	c cleaning 9998 clauses out of 20038 with flag 725000/725000
1327.83/684.93	c cleaning 10003 clauses out of 20042 with flag 735002/735002
1347.02/694.70	c cleaning 9985 clauses out of 20037 with flag 745000/745000
1364.59/703.79	c cleaning 10010 clauses out of 20052 with flag 755000/755000
1381.42/712.31	c cleaning 9997 clauses out of 20042 with flag 765000/765000
1396.47/720.02	c cleaning 9980 clauses out of 20046 with flag 775001/775001
1411.29/727.62	c cleaning 10027 clauses out of 20065 with flag 785000/785000
1428.63/736.53	c cleaning 10010 clauses out of 20042 with flag 795004/795004
1447.02/745.96	c cleaning 10006 clauses out of 20028 with flag 805000/805000
1466.06/755.66	c cleaning 9987 clauses out of 20023 with flag 815001/815001
1488.42/767.05	c cleaning 10006 clauses out of 20036 with flag 825001/825001
1505.97/776.07	c cleaning 9996 clauses out of 20029 with flag 835000/835000
1522.59/784.54	c cleaning 9994 clauses out of 20033 with flag 845000/845000
1538.84/792.89	c cleaning 10004 clauses out of 20039 with flag 855000/855000
1556.27/801.70	c cleaning 10011 clauses out of 20037 with flag 865002/865002
1578.41/813.08	c cleaning 10001 clauses out of 20025 with flag 875001/875001
1598.42/823.22	c cleaning 10010 clauses out of 20025 with flag 885002/885002
1620.57/834.54	c cleaning 9989 clauses out of 20013 with flag 895000/895000
1639.36/844.14	c cleaning 9998 clauses out of 20026 with flag 905002/905002
1655.91/852.62	c cleaning 9996 clauses out of 20026 with flag 915000/915000
1676.67/863.21	c cleaning 10003 clauses out of 20030 with flag 925000/925000
1694.86/872.60	c cleaning 10001 clauses out of 20028 with flag 935001/935001
1711.70/881.14	c cleaning 10000 clauses out of 20027 with flag 945001/945001
1730.21/890.61	c cleaning 9984 clauses out of 20027 with flag 955001/955001
1741.69/896.56	c cleaning 9999 clauses out of 20043 with flag 965001/965001
1756.90/904.39	c cleaning 10016 clauses out of 20044 with flag 975001/975001
1775.92/914.05	c cleaning 10000 clauses out of 20028 with flag 985001/985001
1792.45/922.52	c cleaning 9988 clauses out of 20028 with flag 995001/995001
1800.15/926.52	c starts		: 196
1800.15/926.52	c conflicts		: 997121
1800.15/926.52	c decisions		: 1615794
1800.15/926.52	c propagations		: 77599262
1800.15/926.52	c inspects		: 336409925
1800.15/926.52	c learnt literals	: 0
1800.15/926.52	c learnt binary clauses	: 0
1800.15/926.52	c learnt ternary clauses	: 0
1800.15/926.52	c learnt clauses	: 997120
1800.15/926.52	c ignored clauses	: 0
1800.15/926.52	c root simplifications	: 0
1800.15/926.52	c removed literals (reason simplification)	: 31850280
1800.15/926.52	c reason swapping (by a shorter reason)	: 0
1800.15/926.52	c Calls to reduceDB	: 101
1800.15/926.52	c number of reductions to clauses (during analyze)	: 0
1800.15/926.52	c number of learned constraints concerned by reduction	: 0
1800.15/926.52	c number of learning phase by resolution	: 0
1800.15/926.52	c number of learning phase by cutting planes	: 0
1800.15/926.52	c speed (assignments/second)	: 85381.25071518481
1800.15/926.52	c non guided choices	1066
1800.36/926.62	c learnt constraints type 
1800.36/926.62	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 12213
1800.36/926.62	c constraints type 
1800.36/926.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 165
1800.36/926.62	c constraints type 
1800.36/926.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 165
1800.36/926.62	s SATISFIABLE
1800.36/926.65	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 x3638 x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x3680 x3681 x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 
1800.36/926.67	c objective function=3243008
1800.36/926.67	c Total wall clock time (in seconds): 926.451

Verifier Data 

OK	3243008

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662520-1276521569/watcher-2662520-1276521569 -o /tmp/evaluation-result-2662520-1276521569/solver-2662520-1276521569 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662520-1276521569.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 31950
/proc/meminfo: memFree=1783612/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1832 CPUtime=0
/proc/31950/stat : 31950 (java6) S 31948 31950 31603 0 -1 4194304 240 0 0 0 0 0 0 0 19 0 1 0 27758447 1875968 143 1992294400 134512640 134550932 4290075152 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0
/proc/31950/statm: 458 143 107 10 0 63 0

[startup+0.065906 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 31950
/proc/meminfo: memFree=1783612/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1521796 CPUtime=0.04
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 3660 0 1 0 2 2 0 0 18 0 7 0 27758447 1558319104 3101 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 380449 3101 1033 10 0 377759 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1521796

[startup+0.100912 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 31950
/proc/meminfo: memFree=1783612/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1524180 CPUtime=0.08
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 3952 0 1 0 6 2 0 0 18 0 12 0 27758447 1560760320 3391 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 381045 3391 1075 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524180

[startup+0.300953 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 31950
/proc/meminfo: memFree=1783612/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1526952 CPUtime=0.39
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 5532 0 1 0 35 4 0 0 18 0 12 0 27758447 1563598848 4968 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 381738 4968 1367 10 0 379041 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1526952

[startup+0.70103 s]
/proc/loadavg: 1.00 1.00 1.09 3/106 31950
/proc/meminfo: memFree=1783612/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1536468 CPUtime=1.18
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 9493 0 1 0 113 5 0 0 18 0 12 0 27758447 1573343232 8548 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 384117 8548 1388 10 0 381420 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 1536468

[startup+1.50219 s]
/proc/loadavg: 1.00 1.00 1.09 5/118 31962
/proc/meminfo: memFree=1744456/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1541936 CPUtime=2.77
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 15485 0 1 0 269 8 0 0 18 0 14 0 27758447 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 385484 12714 1414 10 0 382787 0
[pid=31950/tid=31952] ppid=31948 vsize=1541936 CPUtime=1.19
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 6955 0 1 0 115 4 0 0 20 0 14 0 27758448 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 27758450 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 14 0 27758450 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 27758451 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 27758452 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 27758452 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 27758456 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1541936 CPUtime=0.06
/proc/31950/task/31959/stat : 31959 (java) R 31948 31950 31603 0 -1 4202560 152 0 0 0 6 0 0 0 25 0 14 0 27758456 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 103146437 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1541936 CPUtime=1.23
/proc/31950/task/31960/stat : 31960 (java) R 31948 31950 31603 0 -1 4202560 6470 0 0 0 121 2 0 0 18 0 14 0 27758456 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 104163863 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 27758456 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1541936 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 27758456 1578942464 12714 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 1541936

[startup+3.1025 s]
/proc/loadavg: 1.00 1.00 1.09 6/122 31966
/proc/meminfo: memFree=1729048/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1543184 CPUtime=5.95
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 29985 0 1 0 579 16 0 0 18 0 16 0 27758447 1580220416 27140 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 385796 27141 1432 10 0 383099 0
[pid=31950/tid=31952] ppid=31948 vsize=1543184 CPUtime=1.19
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 6955 0 1 0 115 4 0 0 18 0 16 0 27758448 1580220416 27141 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 27758450 1580220416 27141 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 27758450 1580220416 27142 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 27758451 1580220416 27142 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 27758452 1580220416 27142 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 27758452 1580220416 27143 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 27758456 1580220416 27143 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1543184 CPUtime=0.23
/proc/31950/task/31959/stat : 31959 (java) R 31948 31950 31603 0 -1 4202560 258 0 0 0 23 0 0 0 25 0 16 0 27758456 1580220416 27143 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1543184 CPUtime=2.4
/proc/31950/task/31960/stat : 31960 (java) R 31948 31950 31603 0 -1 4202560 6708 0 0 0 238 2 0 0 20 0 16 0 27758456 1580220416 27144 1992294400 134512640 134550932 4289904240 18446744073709551615 105604741 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27758456 1580220416 27144 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 27758456 1580220416 27144 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31963] ppid=31948 vsize=1543184 CPUtime=0.78
/proc/31950/task/31963/stat : 31963 (java) R 31948 31950 31603 0 -1 4202560 1676 0 0 0 78 0 0 0 22 0 16 0 27758570 1580220416 27145 1992294400 134512640 134550932 4289904240 18446744073709551615 4109661218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31950/tid=31964] ppid=31948 vsize=1543184 CPUtime=1.3
/proc/31950/task/31964/stat : 31964 (java) R 31948 31950 31603 0 -1 4202560 13318 0 0 0 123 7 0 0 19 0 16 0 27758570 1580220416 27145 1992294400 134512640 134550932 4289904240 18446744073709551615 4109881594 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27758620 1580220416 27145 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1543184 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 27758628 1580220416 27146 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 1543184

[startup+6.30212 s]
/proc/loadavg: 0.92 0.98 1.08 2/120 31968
/proc/meminfo: memFree=1641024/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1543148 CPUtime=9.46
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 41508 0 1 0 925 21 0 0 18 0 14 0 27758447 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 385787 37926 1442 10 0 383090 0
[pid=31950/tid=31952] ppid=31948 vsize=1543148 CPUtime=1.26
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 7442 0 1 0 122 4 0 0 19 0 14 0 27758448 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1543148 CPUtime=0.01
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 600 0 0 0 1 0 0 0 18 0 14 0 27758450 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1543148 CPUtime=0.01
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 750 0 0 0 1 0 0 0 18 0 14 0 27758450 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 14 0 27758451 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 27758452 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 27758452 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 27758456 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1543148 CPUtime=0.59
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 31603 0 -1 4202560 504 0 0 0 59 0 0 0 16 0 14 0 27758456 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1543148 CPUtime=2.59
/proc/31950/task/31960/stat : 31960 (java) S 31948 31950 31603 0 -1 4202560 7033 0 0 0 256 3 0 0 15 0 14 0 27758456 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 27758456 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 27758456 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 14 0 27758620 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1543148 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 14 0 27758628 1580183552 37926 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (KiB) 1543148

[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 1.08 1/120 31976
/proc/meminfo: memFree=1598864/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1543308 CPUtime=14.86
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 51098 0 1 0 1461 25 0 0 18 0 14 0 27758447 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 385827 47250 1446 10 0 383130 0
[pid=31950/tid=31952] ppid=31948 vsize=1543308 CPUtime=1.33
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 7443 0 1 0 129 4 0 0 19 0 14 0 27758448 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1543308 CPUtime=0.11
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 2993 0 0 0 10 1 0 0 16 0 14 0 27758450 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1543308 CPUtime=0.15
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 4323 0 0 0 14 1 0 0 16 0 14 0 27758450 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 14 0 27758451 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 27758452 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 27758452 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 27758456 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1543308 CPUtime=0.82
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 31603 0 -1 4202560 521 0 0 0 82 0 0 0 16 0 14 0 27758456 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1543308 CPUtime=2.76
/proc/31950/task/31960/stat : 31960 (java) S 31948 31950 31603 0 -1 4202560 7088 0 0 0 273 3 0 0 16 0 14 0 27758456 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 27758456 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 27758456 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 14 0 27758620 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1543308 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 14 0 27758628 1580347392 47250 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.86
Current children cumulated vsize (KiB) 1543308

[startup+25.5017 s]
/proc/loadavg: 1.17 1.03 1.09 3/122 31986
/proc/meminfo: memFree=1583100/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1546768 CPUtime=32.21
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 57277 0 1 0 3192 29 0 0 18 0 16 0 27758447 1583890432 51287 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0

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

/proc/31950/statm: 386692 72507 1451 10 0 383995 0
[pid=31950/tid=31952] ppid=31948 vsize=1546768 CPUtime=1.41
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 7452 0 1 0 137 4 0 0 15 0 16 0 27758448 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1546768 CPUtime=5.68
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 16800 0 0 0 544 24 0 0 16 0 16 0 27758450 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1546768 CPUtime=5.72
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 17993 0 0 0 556 16 0 0 16 0 16 0 27758450 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1546768 CPUtime=16.9
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 346 0 0 0 1680 10 0 0 15 0 16 0 27758451 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27758452 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27758452 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 27758456 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1546768 CPUtime=1.06
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 31603 0 -1 4202560 530 0 0 0 106 0 0 0 15 0 16 0 27758456 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1546768 CPUtime=3.52
/proc/31950/task/31960/stat : 31960 (java) S 31948 31950 31603 0 -1 4202560 9788 0 0 0 348 4 0 0 15 0 16 0 27758456 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27758456 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 27758456 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27758620 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 27758628 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31985] ppid=31948 vsize=1546768 CPUtime=778.23
/proc/31950/task/31985/stat : 31985 (java) R 31948 31950 31603 0 -1 4202560 458 0 0 0 77808 15 0 0 25 0 16 0 27760213 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4109661137 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31950/tid=31986] ppid=31948 vsize=1546768 CPUtime=772.68
/proc/31950/task/31986/stat : 31986 (java) R 31948 31950 31603 0 -1 4202560 700 0 0 0 77242 26 0 0 25 0 16 0 27760213 1583890432 72507 1992294400 134512640 134550932 4289904240 18446744073709551615 4109793123 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1596.63
Current children cumulated vsize (KiB) 1546768

[startup+882.302 s]
/proc/loadavg: 2.14 1.98 1.64 3/122 32008
/proc/meminfo: memFree=1492332/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1546768 CPUtime=1713.73
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 84225 0 1 0 171251 122 0 0 18 0 16 0 27758447 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 386692 73449 1451 10 0 383995 0
[pid=31950/tid=31952] ppid=31948 vsize=1546768 CPUtime=1.41
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 7453 0 1 0 137 4 0 0 15 0 16 0 27758448 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1546768 CPUtime=6.29
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 17383 0 0 0 604 25 0 0 16 0 16 0 27758450 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1546768 CPUtime=6.33
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 18719 0 0 0 616 17 0 0 15 0 16 0 27758450 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1546768 CPUtime=18.82
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 350 0 0 0 1872 10 0 0 15 0 16 0 27758451 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27758452 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27758452 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1546768 CPUtime=1.06
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 31603 0 -1 4202560 530 0 0 0 106 0 0 0 15 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1546768 CPUtime=3.52
/proc/31950/task/31960/stat : 31960 (java) S 31948 31950 31603 0 -1 4202560 9788 0 0 0 348 4 0 0 15 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27758620 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 27758628 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31985] ppid=31948 vsize=1546768 CPUtime=835.05
/proc/31950/task/31985/stat : 31985 (java) R 31948 31950 31603 0 -1 4202560 492 0 0 0 83490 15 0 0 25 0 16 0 27760213 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4109659846 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31950/tid=31986] ppid=31948 vsize=1546768 CPUtime=829.8
/proc/31950/task/31986/stat : 31986 (java) R 31948 31950 31603 0 -1 4202560 747 0 0 0 82951 29 0 0 25 0 16 0 27760213 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4110062132 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1713.73
Current children cumulated vsize (KiB) 1546768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+926.502 s]
/proc/loadavg: 2.19 2.01 1.66 4/122 32010
/proc/meminfo: memFree=1492332/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1546768 CPUtime=1800.15
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 84292 0 1 0 179889 126 0 0 18 0 16 0 27758447 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 386692 73449 1451 10 0 383995 0
[pid=31950/tid=31952] ppid=31948 vsize=1546768 CPUtime=1.41
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 7453 0 1 0 137 4 0 0 15 0 16 0 27758448 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1546768 CPUtime=6.67
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 17383 0 0 0 641 26 0 0 15 0 16 0 27758450 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1546768 CPUtime=6.72
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 18719 0 0 0 654 18 0 0 16 0 16 0 27758450 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1546768 CPUtime=20.19
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 352 0 0 0 2008 11 0 0 15 0 16 0 27758451 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27758452 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27758452 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1546768 CPUtime=1.06
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 31603 0 -1 4202560 530 0 0 0 106 0 0 0 15 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1546768 CPUtime=3.52
/proc/31950/task/31960/stat : 31960 (java) S 31948 31950 31603 0 -1 4202560 9788 0 0 0 348 4 0 0 15 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 27758456 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27758620 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1546768 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 16 0 27758628 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31985] ppid=31948 vsize=1546768 CPUtime=877.47
/proc/31950/task/31985/stat : 31985 (java) R 31948 31950 31603 0 -1 4202560 517 0 0 0 87731 16 0 0 20 0 16 0 27760213 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4109874239 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31950/tid=31986] ppid=31948 vsize=1546768 CPUtime=871.66
/proc/31950/task/31986/stat : 31986 (java) R 31948 31950 31603 0 -1 4202560 785 0 0 0 87137 29 0 0 25 0 16 0 27760213 1583890432 73449 1992294400 134512640 134550932 4289904240 18446744073709551615 4109659659 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1546768

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

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

[startup+926.617 s]
/proc/loadavg: 2.19 2.01 1.66 4/122 32010
/proc/meminfo: memFree=1492332/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=1547416 CPUtime=1800.36
/proc/31950/stat : 31950 (java) S 31948 31950 31603 0 -1 4202496 84309 0 1 0 179910 126 0 0 18 0 18 0 27758447 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 386854 73466 1451 10 0 384157 0
[pid=31950/tid=31952] ppid=31948 vsize=1547416 CPUtime=1.41
/proc/31950/task/31952/stat : 31952 (java) S 31948 31950 31603 0 -1 4202560 7453 0 1 0 137 4 0 0 15 0 18 0 27758448 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31953] ppid=31948 vsize=1547416 CPUtime=6.67
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 31603 0 -1 4202560 17383 0 0 0 641 26 0 0 15 0 18 0 27758450 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31954] ppid=31948 vsize=1547416 CPUtime=6.72
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 31603 0 -1 4202560 18719 0 0 0 654 18 0 0 16 0 18 0 27758450 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31955] ppid=31948 vsize=1547416 CPUtime=20.19
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 31603 0 -1 4202560 352 0 0 0 2008 11 0 0 15 0 18 0 27758451 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 0 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31956] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 31603 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 27758452 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31957] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 31603 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 27758452 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31958] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 31603 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 27758456 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31959] ppid=31948 vsize=1547416 CPUtime=1.06
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 31603 0 -1 4202560 530 0 0 0 106 0 0 0 15 0 18 0 27758456 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31960] ppid=31948 vsize=1547416 CPUtime=3.52
/proc/31950/task/31960/stat : 31960 (java) S 31948 31950 31603 0 -1 4202560 9788 0 0 0 348 4 0 0 15 0 18 0 27758456 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31961] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31961/stat : 31961 (java) S 31948 31950 31603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 27758456 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31962] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31962/stat : 31962 (java) S 31948 31950 31603 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 27758456 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 1 0 0 0
[pid=31950/tid=31965] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31965/stat : 31965 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 18 0 27758620 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31966] ppid=31948 vsize=1547416 CPUtime=0
/proc/31950/task/31966/stat : 31966 (java) S 31948 31950 31603 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 18 0 27758628 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4294960144 0 4 0 16800975 18446604437846398848 0 0 -1 0 0 0 0
[pid=31950/tid=31985] ppid=31948 vsize=1547416 CPUtime=877.56
/proc/31950/task/31985/stat : 31985 (java) R 31948 31950 31603 0 -1 4202560 517 0 0 0 87740 16 0 0 21 0 18 0 27760213 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4109872889 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31950/tid=31986] ppid=31948 vsize=1547416 CPUtime=871.77
/proc/31950/task/31986/stat : 31986 (java) R 31948 31950 31603 0 -1 4202560 785 0 0 0 87148 29 0 0 25 0 18 0 27760213 1584553984 73466 1992294400 134512640 134550932 4289904240 18446744073709551615 4109661058 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 1547416

[startup+926.702 s]
/proc/loadavg: 2.19 2.01 1.66 4/122 32010
/proc/meminfo: memFree=1492332/2059040 swapFree=4136184/4192956
[pid=31950] ppid=31948 vsize=0 CPUtime=1800.51
/proc/31950/stat : 31950 (java) Z 31948 31950 31603 0 -1 4203548 84315 0 1 0 179925 126 0 0 16 0 2 0 27758447 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31950/statm: 0 0 0 0 0 0 0
[pid=31950/tid=31985] ppid=31948 vsize=0 CPUtime=877.59
/proc/31950/task/31985/stat : 31985 (java) R 31948 31950 31603 0 -1 4203588 517 0 0 0 87742 17 0 0 21 0 2 0 27760213 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 926.726
CPU time (s): 1800.55
CPU user time (s): 1799.25
CPU system time (s): 1.2928
CPU usage (%): 194.291
Max. virtual memory (cumulated for all children) (KiB): 1550760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.2928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84315
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32144
involuntary context switches= 54777

runsolver used 5.41418 second user time and 7.83881 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 15:19:29
IDJOB=2662520
IDBENCH=2295
IDSOLVER=1166
FILE ID=node011/2662520-1276521569
PBS_JOBID= 11173437
Free space on /tmp= 62264 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662520-1276521569/watcher-2662520-1276521569 -o /tmp/evaluation-result-2662520-1276521569/solver-2662520-1276521569 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662520-1276521569.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920
RANDOM SEED=1129096628

node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1784008 kB
Buffers:         94484 kB
Cached:         104024 kB
SwapCached:       9796 kB
Active:          94092 kB
Inactive:       116748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1784008 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:             556 kB
Writeback:           0 kB
AnonPages:       10948 kB
Mapped:           9140 kB
Slab:            42272 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62264 MiB
End job on node011 at 2010-06-14 15:34:57