Trace number 4090550

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.07 1784.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMf511ebc8ef7d333a60d28a0c67ab699d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints117
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 5670
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5669
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090550-1466062309.wbo
0.10/0.11	c reading problem ... 
0.28/0.25	c ... done. Wall clock time 0.142s.
0.28/0.25	c declared #vars     3280
0.28/0.25	c internal #vars     3397
0.28/0.25	c #constraints  162
0.28/0.25	c constraints type 
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82
0.28/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.28/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 63
0.28/0.25	c 162 constraints processed.
0.28/0.25	c objective function length is 117 literals
0.86/0.52	c SATISFIABLE
0.86/0.52	c OPTIMIZING...
0.86/0.52	c Got one! Elapsed wall clock time (in seconds):0.415
0.86/0.52	o 115
0.86/0.57	c Got one! Elapsed wall clock time (in seconds):0.462
0.86/0.57	o 106
1.32/0.74	c Got one! Elapsed wall clock time (in seconds):0.632
1.32/0.74	o 48
1.44/0.86	c cleaning 2936 clauses out of 5874 with flag 5896/5874
2.22/1.54	c cleaning 4464 clauses out of 8939 with flag 44981/11875
2.41/1.76	c Got one! Elapsed wall clock time (in seconds):1.649
2.41/1.76	o 19
2.87/2.15	c cleaning 4870 clauses out of 9749 with flag 17459/17149
3.28/2.57	c cleaning 5429 clauses out of 10879 with flag 55422/23149
3.90/3.16	c cleaning 6215 clauses out of 12451 with flag 105719/30150
4.70/3.94	c cleaning 7106 clauses out of 14236 with flag 163891/38150
5.60/4.89	c cleaning 8055 clauses out of 16130 with flag 224896/47150
6.30/5.57	c Got one! Elapsed wall clock time (in seconds):5.461
6.30/5.57	o 14
6.75/5.93	c cleaning 9954 clauses out of 19928 with flag 29779/59003
7.35/6.52	c cleaning 7970 clauses out of 15975 with flag 69148/65004
8.14/7.39	c cleaning 7478 clauses out of 15006 with flag 116178/72005
9.24/8.44	c cleaning 7737 clauses out of 15527 with flag 182579/80004
10.44/9.67	c cleaning 8366 clauses out of 16790 with flag 256716/89004
11.84/11.08	c cleaning 9185 clauses out of 18424 with flag 338060/99004
13.73/12.91	c cleaning 10087 clauses out of 20239 with flag 432050/110004
15.97/15.13	c cleaning 11045 clauses out of 22151 with flag 530682/122003
18.37/17.55	c cleaning 12016 clauses out of 24106 with flag 629535/135003
20.97/20.18	c cleaning 13026 clauses out of 26091 with flag 749974/149004
24.08/23.25	c cleaning 14008 clauses out of 28065 with flag 886603/164004
24.97/24.16	c Got one! Elapsed wall clock time (in seconds):24.054
24.97/24.16	o 13
25.49/24.56	c cleaning 13083 clauses out of 26191 with flag 30344/176138
25.89/24.98	c cleaning 9525 clauses out of 19108 with flag 66157/182138
26.49/25.60	c cleaning 8264 clauses out of 16585 with flag 115926/189140
27.19/26.29	c cleaning 8130 clauses out of 16319 with flag 169729/197138
28.19/27.20	c cleaning 8563 clauses out of 17191 with flag 233774/206140
29.29/28.35	c cleaning 9283 clauses out of 18626 with flag 317036/216138
30.59/29.66	c cleaning 10146 clauses out of 20344 with flag 405818/227139
32.41/31.43	c cleaning 11067 clauses out of 22197 with flag 490904/239138
33.51/32.57	c cleaning 12055 clauses out of 24135 with flag 575528/252143
35.31/34.31	c cleaning 13016 clauses out of 26077 with flag 674159/266140
37.81/36.80	c cleaning 14014 clauses out of 28059 with flag 803611/281138
40.51/39.56	c cleaning 15005 clauses out of 30048 with flag 941012/297141
43.21/42.28	c cleaning 16001 clauses out of 32041 with flag 1072808/314139
46.41/45.42	c cleaning 17000 clauses out of 34039 with flag 1221001/332138
47.51/46.55	c Got one! Elapsed wall clock time (in seconds):46.442
47.51/46.55	o 4
47.91/46.92	c cleaning 14604 clauses out of 29321 with flag 27670/344420
48.21/47.29	c cleaning 10336 clauses out of 20714 with flag 65155/350417
48.91/47.93	c cleaning 8662 clauses out of 17378 with flag 115433/357417
49.57/48.56	c cleaning 8336 clauses out of 16717 with flag 164917/365418
50.36/49.30	c cleaning 8675 clauses out of 17381 with flag 216561/374418
51.26/50.26	c cleaning 9336 clauses out of 18708 with flag 286084/384420
52.46/51.43	c cleaning 10170 clauses out of 20373 with flag 357900/395421
54.06/53.00	c cleaning 11072 clauses out of 22200 with flag 443880/407418
55.96/54.92	c cleaning 12050 clauses out of 24130 with flag 540212/420420
57.76/56.74	c cleaning 13022 clauses out of 26077 with flag 643810/434417
59.56/58.52	c cleaning 14008 clauses out of 28055 with flag 742936/449417
61.96/60.91	c cleaning 15002 clauses out of 30047 with flag 870442/465417
64.66/63.57	c cleaning 16003 clauses out of 32047 with flag 996618/482419
67.86/66.78	c cleaning 17001 clauses out of 34042 with flag 1126225/500417
70.26/69.18	c cleaning 18004 clauses out of 36042 with flag 1254927/519418
71.76/70.62	c cleaning 18984 clauses out of 38040 with flag 1378227/539420
73.56/72.49	c cleaning 20010 clauses out of 40054 with flag 1516254/560418
76.06/74.90	c cleaning 20984 clauses out of 42045 with flag 1659482/582419
80.42/79.15	c cleaning 22020 clauses out of 44061 with flag 1832740/605419
83.93/82.64	c cleaning 22712 clauses out of 46039 with flag 2083045/629417
90.24/88.73	c cleaning 23831 clauses out of 48328 with flag 2456391/654418
94.13/92.61	c cleaning 25066 clauses out of 50497 with flag 2651961/680418
99.53/97.80	c cleaning 26031 clauses out of 52431 with flag 2850548/707418
105.63/103.92	c cleaning 27019 clauses out of 54402 with flag 3061028/735420
111.64/109.90	c cleaning 28000 clauses out of 56380 with flag 3312235/764417
118.94/117.06	c cleaning 29004 clauses out of 58380 with flag 3586341/794417
126.33/124.30	c cleaning 30000 clauses out of 60376 with flag 3855120/825417
134.03/131.99	c cleaning 31007 clauses out of 62378 with flag 4137037/857419
142.89/140.65	c cleaning 32000 clauses out of 64369 with flag 4436240/890417
152.09/149.80	c cleaning 32998 clauses out of 66369 with flag 4736782/924417
161.43/159.17	c cleaning 34004 clauses out of 68372 with flag 5042588/959418
171.81/169.50	c cleaning 35000 clauses out of 70368 with flag 5346465/995418
183.21/180.85	c cleaning 35997 clauses out of 72368 with flag 5637976/1032418
195.00/192.60	c cleaning 37000 clauses out of 74370 with flag 5936318/1070417
207.39/204.87	c cleaning 37999 clauses out of 76372 with flag 6257064/1109419
220.87/218.24	c cleaning 38997 clauses out of 78371 with flag 6606656/1149417
234.37/231.75	c cleaning 40003 clauses out of 80376 with flag 6958132/1190419
251.30/248.69	c cleaning 40999 clauses out of 82371 with flag 7342168/1232417
268.70/265.98	c cleaning 42000 clauses out of 84372 with flag 7723969/1275417
286.49/283.68	c cleaning 43002 clauses out of 86372 with flag 8115909/1319417
304.28/301.40	c cleaning 43999 clauses out of 88370 with flag 8491604/1364417
323.08/320.04	c cleaning 45007 clauses out of 90373 with flag 8858891/1410419
331.32/328.28	c cleaning 46108 clauses out of 92365 with flag 9177317/1457418
346.39/343.27	c cleaning 47052 clauses out of 94256 with flag 9536128/1505417
362.45/359.29	c cleaning 48028 clauses out of 96204 with flag 9859421/1554417
380.34/377.07	c cleaning 49017 clauses out of 98176 with flag 10179601/1604417
393.69/390.35	c cleaning 50055 clauses out of 100159 with flag 10537819/1655417
411.36/407.86	c cleaning 51027 clauses out of 102106 with flag 10947916/1707419
427.93/424.40	c cleaning 52012 clauses out of 104077 with flag 11376752/1760417
448.36/444.70	c cleaning 53008 clauses out of 106066 with flag 11843307/1814418
468.47/464.79	c cleaning 54007 clauses out of 108059 with flag 12330427/1869419
489.12/485.20	c cleaning 54989 clauses out of 110051 with flag 12855077/1925418
510.86/506.91	c cleaning 56007 clauses out of 112062 with flag 13421484/1982418
534.70/530.66	c cleaning 57001 clauses out of 114054 with flag 13986643/2040417
559.72/555.54	c cleaning 58001 clauses out of 116053 with flag 14578461/2099417
581.52/577.27	c cleaning 59003 clauses out of 118052 with flag 15203605/2159417
608.15/603.79	c cleaning 60001 clauses out of 120051 with flag 15794540/2220419
634.88/630.45	c cleaning 60998 clauses out of 122048 with flag 16440209/2282417
660.30/655.77	c cleaning 61999 clauses out of 124050 with flag 17016956/2345417
690.25/685.52	c cleaning 63002 clauses out of 126052 with flag 17672279/2409418
718.84/714.09	c cleaning 64000 clauses out of 128049 with flag 18357760/2474417
752.05/747.01	c cleaning 64991 clauses out of 130049 with flag 18962118/2540417
783.23/778.16	c cleaning 66004 clauses out of 132058 with flag 19580541/2607417
817.16/811.93	c cleaning 67008 clauses out of 134057 with flag 20216617/2675420
857.91/852.59	c cleaning 67999 clauses out of 136048 with flag 20893856/2744419
905.15/899.62	c cleaning 68998 clauses out of 138047 with flag 21571868/2814417
946.16/940.49	c cleaning 69997 clauses out of 140050 with flag 22245831/2885418
989.86/983.95	c cleaning 71001 clauses out of 142053 with flag 22952989/2957418
1034.15/1028.09	c cleaning 72002 clauses out of 144051 with flag 23683909/3030417
1075.89/1069.58	c cleaning 73001 clauses out of 146049 with flag 24399435/3104417
1102.43/1095.81	c cleaning 73995 clauses out of 148048 with flag 25028491/3179417
1120.21/1113.44	c cleaning 74978 clauses out of 150054 with flag 25539824/3255418
1142.18/1134.96	c cleaning 75718 clauses out of 152077 with flag 26282029/3332419
1165.20/1157.45	c cleaning 76852 clauses out of 154357 with flag 27067229/3410417
1208.76/1200.04	c cleaning 77938 clauses out of 156506 with flag 28091334/3489418
1238.85/1229.16	c cleaning 78994 clauses out of 158567 with flag 29286702/3569417
1269.59/1259.62	c cleaning 80271 clauses out of 160575 with flag 29831731/3650419
1294.16/1283.98	c cleaning 81087 clauses out of 162303 with flag 30397837/3732418
1337.80/1327.35	c cleaning 82071 clauses out of 164215 with flag 31059369/3815417
1358.80/1347.97	c cleaning 83046 clauses out of 166144 with flag 31609455/3899417
1390.97/1379.47	c cleaning 83999 clauses out of 168098 with flag 32200341/3984417
1421.14/1409.37	c cleaning 85033 clauses out of 170099 with flag 32851243/4070417
1438.01/1425.65	c cleaning 85959 clauses out of 172066 with flag 33416192/4157417
1456.80/1444.02	c cleaning 87021 clauses out of 174109 with flag 33979610/4245419
1481.61/1468.32	c cleaning 87857 clauses out of 176087 with flag 34703678/4334418
1506.84/1493.16	c cleaning 89115 clauses out of 178229 with flag 35441398/4424417
1540.57/1526.16	c cleaning 89787 clauses out of 180114 with flag 36378740/4515417
1600.00/1585.45	c cleaning 91110 clauses out of 182327 with flag 37125776/4607417
1661.59/1646.87	c cleaning 92063 clauses out of 184217 with flag 37843615/4700417
1717.68/1702.63	c cleaning 93029 clauses out of 186154 with flag 38695322/4794417
1774.16/1758.68	c cleaning 94016 clauses out of 188127 with flag 39516820/4889419
1800.07/1784.03	c starts		: 8401
1800.07/1784.03	c conflicts		: 4946098
1800.07/1784.03	c decisions		: 16282068
1800.07/1784.03	c propagations		: 97195556
1800.07/1784.03	c inspects		: 30648088785
1800.07/1784.03	c shortcuts		: 0
1800.07/1784.03	c learnt literals	: 0
1800.07/1784.03	c learnt binary clauses	: 0
1800.07/1784.03	c learnt ternary clauses	: 0
1800.07/1784.03	c learnt constraints	: 4946098
1800.07/1784.03	c ignored constraints	: 0
1800.07/1784.03	c root simplifications	: 0
1800.07/1784.03	c removed literals (reason simplification)	: 0
1800.07/1784.03	c reason swapping (by a shorter reason)	: 0
1800.07/1784.03	c Calls to reduceDB	: 123
1800.07/1784.03	c Number of update (reduction) of LBD	: 2684394
1800.07/1784.03	c Imported unit clauses	: 0
1800.07/1784.03	c number of reductions to clauses (during analyze)	: 0
1800.07/1784.03	c number of learned constraints concerned by reduction	: 0
1800.07/1784.03	c number of learning phase by resolution	: 0
1800.07/1784.03	c number of learning phase by cutting planes	: 0
1800.07/1784.03	c speed (assignments/second)	: 54488.777713743686
1800.07/1784.03	c non guided choices	310964
1800.07/1784.06	c learnt constraints type 
1800.07/1784.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150790
1800.07/1784.06	s SATISFIABLE
1800.07/1784.06	c Found 7 solution(s)
1800.07/1784.07	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 
1800.07/1784.07	c objective function=4
1800.07/1784.07	c Total wall clock time (in seconds): 1783.962

Verifier Data 

OK	4

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-4090550-1466062309/watcher-4090550-1466062309 -o /tmp/evaluation-result-4090550-1466062309/solver-4090550-1466062309 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466062135-10518 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090550-1466062309.wbo 

pid=10699
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.97 0.91 0.37 3/194 10702
/proc/meminfo: memFree=31486292/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10702/stat : 10702 (java) D 10699 10702 10502 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 8281077 9515008 186 33554432000 1073741824 1073778376 140737379448336 140737379437400 270109076775 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2323 186 143 9 0 71 0

[startup+0.100155 s]
/proc/loadavg: 1.97 0.91 0.37 3/194 10702
/proc/meminfo: memFree=31486292/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 4419 0 1 0 9 1 0 0 20 0 18 0 8281077 9787879424 6047 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2389619 6048 2132 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200275 s]
/proc/loadavg: 1.97 0.91 0.37 3/194 10702
/proc/meminfo: memFree=31486292/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 4996 0 1 0 27 1 0 0 20 0 18 0 8281077 9787879424 6943 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2389619 6943 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300282 s]
/proc/loadavg: 1.97 0.91 0.37 3/194 10702
/proc/meminfo: memFree=31486292/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 5916 0 1 0 48 1 0 0 20 0 19 0 8281077 9856040960 9005 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 9008 2246 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700173 s]
/proc/loadavg: 1.97 0.91 0.37 3/194 10702
/proc/meminfo: memFree=31486292/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 11034 0 1 0 130 2 0 0 20 0 19 0 8281077 9856040960 12752 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 12752 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 1.97 0.92 0.38 3/213 10721
/proc/meminfo: memFree=31426636/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 11083 0 1 0 220 2 0 0 20 0 19 0 8281077 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 15353 2261 9 0 2396937 0
[pid=10702/tid=10704] ppid=10699 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10702/task/10704/stat : 10704 (java) R 10699 10702 10502 0 -1 4202560 2418 0 1 0 145 1 0 0 20 0 19 0 8281077 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276763737432 140276602047224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10705] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10705/stat : 10705 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276725229864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10706] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10706/stat : 10706 (java) S 10699 10702 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276724177064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10707] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10707/stat : 10707 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276723124776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10708] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10708/stat : 10708 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276722071976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10709] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10709/stat : 10709 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276721019688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10710] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10710/stat : 10710 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276719966888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10711] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10711/stat : 10711 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276601449512 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10712] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10712/stat : 10712 (java) S 10699 10702 10502 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276600396712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10713] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10713/stat : 10713 (java) S 10699 10702 10502 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8281079 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276587985128 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10714] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10714/stat : 10714 (java) S 10699 10702 10502 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276586931192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10715] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10715/stat : 10715 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140276585878792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10716] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10716/stat : 10716 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140275846474128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10717] ppid=10699 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10702/task/10717/stat : 10717 (java) S 10699 10702 10502 0 -1 4202560 4380 0 0 0 42 0 0 0 20 0 19 0 8281082 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140275845421752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10718] ppid=10699 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10702/task/10718/stat : 10718 (java) S 10699 10702 10502 0 -1 4202560 3012 0 0 0 29 0 0 0 20 0 19 0 8281082 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140275844368952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10719] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10719/stat : 10719 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140275843316856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10720] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10720/stat : 10720 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140275842264264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 15353 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 1.97 0.92 0.38 3/213 10721
/proc/meminfo: memFree=31405288/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 11893 0 1 0 387 3 0 0 20 0 19 0 8281077 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 19965 2261 9 0 2396937 0
[pid=10702/tid=10704] ppid=10699 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10702/task/10704/stat : 10704 (java) R 10699 10702 10502 0 -1 4202560 2428 0 1 0 304 2 0 0 20 0 19 0 8281077 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276763738344 140276602047327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10705] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10705/stat : 10705 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276725229864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10706] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10706/stat : 10706 (java) S 10699 10702 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276724177064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10707] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10707/stat : 10707 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276723124776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10708] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10708/stat : 10708 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276722071976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10709] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10709/stat : 10709 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276721019688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10710] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10710/stat : 10710 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276719966888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10711] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10711/stat : 10711 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276601449512 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10712] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10712/stat : 10712 (java) S 10699 10702 10502 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276600396712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10713] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10713/stat : 10713 (java) S 10699 10702 10502 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8281079 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276587985128 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10714] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10714/stat : 10714 (java) S 10699 10702 10502 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276586931192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10715] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10715/stat : 10715 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140276585878792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10716] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10716/stat : 10716 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140275846474128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10717] ppid=10699 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10702/task/10717/stat : 10717 (java) S 10699 10702 10502 0 -1 4202560 4381 0 0 0 45 0 0 0 20 0 19 0 8281082 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140275845421752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10718] ppid=10699 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/10702/task/10718/stat : 10718 (java) S 10699 10702 10502 0 -1 4202560 3811 0 0 0 34 0 0 0 20 0 19 0 8281082 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140275844368952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10719] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10719/stat : 10719 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140275843316856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10720] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10720/stat : 10720 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140275842264264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 19965 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040

[startup+6.30067 s]
/proc/loadavg: 1.97 0.92 0.38 3/213 10721
/proc/meminfo: memFree=31342304/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=7.15 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 11921 0 1 0 711 4 0 0 20 0 19 0 8281077 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 28253 2261 9 0 2396937 0
[pid=10702/tid=10704] ppid=10699 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/10702/task/10704/stat : 10704 (java) R 10699 10702 10502 0 -1 4202560 2446 0 1 0 622 2 0 0 20 0 19 0 8281077 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276763729568 140276601968511 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10705] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10705/stat : 10705 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276725229864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10706] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10706/stat : 10706 (java) S 10699 10702 10502 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276724177064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10707] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10707/stat : 10707 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276723124776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10708] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10708/stat : 10708 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276722071976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10709] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10709/stat : 10709 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276721019688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10710] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10710/stat : 10710 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276719966888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10711] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10711/stat : 10711 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276601449512 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10712] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10712/stat : 10712 (java) S 10699 10702 10502 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8281078 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276600396712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10713] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10713/stat : 10713 (java) S 10699 10702 10502 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8281079 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276587985128 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10714] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10714/stat : 10714 (java) S 10699 10702 10502 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276586931192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10715] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10715/stat : 10715 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140276585878792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10716] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10716/stat : 10716 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140275846474128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10717] ppid=10699 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10702/task/10717/stat : 10717 (java) S 10699 10702 10502 0 -1 4202560 4391 0 0 0 50 0 0 0 20 0 19 0 8281082 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140275845421752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10718] ppid=10699 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10702/task/10718/stat : 10718 (java) S 10699 10702 10502 0 -1 4202560 3811 0 0 0 35 0 0 0 20 0 19 0 8281082 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140275844368952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10719] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10719/stat : 10719 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140275843316856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10720] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10720/stat : 10720 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140275842264264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 28253 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 172912 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1677.28
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.12 2.10 1.81 3/214 10765
/proc/meminfo: memFree=29967792/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=1737.6 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 33925 0 1 0 173560 200 0 0 20 0 19 0 8281077 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 177397 2283 9 0 2396937 0
[pid=10702/tid=10704] ppid=10699 vsize=9625040 CPUtime=1708.25 cores=0,2,4,6
/proc/10702/task/10704/stat : 10704 (java) R 10699 10702 10502 0 -1 4202560 2688 0 1 0 170793 32 0 0 20 0 19 0 8281077 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276763737384 140276601967616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10705] ppid=10699 vsize=9625040 CPUtime=2.53 cores=0,2,4,6
/proc/10702/task/10705/stat : 10705 (java) S 10699 10702 10502 0 -1 4202560 2681 0 0 0 231 22 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276725229864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10706] ppid=10699 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/10702/task/10706/stat : 10706 (java) S 10699 10702 10502 0 -1 4202560 2194 0 0 0 240 19 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276724177064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10707] ppid=10699 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/10702/task/10707/stat : 10707 (java) S 10699 10702 10502 0 -1 4202560 1870 0 0 0 218 20 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276723124776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10708] ppid=10699 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/10702/task/10708/stat : 10708 (java) S 10699 10702 10502 0 -1 4202560 3238 0 0 0 226 22 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276722071976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10709] ppid=10699 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/10702/task/10709/stat : 10709 (java) S 10699 10702 10502 0 -1 4202560 2122 0 0 0 233 21 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276721019688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10710] ppid=10699 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/10702/task/10710/stat : 10710 (java) S 10699 10702 10502 0 -1 4202560 1747 0 0 0 218 16 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276719966888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10711] ppid=10699 vsize=9625040 CPUtime=2.47 cores=0,2,4,6
/proc/10702/task/10711/stat : 10711 (java) S 10699 10702 10502 0 -1 4202560 1930 0 0 0 228 19 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276601449512 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10712] ppid=10699 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/10702/task/10712/stat : 10712 (java) S 10699 10702 10502 0 -1 4202560 1949 0 0 0 230 24 0 0 20 0 19 0 8281078 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276600396712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10713] ppid=10699 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/10702/task/10713/stat : 10713 (java) S 10699 10702 10502 0 -1 4202560 1778 0 0 0 365 6 0 0 20 0 19 0 8281079 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276587985128 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10714] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10714/stat : 10714 (java) S 10699 10702 10502 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276586931192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10715] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10715/stat : 10715 (java) S 10699 10702 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140276585878792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10716] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10716/stat : 10716 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140275846474128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10717] ppid=10699 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/10702/task/10717/stat : 10717 (java) S 10699 10702 10502 0 -1 4202560 6561 0 0 0 64 0 0 0 20 0 19 0 8281082 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140275845421752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10718] ppid=10699 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10702/task/10718/stat : 10718 (java) S 10699 10702 10502 0 -1 4202560 3811 0 0 0 35 0 0 0 20 0 19 0 8281082 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140275844368952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10719] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10719/stat : 10719 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140275843316856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10720] ppid=10699 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10702/task/10720/stat : 10720 (java) S 10699 10702 10502 0 -1 4202560 99 0 0 0 23 27 0 0 20 0 19 0 8281082 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140275842264264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 177397 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1737.6
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 1.83 3/214 10855
/proc/meminfo: memFree=30769892/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=1798.37 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 34113 0 1 0 179630 207 0 0 20 0 19 0 8281077 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 189243 2283 9 0 2396937 0
[pid=10702/tid=10704] ppid=10699 vsize=9625040 CPUtime=1767.83 cores=0,2,4,6
/proc/10702/task/10704/stat : 10704 (java) R 10699 10702 10502 0 -1 4202560 2696 0 1 0 176750 33 0 0 20 0 19 0 8281077 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276763737264 140276602047219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10705] ppid=10699 vsize=9625040 CPUtime=2.64 cores=0,2,4,6
/proc/10702/task/10705/stat : 10705 (java) S 10699 10702 10502 0 -1 4202560 2712 0 0 0 241 23 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276725229864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10706] ppid=10699 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/10702/task/10706/stat : 10706 (java) S 10699 10702 10502 0 -1 4202560 2216 0 0 0 255 20 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276724177064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10707] ppid=10699 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/10702/task/10707/stat : 10707 (java) S 10699 10702 10502 0 -1 4202560 1872 0 0 0 228 20 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276723124776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10708] ppid=10699 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/10702/task/10708/stat : 10708 (java) S 10699 10702 10502 0 -1 4202560 3244 0 0 0 236 22 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276722071976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10709] ppid=10699 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/10702/task/10709/stat : 10709 (java) S 10699 10702 10502 0 -1 4202560 2162 0 0 0 244 22 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276721019688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10710] ppid=10699 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/10702/task/10710/stat : 10710 (java) S 10699 10702 10502 0 -1 4202560 1758 0 0 0 237 17 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276719966888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10711] ppid=10699 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/10702/task/10711/stat : 10711 (java) S 10699 10702 10502 0 -1 4202560 1949 0 0 0 239 20 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276601449512 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10712] ppid=10699 vsize=9625040 CPUtime=2.67 cores=0,2,4,6
/proc/10702/task/10712/stat : 10712 (java) S 10699 10702 10502 0 -1 4202560 1961 0 0 0 242 25 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276600396712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10713] ppid=10699 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/10702/task/10713/stat : 10713 (java) S 10699 10702 10502 0 -1 4202560 1811 0 0 0 365 6 0 0 20 0 19 0 8281079 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276587985128 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10714] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10714/stat : 10714 (java) S 10699 10702 10502 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276586931192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10715] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10715/stat : 10715 (java) S 10699 10702 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276585878792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10716] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10716/stat : 10716 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275846474128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10717] ppid=10699 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/10702/task/10717/stat : 10717 (java) S 10699 10702 10502 0 -1 4202560 6561 0 0 0 64 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275845421752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10718] ppid=10699 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10702/task/10718/stat : 10718 (java) S 10699 10702 10502 0 -1 4202560 3811 0 0 0 35 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275844368952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10719] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10719/stat : 10719 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275843316856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10720] ppid=10699 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/10702/task/10720/stat : 10720 (java) S 10699 10702 10502 0 -1 4202560 103 0 0 0 24 28 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275842264264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784 s]
/proc/loadavg: 2.12 2.10 1.83 3/214 10855
/proc/meminfo: memFree=30755672/32872528 swapFree=525044/557748
[pid=10702] ppid=10699 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/10702/stat : 10702 (java) S 10699 10702 10502 0 -1 4202496 34113 0 1 0 179800 207 0 0 20 0 19 0 8281077 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140737379439472 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10702/statm: 2406260 189243 2283 9 0 2396937 0
[pid=10702/tid=10704] ppid=10699 vsize=9625040 CPUtime=1769.52 cores=0,2,4,6
/proc/10702/task/10704/stat : 10704 (java) R 10699 10702 10502 0 -1 4202560 2696 0 1 0 176919 33 0 0 20 0 19 0 8281077 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276763737264 140276601962067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10705] ppid=10699 vsize=9625040 CPUtime=2.64 cores=0,2,4,6
/proc/10702/task/10705/stat : 10705 (java) S 10699 10702 10502 0 -1 4202560 2712 0 0 0 241 23 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276725229864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10706] ppid=10699 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/10702/task/10706/stat : 10706 (java) S 10699 10702 10502 0 -1 4202560 2216 0 0 0 255 20 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276724177064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10707] ppid=10699 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/10702/task/10707/stat : 10707 (java) S 10699 10702 10502 0 -1 4202560 1872 0 0 0 228 20 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276723124776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10708] ppid=10699 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/10702/task/10708/stat : 10708 (java) S 10699 10702 10502 0 -1 4202560 3244 0 0 0 236 22 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276722071976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10709] ppid=10699 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/10702/task/10709/stat : 10709 (java) S 10699 10702 10502 0 -1 4202560 2162 0 0 0 244 22 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276721019688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10710] ppid=10699 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/10702/task/10710/stat : 10710 (java) S 10699 10702 10502 0 -1 4202560 1758 0 0 0 237 17 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276719966888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10711] ppid=10699 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/10702/task/10711/stat : 10711 (java) S 10699 10702 10502 0 -1 4202560 1949 0 0 0 239 20 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276601449512 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10702/tid=10712] ppid=10699 vsize=9625040 CPUtime=2.67 cores=0,2,4,6
/proc/10702/task/10712/stat : 10712 (java) S 10699 10702 10502 0 -1 4202560 1961 0 0 0 242 25 0 0 20 0 19 0 8281078 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276600396712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10713] ppid=10699 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/10702/task/10713/stat : 10713 (java) S 10699 10702 10502 0 -1 4202560 1811 0 0 0 365 6 0 0 20 0 19 0 8281079 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276587985128 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10714] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10714/stat : 10714 (java) S 10699 10702 10502 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276586931192 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10715] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10715/stat : 10715 (java) S 10699 10702 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8281080 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140276585878792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10716] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10716/stat : 10716 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275846474128 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10717] ppid=10699 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/10702/task/10717/stat : 10717 (java) S 10699 10702 10502 0 -1 4202560 6561 0 0 0 64 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275845421752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10702/tid=10718] ppid=10699 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/10702/task/10718/stat : 10718 (java) S 10699 10702 10502 0 -1 4202560 3811 0 0 0 35 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275844368952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10719] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10719/stat : 10719 (java) S 10699 10702 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275843316856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10702/tid=10720] ppid=10699 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/10702/task/10720/stat : 10720 (java) S 10699 10702 10502 0 -1 4202560 103 0 0 0 24 28 0 0 20 0 19 0 8281082 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275842264264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10702/tid=10721] ppid=10699 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10702/task/10721/stat : 10721 (java) S 10699 10702 10502 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8281103 9856040960 189243 33554432000 1073741824 1073778376 140737379448336 140275841209256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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 10702 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10702 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=650323
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=500619
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.08
CPU time (s): 1800.07
CPU user time (s): 1798
CPU system time (s): 2.07
CPU usage (%): 100.896
Max. virtual memory (cumulated for all children) (KiB): 9625316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 2.50062
maximum resident set size= 812688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34166
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44339
involuntary context switches= 39560

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4034 second user time and 13.212 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 09:31:50
IDJOB=4090550
IDBENCH=78678
IDSOLVER=2551
FILE ID=node106/4090550-1466062309
RUNJOBID= node106-1466062135-10518
PBS_JOBID= 19904026
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090550-1466062309/watcher-4090550-1466062309 -o /tmp/evaluation-result-4090550-1466062309/solver-4090550-1466062309 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466062135-10518 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090550-1466062309.wbo

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

MD5SUM BENCH= f511ebc8ef7d333a60d28a0c67ab699d
RANDOM SEED=1611066206

node106.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		: 2667.073
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	: 5334.14
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		: 2667.073
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		: 2667.073
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.55
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		: 2667.073
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.56
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		: 2667.073
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.55
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		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31487596 kB
Buffers:            2540 kB
Cached:            38016 kB
SwapCached:         1852 kB
Active:            97612 kB
Inactive:          20628 kB
Active(anon):      78980 kB
Inactive(anon):     1064 kB
Active(file):      18632 kB
Inactive(file):    19564 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67098908 kB
Dirty:              1812 kB
Writeback:             0 kB
AnonPages:        649292 kB
Mapped:            15168 kB
Shmem:                 0 kB
Slab:             565192 kB
SReclaimable:       8736 kB
SUnreclaim:       556456 kB
KernelStack:        1576 kB
PageTables:         5544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1245624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 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= 71740 MiB
End job on node106 at 2016-06-16 10:01:34