Trace number 4103142

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)3729408 1800.74 898.564

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
MD5SUMb5587ac28cf407bbfa21e21c74984478
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3729408
Best CPU time to get the best result obtained on this benchmark1800.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3581952
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
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 constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 511129031204
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 511129031204
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103142-1466219716.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.55/0.37	c ... done. Wall clock time 0.256s.
0.55/0.37	c declared #vars     3100
0.55/0.37	c #constraints  140
0.55/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 140
0.55/0.38	c 140 constraints processed.
0.55/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPb => 140
0.55/0.38	c 140 constraints processed.
0.55/0.38	c objective function length is 3100 literals
2.05/0.78	c And the winner is solver0
2.39/0.88	c SATISFIABLE
2.39/0.88	c OPTIMIZING...
2.39/0.88	c Got one! Elapsed wall clock time (in seconds):0.764
2.39/0.88	o 12131142
2.75/1.02	c And the winner is solver0
2.84/1.39	c Got one! Elapsed wall clock time (in seconds):1.272
2.84/1.39	o 7638845
2.85/1.40	c And the winner is solver0
2.89/1.90	c Got one! Elapsed wall clock time (in seconds):1.778
2.89/1.90	o 4822016
4.83/2.69	c cleaning 3195 clauses out of 6389 with flag 16426/6389
5.28/2.88	c And the winner is solver1
5.45/2.90	c Got one! Elapsed wall clock time (in seconds):2.784
5.45/2.90	o 4025344
6.71/3.47	c cleaning 4305 clauses out of 8613 with flag 15796/11808
8.37/4.28	c cleaning 5153 clauses out of 10307 with flag 39456/17807
10.40/5.24	c cleaning 6076 clauses out of 12155 with flag 64442/24808
12.25/6.17	c cleaning 7034 clauses out of 14078 with flag 90414/32807
14.90/7.44	c cleaning 8022 clauses out of 16045 with flag 121733/41808
17.54/8.70	c And the winner is solver1
17.59/8.91	c Got one! Elapsed wall clock time (in seconds):8.789
17.59/8.91	o 3874816
18.99/9.61	c cleaning 10703 clauses out of 21413 with flag 16460/55198
20.58/10.46	c cleaning 8352 clauses out of 16710 with flag 37299/61198
22.42/11.34	c cleaning 7679 clauses out of 15357 with flag 59939/68197
24.42/12.31	c cleaning 7836 clauses out of 15678 with flag 85230/76197
25.42/12.83	c And the winner is solver1
25.54/12.91	c Got one! Elapsed wall clock time (in seconds):12.792
25.54/12.91	o 3729408
25.71/13.05	c cleaning 6521 clauses out of 13049 with flag 3502/81404
27.31/13.80	c cleaning 6261 clauses out of 12529 with flag 23692/87405
28.91/14.69	c cleaning 6631 clauses out of 13268 with flag 47386/94405
31.16/15.75	c cleaning 7315 clauses out of 14636 with flag 74023/102404
33.56/16.98	c cleaning 8155 clauses out of 16322 with flag 105026/111405
36.36/18.34	c cleaning 9078 clauses out of 18166 with flag 139701/121404
39.38/19.90	c cleaning 10036 clauses out of 20088 with flag 177070/132404
43.03/21.64	c cleaning 11024 clauses out of 22052 with flag 220712/144404
46.63/23.41	c cleaning 12009 clauses out of 24029 with flag 265755/157405
50.45/25.33	c cleaning 13007 clauses out of 26019 with flag 314958/171404
54.90/27.59	c cleaning 13994 clauses out of 28013 with flag 368686/186405
59.89/30.03	c cleaning 15002 clauses out of 30020 with flag 424991/202406
64.88/32.52	c cleaning 16005 clauses out of 32016 with flag 484826/219404
70.36/35.27	c cleaning 17001 clauses out of 34011 with flag 549202/237404
75.96/38.09	c cleaning 18003 clauses out of 36012 with flag 615350/256406
81.95/41.03	c cleaning 19004 clauses out of 38008 with flag 679526/276405
87.63/43.89	c cleaning 20000 clauses out of 40005 with flag 744515/297406
94.02/47.01	c cleaning 21000 clauses out of 42003 with flag 810522/319404
101.07/50.50	c cleaning 22001 clauses out of 44004 with flag 886854/342405
108.27/54.16	c cleaning 22989 clauses out of 46002 with flag 974210/366404
116.14/58.09	c cleaning 24006 clauses out of 48016 with flag 1060699/391407
124.14/62.00	c cleaning 24996 clauses out of 50007 with flag 1144802/417404
133.01/66.41	c cleaning 26004 clauses out of 52011 with flag 1232349/444404
142.21/71.09	c cleaning 27001 clauses out of 54007 with flag 1326478/472404
152.11/75.96	c cleaning 28002 clauses out of 56009 with flag 1421935/501407
161.95/80.86	c cleaning 29002 clauses out of 58005 with flag 1521319/531405
172.62/86.17	c cleaning 29998 clauses out of 60004 with flag 1624431/562406
183.65/91.64	c cleaning 30994 clauses out of 62004 with flag 1727709/594404
194.90/97.22	c cleaning 32001 clauses out of 64011 with flag 1831069/627405
207.20/103.36	c cleaning 32995 clauses out of 66009 with flag 1939735/661404
219.05/109.21	c cleaning 33998 clauses out of 68014 with flag 2047119/696404
231.32/115.35	c cleaning 34999 clauses out of 70016 with flag 2157282/732404
245.00/122.13	c cleaning 36008 clauses out of 72017 with flag 2277121/769404
258.27/128.76	c cleaning 37001 clauses out of 74009 with flag 2391024/807404
271.70/135.67	c cleaning 37999 clauses out of 76008 with flag 2511182/846404
285.75/142.69	c cleaning 38989 clauses out of 78009 with flag 2635517/886404
300.03/149.72	c cleaning 40005 clauses out of 80020 with flag 2761554/927404
315.51/157.43	c cleaning 41003 clauses out of 82016 with flag 2895109/969405
330.55/164.90	c cleaning 42003 clauses out of 84013 with flag 3020948/1012405
347.19/173.21	c cleaning 43004 clauses out of 86010 with flag 3149189/1056405
364.28/181.72	c cleaning 43999 clauses out of 88007 with flag 3279203/1101406
382.17/190.68	c cleaning 44987 clauses out of 90006 with flag 3420211/1147404
398.58/198.83	c cleaning 46006 clauses out of 92019 with flag 3558987/1194404
418.24/208.83	c cleaning 47003 clauses out of 94014 with flag 3723775/1242405
436.69/218.04	c cleaning 47994 clauses out of 96010 with flag 3871765/1291404
454.76/227.03	c cleaning 49006 clauses out of 98017 with flag 4019565/1341405
474.38/236.88	c cleaning 49990 clauses out of 100010 with flag 4179141/1392404
494.08/246.63	c cleaning 51006 clauses out of 102020 with flag 4333685/1444404
516.55/257.84	c cleaning 52002 clauses out of 104014 with flag 4492087/1497404
540.45/269.76	c cleaning 53001 clauses out of 106013 with flag 4658528/1551405
566.14/282.59	c cleaning 54002 clauses out of 108011 with flag 4828811/1606404
590.48/294.67	c cleaning 55003 clauses out of 110009 with flag 5011593/1662404
613.98/306.32	c cleaning 55993 clauses out of 112008 with flag 5188746/1719406
636.41/317.74	c cleaning 56999 clauses out of 114015 with flag 5353608/1777406
659.65/329.38	c cleaning 58002 clauses out of 116015 with flag 5513929/1836405
685.34/342.14	c cleaning 59005 clauses out of 118013 with flag 5705451/1896405
711.58/355.24	c cleaning 59995 clauses out of 120007 with flag 5912319/1957404
737.69/368.21	c cleaning 61004 clauses out of 122014 with flag 6122656/2019406
764.33/381.56	c cleaning 61999 clauses out of 124009 with flag 6321320/2082405
789.58/394.15	c cleaning 62997 clauses out of 126009 with flag 6505343/2146404
815.90/407.26	c cleaning 64002 clauses out of 128012 with flag 6713434/2211404
842.54/420.51	c cleaning 65001 clauses out of 130010 with flag 6916763/2277404
868.57/433.59	c cleaning 65991 clauses out of 132009 with flag 7124860/2344404
895.77/447.12	c cleaning 67006 clauses out of 134019 with flag 7327178/2412405
925.43/461.91	c cleaning 68006 clauses out of 136013 with flag 7536002/2481405
954.62/476.52	c cleaning 68982 clauses out of 138006 with flag 7742753/2551404
987.57/492.96	c cleaning 70009 clauses out of 140024 with flag 7964158/2622404
1014.92/506.64	c cleaning 70996 clauses out of 142015 with flag 8187786/2694404
1045.38/521.82	c cleaning 72006 clauses out of 144019 with flag 8407153/2767404
1077.83/538.05	c cleaning 73002 clauses out of 146013 with flag 8644119/2841404
1112.36/555.25	c cleaning 74000 clauses out of 148012 with flag 8900228/2916405
1147.52/573.15	c cleaning 75003 clauses out of 150011 with flag 9129616/2992404
1181.61/590.17	c cleaning 76004 clauses out of 152008 with flag 9360635/3069404
1213.06/605.81	c cleaning 76985 clauses out of 154004 with flag 9582904/3147404
1250.31/624.42	c cleaning 78004 clauses out of 156019 with flag 9845023/3226404
1287.15/642.80	c cleaning 78995 clauses out of 158017 with flag 10096315/3306406
1320.40/659.41	c cleaning 80006 clauses out of 160020 with flag 10322894/3387404
1353.44/675.91	c cleaning 80996 clauses out of 162015 with flag 10547352/3469405
1386.51/692.44	c cleaning 81996 clauses out of 164018 with flag 10784655/3552404
1425.07/711.68	c cleaning 83005 clauses out of 166023 with flag 11031448/3636405
1466.94/732.52	c cleaning 84001 clauses out of 168017 with flag 11295111/3721404
1506.81/752.46	c cleaning 85006 clauses out of 170019 with flag 11559440/3807407
1548.90/773.30	c cleaning 85993 clauses out of 172011 with flag 11814488/3894405
1594.81/796.15	c cleaning 87009 clauses out of 174018 with flag 12100516/3982405
1634.51/815.96	c cleaning 87990 clauses out of 176008 with flag 12373814/4071404
1676.88/837.08	c cleaning 88998 clauses out of 178019 with flag 12640848/4161405
1721.14/859.11	c cleaning 90007 clauses out of 180022 with flag 12922914/4252406
1769.40/883.24	c cleaning 91005 clauses out of 182013 with flag 13221058/4344404
1800.09/898.50	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.09/898.50	c starts		: 19544
1800.09/898.50	c conflicts		: 4411030
1800.09/898.50	c decisions		: 11017650
1800.09/898.50	c propagations		: 457117944
1800.09/898.50	c inspects		: 10003489031
1800.09/898.50	c shortcuts		: 0
1800.09/898.50	c learnt literals	: 0
1800.09/898.50	c learnt binary clauses	: 0
1800.09/898.50	c learnt ternary clauses	: 0
1800.09/898.50	c learnt constraints	: 4411030
1800.09/898.50	c ignored constraints	: 0
1800.09/898.50	c root simplifications	: 0
1800.09/898.50	c removed literals (reason simplification)	: 2973511
1800.09/898.50	c reason swapping (by a shorter reason)	: 0
1800.09/898.50	c Calls to reduceDB	: 98
1800.09/898.50	c Number of update (reduction) of LBD	: 905078
1800.09/898.50	c Imported unit clauses	: 0
1800.09/898.50	c number of reductions to clauses (during analyze)	: 0
1800.09/898.50	c number of learned constraints concerned by reduction	: 0
1800.09/898.50	c number of learning phase by resolution	: 0
1800.09/898.50	c number of learning phase by cutting planes	: 0
1800.09/898.50	c speed (assignments/second)	: 516173.3352905972
1800.09/898.50	c non guided choices	0
1800.09/898.53	c learnt constraints type 
1800.09/898.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 157634
1800.09/898.53	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.09/898.53	c starts		: 8
1800.09/898.53	c conflicts		: 1448
1800.09/898.53	c decisions		: 63789
1800.09/898.53	c propagations		: 591502
1800.09/898.53	c inspects		: 100088108
1800.09/898.53	c shortcuts		: 0
1800.09/898.53	c learnt literals	: 0
1800.09/898.53	c learnt binary clauses	: 0
1800.09/898.53	c learnt ternary clauses	: 0
1800.09/898.53	c learnt constraints	: 1445
1800.09/898.53	c ignored constraints	: 0
1800.09/898.53	c root simplifications	: 0
1800.09/898.53	c removed literals (reason simplification)	: 0
1800.09/898.53	c reason swapping (by a shorter reason)	: 0
1800.09/898.53	c Calls to reduceDB	: 0
1800.09/898.53	c Number of update (reduction) of LBD	: 0
1800.09/898.53	c Imported unit clauses	: 0
1800.09/898.53	c number of reductions to clauses (during analyze)	: 0
1800.09/898.53	c number of learned constraints concerned by reduction	: 0
1800.09/898.53	c number of learning phase by resolution	: 0
1800.09/898.53	c number of learning phase by cutting planes	: 0
1800.09/898.53	c speed (assignments/second)	: 659.6968416074913
1800.09/898.53	c non guided choices	0
1800.09/898.53	c learnt constraints type 
1800.09/898.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1445
1800.09/898.53	s SATISFIABLE
1800.09/898.53	c Found 6 solution(s)
1800.09/898.54	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 
1800.09/898.54	c objective function=3729408
1800.09/898.54	c Total wall clock time (in seconds): 898.423

Verifier Data 

OK	3729408

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103142-1466219716/watcher-4103142-1466219716 -o /tmp/evaluation-result-4103142-1466219716/solver-4103142-1466219716 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103142-1466219716.opb 

pid=29209
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: 4.04 4.05 4.05 4/197 29212
/proc/meminfo: memFree=29093764/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/29212/stat : 29212 (java) R 29209 29212 22589 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 24017064 2560000 44 33554432000 1073741824 1073778376 140733848112112 140733609143400 211449638231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29212/statm: 625 46 37 9 0 29 0

[startup+0.100156 s]
/proc/loadavg: 4.04 4.05 4.05 4/197 29212
/proc/meminfo: memFree=29093764/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 24017064 9787879424 6044 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2389619 6044 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 4.04 4.05 4.05 4/197 29212
/proc/meminfo: memFree=29093764/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 5040 0 1 0 28 1 0 0 20 0 18 0 24017064 9787879424 7012 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2389619 7012 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300225 s]
/proc/loadavg: 4.04 4.05 4.05 4/197 29212
/proc/meminfo: memFree=29093764/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 12346 0 1 0 52 3 0 0 20 0 18 0 24017064 9787879424 13272 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2389619 13273 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 4.04 4.05 4.05 4/197 29212
/proc/meminfo: memFree=29093764/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 17382 0 1 0 201 4 0 0 20 0 22 0 24017064 10060525568 19217 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 19217 2259 9 0 2446860 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 4.04 4.05 4.05 3/216 29237
/proc/meminfo: memFree=28998048/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 19051 0 1 0 281 8 0 0 20 0 19 0 24017064 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 26981 2264 9 0 2446860 0
[pid=29212/tid=29214] ppid=29209 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/29212/task/29214/stat : 29214 (java) S 29209 29212 22589 0 -1 4202560 2467 0 1 0 34 2 0 0 20 0 19 0 24017065 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139963160789880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29215] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139963122281000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29216] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139963121228200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29217] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139963001727272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29218] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139963000674472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29219] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962999622696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29220] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962998569896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29221] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962997517096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29222] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29209 29212 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24017066 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962996464296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29223] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29209 29212 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24017067 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962514135528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29224] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29209 29212 22589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24017068 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962513081592 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29225] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29209 29212 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24017068 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962512028680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29226] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017070 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962510977168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29227] ppid=29209 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29209 29212 22589 0 -1 4202560 8520 0 0 0 73 2 0 0 20 0 19 0 24017070 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962509925304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29228] ppid=29209 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29209 29212 22589 0 -1 4202560 6706 0 0 0 66 1 0 0 20 0 19 0 24017070 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962508872504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29229] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017070 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962507819896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29230] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24017070 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962506767304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29234] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29234/stat : 29234 (java) S 29209 29212 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24017105 10060525568 26981 33554432000 1073741824 1073778376 140733848112112 139962502554408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.04 4.05 4.05 5/219 29243
/proc/meminfo: memFree=28940176/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=5.91 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 19976 0 1 0 580 11 0 0 20 0 22 0 24017064 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 46987 2286 9 0 2446860 0
[pid=29212/tid=29214] ppid=29209 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/29212/task/29214/stat : 29214 (java) S 29209 29212 22589 0 -1 4202560 2468 0 1 0 35 2 0 0 20 0 22 0 24017065 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139963160789880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29215] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29209 29212 22589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139963122281000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29216] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29209 29212 22589 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139963121228200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29217] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139963001727272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29218] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29209 29212 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139963000674472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29219] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29209 29212 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962999622696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29220] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29209 29212 22589 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962998569896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29221] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962997517096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29222] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29209 29212 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962996464296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29223] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29209 29212 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24017067 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962514135528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29224] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29209 29212 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962513081592 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29225] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29209 29212 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962512028680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29226] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962510977168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29227] ppid=29209 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29209 29212 22589 0 -1 4202560 9353 0 0 0 99 2 0 0 20 0 22 0 24017070 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962509925304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29228] ppid=29209 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29209 29212 22589 0 -1 4202560 6708 0 0 0 104 2 0 0 20 0 22 0 24017070 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962508872504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29229] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962507819896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29230] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962506767304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29243] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29243/stat : 29243 (java) S 29209 29212 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24017255 10060525568 46987 33554432000 1073741824 1073778376 140733848112112 139962505713320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 4.04 4.05 4.05 5/219 29246
/proc/meminfo: memFree=28875372/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=12.65 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 21846 0 1 0 1249 16 0 0 20 0 22 0 24017064 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 62946 2286 9 0 2446860 0
[pid=29212/tid=29214] ppid=29209 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/29212/task/29214/stat : 29214 (java) S 29209 29212 22589 0 -1 4202560 2468 0 1 0 35 2 0 0 20 0 22 0 24017065 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139963160789880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29215] ppid=29209 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29209 29212 22589 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139963122281000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29216] ppid=29209 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29209 29212 22589 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139963121228200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29217] ppid=29209 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29209 29212 22589 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139963001727272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29218] ppid=29209 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29209 29212 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139963000674472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29219] ppid=29209 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29209 29212 22589 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962999622696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29220] ppid=29209 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29209 29212 22589 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962998569896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29221] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29209 29212 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962997517096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29222] ppid=29209 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29209 29212 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 24017066 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962996464296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29223] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29209 29212 22589 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24017067 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962514135528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29224] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29209 29212 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962513081592 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29225] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29209 29212 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962512028680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29226] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962510977168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29227] ppid=29209 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29209 29212 22589 0 -1 4202560 11060 0 0 0 114 2 0 0 20 0 22 0 24017070 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962509925304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29228] ppid=29209 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29209 29212 22589 0 -1 4202560 6708 0 0 0 116 2 0 0 20 0 22 0 24017070 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962508872504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29229] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962507819896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29230] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962506767304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29243] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29243/stat : 29243 (java) S 29209 29212 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24017255 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962505713320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29244] ppid=29209 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/29212/task/29244/stat : 29244 (java) R 29209 29212 22589 0 -1 4202560 9 0 0 0 331 0 0 0 20 0 22 0 24017355 10060525568 62946 33554432000 1073741824 1073778376 140733848112112 139962504651152 139963002817778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29245] ppid=29209 vsize=9824732 CPUtime=3.31 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.26 4.15 4.09 5/219 29341
/proc/meminfo: memFree=26485236/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=1767.61 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 31017 0 1 0 176559 202 0 0 20 0 22 0 24017064 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 351253 2295 9 0 2446860 0
[pid=29212/tid=29214] ppid=29209 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/29212/task/29214/stat : 29214 (java) S 29209 29212 22589 0 -1 4202560 2479 0 1 0 38 4 0 0 20 0 22 0 24017065 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139963160789880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29215] ppid=29209 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29209 29212 22589 0 -1 4202560 803 0 0 0 158 18 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139963122281000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29216] ppid=29209 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29209 29212 22589 0 -1 4202560 688 0 0 0 144 15 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139963121228200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29217] ppid=29209 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29209 29212 22589 0 -1 4202560 525 0 0 0 157 16 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139963001727272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29218] ppid=29209 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29209 29212 22589 0 -1 4202560 583 0 0 0 130 16 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139963000674472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29219] ppid=29209 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29209 29212 22589 0 -1 4202560 724 0 0 0 154 17 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962999622696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29220] ppid=29209 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29209 29212 22589 0 -1 4202560 588 0 0 0 154 16 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962998569896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29221] ppid=29209 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29209 29212 22589 0 -1 4202560 832 0 0 0 157 18 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962997517096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29222] ppid=29209 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29209 29212 22589 0 -1 4202560 715 0 0 0 154 14 0 0 20 0 22 0 24017066 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962996464296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29223] ppid=29209 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29209 29212 22589 0 -1 4202560 1622 0 0 0 212 13 0 0 20 0 22 0 24017067 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962514135528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29224] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29209 29212 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962513081592 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29225] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29209 29212 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962512028680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29226] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962510977168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29227] ppid=29209 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29209 29212 22589 0 -1 4202560 11060 0 0 0 115 2 0 0 20 0 22 0 24017070 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962509925304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29228] ppid=29209 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29209 29212 22589 0 -1 4202560 6714 0 0 0 129 2 0 0 20 0 22 0 24017070 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962508872504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29229] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962507819896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29230] ppid=29209 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29209 29212 22589 0 -1 4202560 49 0 0 0 10 18 0 0 20 0 22 0 24017070 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962506767304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29243] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29243/stat : 29243 (java) S 29209 29212 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24017255 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962505713320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29250] ppid=29209 vsize=9824732 CPUtime=863.43 cores=1,3,5,7
/proc/29212/task/29250/stat : 29250 (java) R 29209 29212 22589 0 -1 4202560 223 0 0 0 86322 21 0 0 20 0 22 0 24018356 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962504658112 139963002344359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29251] ppid=29209 vsize=9824732 CPUtime=863.45 cores=1,3,5,7
/proc/29212/task/29251/stat : 29251 (java) R 29209 29212 22589 0 -1 4202560 1835 0 0 0 86316 29 0 0 20 0 22 0 24018356 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962503604960 139963003087444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29252] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29252/stat : 29252 (java) S 29209 29212 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24018356 10060525568 351253 33554432000 1073741824 1073778376 140733848112112 139962502555176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.61
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.501 s]
/proc/loadavg: 4.26 4.15 4.09 5/220 29344
/proc/meminfo: memFree=26484664/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 31039 0 1 0 179807 202 0 0 20 0 22 0 24017064 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 345488 2295 9 0 2446860 0
[pid=29212/tid=29214] ppid=29209 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/29212/task/29214/stat : 29214 (java) S 29209 29212 22589 0 -1 4202560 2479 0 1 0 38 4 0 0 20 0 22 0 24017065 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963160789880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29215] ppid=29209 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29209 29212 22589 0 -1 4202560 812 0 0 0 162 18 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963122281000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29216] ppid=29209 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29209 29212 22589 0 -1 4202560 688 0 0 0 146 15 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963121228200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29217] ppid=29209 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29209 29212 22589 0 -1 4202560 526 0 0 0 159 16 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963001727272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29218] ppid=29209 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29209 29212 22589 0 -1 4202560 583 0 0 0 133 16 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963000674472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29219] ppid=29209 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29209 29212 22589 0 -1 4202560 724 0 0 0 158 17 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962999622696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29220] ppid=29209 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29209 29212 22589 0 -1 4202560 588 0 0 0 156 16 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962998569896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29221] ppid=29209 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29209 29212 22589 0 -1 4202560 838 0 0 0 160 18 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962997517096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29222] ppid=29209 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29209 29212 22589 0 -1 4202560 715 0 0 0 156 14 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962996464296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29223] ppid=29209 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29209 29212 22589 0 -1 4202560 1624 0 0 0 212 13 0 0 20 0 22 0 24017067 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962514135528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29224] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29209 29212 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962513081592 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29225] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29209 29212 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962512028680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29226] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962510977168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29227] ppid=29209 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29209 29212 22589 0 -1 4202560 11060 0 0 0 115 2 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962509925304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29228] ppid=29209 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29209 29212 22589 0 -1 4202560 6714 0 0 0 129 2 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962508872504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29229] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962507819896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29230] ppid=29209 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29209 29212 22589 0 -1 4202560 51 0 0 0 11 18 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962506767304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29243] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29243/stat : 29243 (java) S 29209 29212 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24017255 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962505713320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29250] ppid=29209 vsize=9824732 CPUtime=879.56 cores=1,3,5,7
/proc/29212/task/29250/stat : 29250 (java) R 29209 29212 22589 0 -1 4202560 224 0 0 0 87935 21 0 0 20 0 22 0 24018356 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962504657312 139963002648140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29251] ppid=29209 vsize=9824732 CPUtime=879.58 cores=1,3,5,7
/proc/29212/task/29251/stat : 29251 (java) R 29209 29212 22589 0 -1 4202560 1836 0 0 0 87929 29 0 0 20 0 22 0 24018356 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962503605792 139963002638596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29252] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29252/stat : 29252 (java) S 29209 29212 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24018356 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962502555176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29212 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.501 s]
/proc/loadavg: 4.26 4.15 4.09 5/220 29344
/proc/meminfo: memFree=26484664/32872528 swapFree=496868/529572
[pid=29212] ppid=29209 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29209 29212 22589 0 -1 4202496 31039 0 1 0 179807 202 0 0 20 0 22 0 24017064 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 140733848103248 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29212/statm: 2456183 345488 2295 9 0 2446860 0
[pid=29212/tid=29214] ppid=29209 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/29212/task/29214/stat : 29214 (java) S 29209 29212 22589 0 -1 4202560 2479 0 1 0 38 4 0 0 20 0 22 0 24017065 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963160789880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29215] ppid=29209 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29209 29212 22589 0 -1 4202560 812 0 0 0 162 18 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963122281000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29216] ppid=29209 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29209 29212 22589 0 -1 4202560 688 0 0 0 146 15 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963121228200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29217] ppid=29209 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29209 29212 22589 0 -1 4202560 526 0 0 0 159 16 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963001727272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29218] ppid=29209 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29209 29212 22589 0 -1 4202560 583 0 0 0 133 16 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139963000674472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29219] ppid=29209 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29209 29212 22589 0 -1 4202560 724 0 0 0 158 17 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962999622696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29220] ppid=29209 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29209 29212 22589 0 -1 4202560 588 0 0 0 156 16 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962998569896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29221] ppid=29209 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29209 29212 22589 0 -1 4202560 838 0 0 0 160 18 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962997517096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29222] ppid=29209 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29209 29212 22589 0 -1 4202560 715 0 0 0 156 14 0 0 20 0 22 0 24017066 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962996464296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29223] ppid=29209 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29209 29212 22589 0 -1 4202560 1624 0 0 0 212 13 0 0 20 0 22 0 24017067 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962514135528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29224] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29209 29212 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962513081592 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29225] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29209 29212 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24017068 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962512028680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29226] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962510977168 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29227] ppid=29209 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29209 29212 22589 0 -1 4202560 11060 0 0 0 115 2 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962509925304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29228] ppid=29209 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29209 29212 22589 0 -1 4202560 6714 0 0 0 129 2 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962508872504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29212/tid=29229] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29209 29212 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962507819896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29230] ppid=29209 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29209 29212 22589 0 -1 4202560 51 0 0 0 11 18 0 0 20 0 22 0 24017070 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962506767304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29243] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29243/stat : 29243 (java) S 29209 29212 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24017255 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962505713320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29212/tid=29250] ppid=29209 vsize=9824732 CPUtime=879.56 cores=1,3,5,7
/proc/29212/task/29250/stat : 29250 (java) R 29209 29212 22589 0 -1 4202560 224 0 0 0 87935 21 0 0 20 0 22 0 24018356 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962504657312 139963002648140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29212/tid=29251] ppid=29209 vsize=9824732 CPUtime=879.58 cores=1,3,5,7
/proc/29212/task/29251/stat : 29251 (java) R 29209 29212 22589 0 -1 4202560 1836 0 0 0 87929 29 0 0 20 0 22 0 24018356 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962503605792 139963002638596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29212/tid=29252] ppid=29209 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29252/stat : 29252 (java) S 29209 29212 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24018356 10060525568 345488 33554432000 1073741824 1073778376 140733848112112 139962502555176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 898.564
CPU time (s): 1800.74
CPU user time (s): 1798.24
CPU system time (s): 2.50162
CPU usage (%): 200.402
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 2.50162
maximum resident set size= 1914936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31084
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25536
involuntary context switches= 32906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71283 second user time and 5.40518 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 05:15:16
IDJOB=4103142
IDBENCH=2280
IDSOLVER=2543
FILE ID=node141/4103142-1466219716
RUNJOBID= node141-1466206051-22606
PBS_JOBID= 19918136
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103142-1466219716/watcher-4103142-1466219716 -o /tmp/evaluation-result-4103142-1466219716/solver-4103142-1466219716 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103142-1466219716.opb

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

MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478
RANDOM SEED=1193213221

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29094028 kB
Buffers:           97176 kB
Cached:            94640 kB
SwapCached:         2524 kB
Active:          2376240 kB
Inactive:         133152 kB
Active(anon):    2317932 kB
Inactive(anon):     2020 kB
Active(file):      58308 kB
Inactive(file):   131132 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099064 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       2927852 kB
Mapped:            15464 kB
Shmem:                 0 kB
Slab:             603500 kB
SReclaimable:      47120 kB
SUnreclaim:       556380 kB
KernelStack:        1808 kB
PageTables:         9836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3239072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2293760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node141 at 2016-06-18 05:30:15