Trace number 4084777

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)3075 1800.02 1777.46

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUMf687933a5408753eb50bdd526af25aa5
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3033
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3052
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1385986
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1385986
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4084777-1465221885.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
0.31/0.29	c ... done. Wall clock time 0.193s.
0.31/0.29	c declared #vars     3300
0.31/0.29	c #constraints  2574
0.31/0.29	c constraints type 
0.31/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 588
0.31/0.29	c org.sat4j.specs.Constr$1 => 1
0.31/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 620
0.31/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1364
0.31/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.31/0.29	c 2574 constraints processed.
0.31/0.29	c objective function length is 2792 literals
0.82/0.41	c SATISFIABLE
0.82/0.41	c OPTIMIZING...
0.82/0.41	c Got one! Elapsed wall clock time (in seconds):0.31
0.82/0.41	o 3075
2.69/2.07	c cleaning 2564 clauses out of 5132 with flag 10749/5132
4.55/3.89	c cleaning 4281 clauses out of 8567 with flag 23440/11131
6.65/5.98	c cleaning 5642 clauses out of 11287 with flag 38249/18132
9.20/8.42	c cleaning 6817 clauses out of 13644 with flag 55169/26131
11.91/11.12	c cleaning 7911 clauses out of 15827 with flag 74210/35131
14.96/14.17	c cleaning 8958 clauses out of 17916 with flag 95359/45131
18.26/17.50	c cleaning 9977 clauses out of 19958 with flag 118623/56131
21.97/21.12	c cleaning 10987 clauses out of 21982 with flag 144008/68132
25.97/25.11	c cleaning 11995 clauses out of 23995 with flag 171505/81132
30.40/29.48	c cleaning 12997 clauses out of 25999 with flag 201121/95131
35.00/34.09	c cleaning 14000 clauses out of 28003 with flag 232850/110132
40.00/39.03	c cleaning 15001 clauses out of 30003 with flag 266695/126132
45.46/44.36	c cleaning 15996 clauses out of 32002 with flag 302658/143132
51.06/49.97	c cleaning 16999 clauses out of 34005 with flag 340728/161131
56.96/55.86	c cleaning 18001 clauses out of 36006 with flag 380918/180131
63.26/62.07	c cleaning 19002 clauses out of 38005 with flag 423228/200131
69.86/68.66	c cleaning 19999 clauses out of 40004 with flag 467648/221132
77.14/75.72	c cleaning 21000 clauses out of 42004 with flag 514183/243131
84.34/82.96	c cleaning 21999 clauses out of 44005 with flag 562838/266132
92.27/90.70	c cleaning 23003 clauses out of 46005 with flag 613604/290131
100.17/98.64	c cleaning 23994 clauses out of 48002 with flag 666488/315131
108.47/106.75	c cleaning 25005 clauses out of 50009 with flag 721488/341132
116.97/115.23	c cleaning 25999 clauses out of 52003 with flag 778596/368131
126.10/124.19	c cleaning 26999 clauses out of 54005 with flag 837825/396132
135.47/133.39	c cleaning 28000 clauses out of 56005 with flag 899166/425131
145.46/143.13	c cleaning 29001 clauses out of 58005 with flag 962626/455131
155.32/152.98	c cleaning 30001 clauses out of 60005 with flag 1028201/486132
165.69/163.27	c cleaning 30997 clauses out of 62004 with flag 1095891/518132
176.23/173.78	c cleaning 32001 clauses out of 64006 with flag 1165696/551131
187.17/184.62	c cleaning 33002 clauses out of 66005 with flag 1237614/585131
198.41/195.82	c cleaning 33997 clauses out of 68004 with flag 1311653/620132
210.31/207.69	c cleaning 35001 clauses out of 70007 with flag 1387803/656132
222.51/219.75	c cleaning 36001 clauses out of 72005 with flag 1466068/693131
235.16/232.23	c cleaning 36997 clauses out of 74005 with flag 1546454/731132
248.42/245.45	c cleaning 37999 clauses out of 76007 with flag 1628946/770131
262.49/259.33	c cleaning 39000 clauses out of 78008 with flag 1713561/810131
276.64/273.44	c cleaning 40003 clauses out of 80008 with flag 1800286/851131
291.73/288.43	c cleaning 41003 clauses out of 82005 with flag 1889131/893131
307.15/303.71	c cleaning 41998 clauses out of 84002 with flag 1980086/936131
322.59/319.07	c cleaning 42997 clauses out of 86005 with flag 2073164/980132
338.72/335.09	c cleaning 44001 clauses out of 88007 with flag 2168343/1025131
355.29/351.48	c cleaning 45001 clauses out of 90006 with flag 2265648/1071131
372.30/368.23	c cleaning 46003 clauses out of 92006 with flag 2365068/1118132
388.43/384.26	c cleaning 46999 clauses out of 94003 with flag 2466603/1166132
405.18/400.82	c cleaning 48001 clauses out of 96004 with flag 2570255/1215132
422.05/417.53	c cleaning 48999 clauses out of 98002 with flag 2676016/1265131
439.52/434.81	c cleaning 49999 clauses out of 100003 with flag 2783896/1316131
457.49/452.51	c cleaning 50997 clauses out of 102005 with flag 2893895/1368132
475.52/470.49	c cleaning 52002 clauses out of 104007 with flag 3006003/1421131
493.92/488.66	c cleaning 53000 clauses out of 106006 with flag 3120232/1475132
512.97/507.47	c cleaning 54001 clauses out of 108006 with flag 3236573/1530132
531.88/526.09	c cleaning 54998 clauses out of 110005 with flag 3355033/1586132
551.30/545.23	c cleaning 56001 clauses out of 112007 with flag 3475605/1643132
572.16/565.83	c cleaning 56999 clauses out of 114005 with flag 3598291/1701131
594.34/587.84	c cleaning 57999 clauses out of 116006 with flag 3723091/1760131
615.19/608.40	c cleaning 59002 clauses out of 118008 with flag 3850012/1820132
636.34/629.25	c cleaning 60001 clauses out of 120005 with flag 3979043/1881131
658.60/651.24	c cleaning 60999 clauses out of 122004 with flag 4110193/1943131
675.85/668.24	c cleaning 61998 clauses out of 124005 with flag 4243458/2006131
692.06/684.20	c cleaning 62995 clauses out of 126007 with flag 4378842/2070131
707.60/699.41	c cleaning 64005 clauses out of 128013 with flag 4516336/2135132
723.12/714.72	c cleaning 64995 clauses out of 130007 with flag 4655947/2201131
739.28/730.60	c cleaning 66006 clauses out of 132012 with flag 4797684/2268131
756.28/747.40	c cleaning 67002 clauses out of 134007 with flag 4941523/2336132
772.83/763.71	c cleaning 67998 clauses out of 136004 with flag 5087479/2405131
789.56/780.32	c cleaning 69002 clauses out of 138006 with flag 5235546/2475131
807.88/798.40	c cleaning 70001 clauses out of 140004 with flag 5385736/2546131
825.26/815.51	c cleaning 71001 clauses out of 142003 with flag 5538034/2618131
843.26/833.36	c cleaning 71999 clauses out of 144003 with flag 5692453/2691132
862.00/851.88	c cleaning 73001 clauses out of 146003 with flag 5848984/2765131
880.70/870.30	c cleaning 73996 clauses out of 148002 with flag 6007638/2840131
899.74/889.03	c cleaning 75002 clauses out of 150007 with flag 6168402/2916132
919.93/908.94	c cleaning 76000 clauses out of 152005 with flag 6331282/2993132
938.98/927.72	c cleaning 77001 clauses out of 154004 with flag 6496270/3071131
964.50/953.01	c cleaning 78000 clauses out of 156003 with flag 6663383/3150131
983.80/972.09	c cleaning 78998 clauses out of 158003 with flag 6832608/3230131
1003.44/991.36	c cleaning 80000 clauses out of 160005 with flag 7003957/3311131
1026.37/1014.06	c cleaning 80995 clauses out of 162006 with flag 7177417/3393132
1047.91/1035.29	c cleaning 81998 clauses out of 164010 with flag 7352985/3476131
1070.75/1057.71	c cleaning 83005 clauses out of 166013 with flag 7530669/3560132
1092.91/1079.60	c cleaning 84001 clauses out of 168008 with flag 7710472/3645132
1114.71/1101.02	c cleaning 84997 clauses out of 170007 with flag 7892389/3731132
1136.86/1122.89	c cleaning 86002 clauses out of 172010 with flag 8076420/3818132
1159.59/1145.19	c cleaning 87002 clauses out of 174007 with flag 8262566/3906131
1184.60/1169.83	c cleaning 87994 clauses out of 176005 with flag 8450829/3995131
1208.52/1193.45	c cleaning 89001 clauses out of 178012 with flag 8641208/4085132
1233.99/1218.69	c cleaning 90001 clauses out of 180011 with flag 8833704/4176132
1259.66/1243.93	c cleaning 91002 clauses out of 182010 with flag 9028311/4268132
1286.33/1270.30	c cleaning 91998 clauses out of 184007 with flag 9225034/4361131
1312.16/1295.83	c cleaning 93001 clauses out of 186009 with flag 9423881/4455131
1337.82/1321.24	c cleaning 94001 clauses out of 188008 with flag 9624835/4550131
1361.40/1344.50	c cleaning 94994 clauses out of 190008 with flag 9827905/4646132
1384.71/1367.43	c cleaning 96003 clauses out of 192014 with flag 10033090/4743132
1408.70/1391.14	c cleaning 97002 clauses out of 194010 with flag 10240396/4841131
1433.75/1415.83	c cleaning 98003 clauses out of 196008 with flag 10449811/4940131
1459.50/1441.22	c cleaning 98997 clauses out of 198005 with flag 10661344/5040131
1485.31/1466.65	c cleaning 100002 clauses out of 200009 with flag 10874988/5141132
1510.87/1491.81	c cleaning 100996 clauses out of 202007 with flag 11090751/5243132
1539.05/1519.79	c cleaning 102002 clauses out of 204011 with flag 11308628/5346132
1565.67/1545.91	c cleaning 103000 clauses out of 206008 with flag 11528620/5450131
1592.70/1572.65	c cleaning 104001 clauses out of 208008 with flag 11750725/5555131
1619.91/1599.55	c cleaning 105003 clauses out of 210007 with flag 11974948/5661131
1648.81/1628.07	c cleaning 106000 clauses out of 212004 with flag 12201288/5768131
1678.59/1657.53	c cleaning 106994 clauses out of 214004 with flag 12429740/5876131
1711.22/1689.82	c cleaning 108004 clauses out of 216011 with flag 12660312/5985132
1740.66/1718.88	c cleaning 109000 clauses out of 218007 with flag 12893005/6095132
1772.21/1750.01	c cleaning 109997 clauses out of 220007 with flag 13127808/6206132
1800.02/1777.40	c starts		: 15
1800.02/1777.40	c conflicts		: 6318131
1800.02/1777.40	c decisions		: 8496833
1800.02/1777.40	c propagations		: 1592682747
1800.02/1777.40	c inspects		: 4532501708
1800.02/1777.40	c shortcuts		: 0
1800.02/1777.40	c learnt literals	: 0
1800.02/1777.40	c learnt binary clauses	: 0
1800.02/1777.40	c learnt ternary clauses	: 0
1800.02/1777.40	c learnt constraints	: 6318131
1800.02/1777.40	c ignored constraints	: 0
1800.02/1777.40	c root simplifications	: 0
1800.02/1777.40	c removed literals (reason simplification)	: 0
1800.02/1777.40	c reason swapping (by a shorter reason)	: 0
1800.02/1777.40	c Calls to reduceDB	: 108
1800.02/1777.40	c Number of update (reduction) of LBD	: 53
1800.02/1777.40	c Imported unit clauses	: 0
1800.02/1777.40	c number of reductions to clauses (during analyze)	: 0
1800.02/1777.40	c number of learned constraints concerned by reduction	: 0
1800.02/1777.40	c number of learning phase by resolution	: 0
1800.02/1777.40	c number of learning phase by cutting planes	: 0
1800.02/1777.40	c speed (assignments/second)	: 896229.7658196649
1800.02/1777.40	c non guided choices	24
1800.02/1777.43	c learnt constraints type 
1800.02/1777.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 222009
1800.02/1777.43	s SATISFIABLE
1800.02/1777.43	c Found 1 solution(s)
1800.02/1777.44	v x1 x2 -x3 x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 x40 x41 -x42 x43 x44 -x45 -x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 -x85 -x86 -x87 x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124 -x125 x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 x223 x224 x225 x226 x227 x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 x249 x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 x261 -x262 -x263 -x264 x265 x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 x344 x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 x391 x392 x393 -x394 -x395 x396 x397 -x398 x399 -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 x424 x425 -x426 x427 x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 x455 x456 x457 -x458 -x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 -x518 -x519 -x520 x521 x522 -x523 x524 -x525 -x526 -x527 x528 x529 -x530 x531 x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 x540 -x541 -x542 x543 x544 -x545 -x546 x547 x548 -x549 x550 -x551 x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 x699 -x700 x701 x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 x720 x721 -x722 -x723 -x724 x725 x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 x783 x784 -x785 -x786 x787 x788 x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 x798 -x799 -x800 -x801 -x802 x803 x804 -x805 x806 -x807 -x808 x809 -x810 x811 x812 x813 x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 x1129 x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 x1625 x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 x1637 -x1638 x1639 x1640 x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 -x1804 x1805 x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 x1883 -x1884 x1885 x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 x2056 -x2057 x2058 -x2059 x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 x2082 -x2083 x2084 x2085 -x2086 -x2087 x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 x2098 -x2099 x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 x2556 x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 x2693 x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 x2846 -x2847 -x2848 x2849 x2850 x2851 x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 -x2878 -x2879 x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 -x2918 -x2919 -x2920 x2921 x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 x2929 x2930 -x2931 -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 x2949 -x2950 -x2951 x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 x2971 x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 x3008 -x3009 x3010 x3011 -x3012 x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 x3021 x3022 -x3023 x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 x3031 x3032 -x3033 -x3034 x3035 x3036 x3037 x3038 -x3039 x3040 x3041 x3042 -x3043 x3044 -x3045 x3046 x3047 x3048 -x3049 x3050 -x3051 x3052 -x3053 x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 x3084 x3085 -x3086 -x3087 -x3088 -x3089 x3090 x3091 -x3092 -x3093 x3094 x3095 x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 x3129 x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 -x3146 -x3147 -x3148 x3149 x3150 -x3151 -x3152 x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 x3165 -x3166 x3167 x3168 x3169 -x3170 -x3171 x3172 -x3173 -x3174 -x3175 x3176 -x3177 x3178 x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 x3196 -x3197 x3198 -x3199 -x3200 -x3201 x3202 -x3203 x3204 -x3205 x3206 -x3207 x3208 -x3209 x3210 x3211 -x3212 x3213 x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 x3229 x3230 x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 x3251 -x3252 -x3253 x3254 -x3255 x3256 x3257 -x3258 -x3259 x3260 -x3261 x3262 x3263 -x3264 x3265 x3266 x3267 -x3268 x3269 -x3270 x3271 x3272 x3273 -x3274 x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 x3286 -x3287 -x3288 x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 
1800.02/1777.44	c objective function=3075
1800.02/1777.44	c Total wall clock time (in seconds): 1777.341

Verifier Data 

OK	3075

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-4084777-1465221885/watcher-4084777-1465221885 -o /tmp/evaluation-result-4084777-1465221885/solver-4084777-1465221885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084777-1465221885.opb 

pid=32034
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: 2.30 2.26 2.19 3/194 32037
/proc/meminfo: memFree=31200100/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/32037/stat : 32037 (java) R 32034 32037 31144 0 -1 4202496 1222 0 0 0 0 0 0 0 20 0 1 0 104122997 24780800 867 33554432000 1073741824 1073778376 140733520011728 140733520000792 213866387605 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 6050 867 654 9 0 385 0
[pid=32037/tid=32038] ppid=32034 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 2 0 104122997 91889664 885 33554432000 1073741824 1073778376 140733520011728 140733520000792 213866333072 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.30 2.26 2.19 3/194 32037
/proc/meminfo: memFree=31200100/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 4477 0 1 0 9 1 0 0 20 0 18 0 104122997 9787879424 6117 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2389619 6117 2157 9 0 2380296 0
[pid=32037/tid=32038] ppid=32034 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2375 0 1 0 6 1 0 0 20 0 18 0 104122997 9787879424 6117 33554432000 1073741824 1073778376 140733520011728 140677575216032 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200265 s]
/proc/loadavg: 2.30 2.26 2.19 3/194 32037
/proc/meminfo: memFree=31200100/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 5065 0 1 0 29 2 0 0 20 0 18 0 104122997 9787879424 7489 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2389619 7489 2222 9 0 2380296 0
[pid=32037/tid=32038] ppid=32034 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2397 0 1 0 16 1 0 0 20 0 18 0 104122997 9787879424 7489 33554432000 1073741824 1073778376 140733520011728 140677575216032 140677442779342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300267 s]
/proc/loadavg: 2.30 2.26 2.19 3/194 32037
/proc/meminfo: memFree=31200100/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 6550 0 1 0 54 2 0 0 20 0 18 0 104122997 9787879424 13533 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2389619 13533 2242 9 0 2380296 0
[pid=32037/tid=32038] ppid=32034 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2415 0 1 0 25 2 0 0 20 0 18 0 104122997 9787879424 13533 33554432000 1073741824 1073778376 140733520011728 140677575206880 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700218 s]
/proc/loadavg: 2.30 2.26 2.19 3/194 32037
/proc/meminfo: memFree=31200100/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 10286 0 1 0 136 3 0 0 20 0 19 0 104122997 9856040960 16020 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 16020 2264 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2420 0 1 0 65 2 0 0 20 0 19 0 104122997 9856040960 16020 33554432000 1073741824 1073778376 140733520011728 140677575214160 140677443453971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.30 2.26 2.19 3/213 32056
/proc/meminfo: memFree=31132068/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 10293 0 1 0 216 3 0 0 20 0 19 0 104122997 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 17559 2266 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2424 0 1 0 145 2 0 0 20 0 19 0 104122997 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677575215544 140677443284984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32040] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32040/stat : 32040 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677564279208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32041] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32041/stat : 32041 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677563226664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32042] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32042/stat : 32042 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677562173608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32043] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32043/stat : 32043 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677415123240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32044] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32044/stat : 32044 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677414071208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32045] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32045/stat : 32045 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677413018664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32046] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32046/stat : 32046 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677411965608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32047] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32047/stat : 32047 (java) S 32034 32037 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677410913064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32048] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32048/stat : 32048 (java) S 32034 32037 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104122999 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677398714728 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32049] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32049/stat : 32049 (java) S 32034 32037 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677397661048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32050] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32050/stat : 32050 (java) S 32034 32037 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677396607880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32051] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32051/stat : 32051 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677395556624 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32052] ppid=32034 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/32037/task/32052/stat : 32052 (java) S 32034 32037 31144 0 -1 4202560 2542 0 0 0 28 0 0 0 20 0 19 0 104123002 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677394504504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32053] ppid=32034 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/32037/task/32053/stat : 32053 (java) S 32034 32037 31144 0 -1 4202560 4051 0 0 0 39 0 0 0 20 0 19 0 104123002 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677393451960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32054] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32054/stat : 32054 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677392399096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32055] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32055/stat : 32055 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677391346760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32056] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32056/stat : 32056 (java) S 32034 32037 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104123028 9856040960 17559 33554432000 1073741824 1073778376 140733520011728 140677390292008 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.30 2.26 2.19 3/213 32056
/proc/meminfo: memFree=31111340/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 10337 0 1 0 379 3 0 0 20 0 19 0 104122997 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 21148 2270 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2432 0 1 0 305 2 0 0 20 0 19 0 104122997 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677575208656 140677443453971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32040] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32040/stat : 32040 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677564279208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32041] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32041/stat : 32041 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677563226664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32042] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32042/stat : 32042 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677562173608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32043] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32043/stat : 32043 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677415123240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32044] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32044/stat : 32044 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677414071208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32045] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32045/stat : 32045 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677413018664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32046] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32046/stat : 32046 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677411965608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32047] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32047/stat : 32047 (java) S 32034 32037 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677410913064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32048] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32048/stat : 32048 (java) S 32034 32037 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104122999 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677398714728 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32049] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32049/stat : 32049 (java) S 32034 32037 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677397661048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32050] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32050/stat : 32050 (java) S 32034 32037 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677396607880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32051] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32051/stat : 32051 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677395556624 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32052] ppid=32034 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/32037/task/32052/stat : 32052 (java) S 32034 32037 31144 0 -1 4202560 2574 0 0 0 30 0 0 0 20 0 19 0 104123002 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677394504504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32053] ppid=32034 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/32037/task/32053/stat : 32053 (java) S 32034 32037 31144 0 -1 4202560 4055 0 0 0 40 0 0 0 20 0 19 0 104123002 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677393451960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32054] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32054/stat : 32054 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677392399096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32055] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32055/stat : 32055 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677391346760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32056] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32056/stat : 32056 (java) S 32034 32037 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104123028 9856040960 21148 33554432000 1073741824 1073778376 140733520011728 140677390292008 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.27 2.25 2.19 4/213 32056
/proc/meminfo: memFree=31071020/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=7.06 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 10354 0 1 0 703 3 0 0 20 0 19 0 104122997 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 27650 2271 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2448 0 1 0 624 2 0 0 20 0 19 0 104122997 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677575215504 140677443411346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32040] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32040/stat : 32040 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677564279208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32041] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32041/stat : 32041 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677563226664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32042] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32042/stat : 32042 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677562173608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32043] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32043/stat : 32043 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677415123240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32044] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32044/stat : 32044 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677414071208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32045] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32045/stat : 32045 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677413018664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32046] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32046/stat : 32046 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677411965608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32047] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32047/stat : 32047 (java) S 32034 32037 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104122998 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677410913064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32048] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32048/stat : 32048 (java) S 32034 32037 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104122999 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677398714728 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32049] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32049/stat : 32049 (java) S 32034 32037 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677397661048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32050] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32050/stat : 32050 (java) S 32034 32037 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677396607880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32051] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32051/stat : 32051 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677395556624 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32052] ppid=32034 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/32037/task/32052/stat : 32052 (java) S 32034 32037 31144 0 -1 4202560 2574 0 0 0 32 0 0 0 20 0 19 0 104123002 9856040960 27650 33554432000 1073741824 1073778376 140733520011728 140677394504504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32053] ppid=32034 vsize=9625040 CPUtime=0.42 cores=0,2,4,6

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

[pid=32037/tid=32056] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32056/stat : 32056 (java) S 32034 32037 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104123028 9856040960 268057 33554432000 1073741824 1073778376 140733520011728 140677390292008 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1622.74
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 32098
/proc/meminfo: memFree=29828268/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=1683.39 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 26247 0 1 0 168151 188 0 0 20 0 19 0 104122997 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 268075 2293 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=1644.35 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2756 0 1 0 164407 28 0 0 20 0 19 0 104122997 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677575216352 140677443284551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32040] ppid=32034 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/32037/task/32040/stat : 32040 (java) S 32034 32037 31144 0 -1 4202560 1977 0 0 0 323 20 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677564279208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32041] ppid=32034 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/32037/task/32041/stat : 32041 (java) S 32034 32037 31144 0 -1 4202560 1519 0 0 0 325 27 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677563226664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32042] ppid=32034 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/32037/task/32042/stat : 32042 (java) S 32034 32037 31144 0 -1 4202560 2411 0 0 0 318 17 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677562173608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32043] ppid=32034 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/32037/task/32043/stat : 32043 (java) S 32034 32037 31144 0 -1 4202560 1923 0 0 0 335 19 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677415123240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32044] ppid=32034 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/32037/task/32044/stat : 32044 (java) S 32034 32037 31144 0 -1 4202560 1431 0 0 0 321 18 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677414071208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32045] ppid=32034 vsize=9625040 CPUtime=3.57 cores=0,2,4,6
/proc/32037/task/32045/stat : 32045 (java) S 32034 32037 31144 0 -1 4202560 1516 0 0 0 336 21 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677413018664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32046] ppid=32034 vsize=9625040 CPUtime=3.75 cores=0,2,4,6
/proc/32037/task/32046/stat : 32046 (java) S 32034 32037 31144 0 -1 4202560 1519 0 0 0 351 24 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677411965608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32047] ppid=32034 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/32037/task/32047/stat : 32047 (java) S 32034 32037 31144 0 -1 4202560 1219 0 0 0 327 18 0 0 20 0 19 0 104122998 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677410913064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32048] ppid=32034 vsize=9625040 CPUtime=5.71 cores=0,2,4,6
/proc/32037/task/32048/stat : 32048 (java) S 32034 32037 31144 0 -1 4202560 1881 0 0 0 566 5 0 0 20 0 19 0 104122999 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677398714728 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32049] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32049/stat : 32049 (java) S 32034 32037 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677397661048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32050] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32050/stat : 32050 (java) S 32034 32037 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677396607880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32051] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32051/stat : 32051 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677395556624 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32052] ppid=32034 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/32037/task/32052/stat : 32052 (java) S 32034 32037 31144 0 -1 4202560 2574 0 0 0 32 0 0 0 20 0 19 0 104123002 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677394504504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32053] ppid=32034 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/32037/task/32053/stat : 32053 (java) S 32034 32037 31144 0 -1 4202560 4162 0 0 0 48 0 0 0 20 0 19 0 104123002 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677393451960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32054] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32054/stat : 32054 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677392399096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32055] ppid=32034 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/32037/task/32055/stat : 32055 (java) S 32034 32037 31144 0 -1 4202560 96 0 0 0 12 18 0 0 20 0 19 0 104123002 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677391346760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32056] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32056/stat : 32056 (java) S 32034 32037 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104123028 9856040960 268075 33554432000 1073741824 1073778376 140733520011728 140677390292008 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1683.39
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/213 32099
/proc/meminfo: memFree=29869108/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=1744.2 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 26270 0 1 0 174230 190 0 0 20 0 19 0 104122997 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 256878 2293 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=1703.74 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2767 0 1 0 170345 29 0 0 20 0 19 0 104122997 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677575216352 140677443453884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32040] ppid=32034 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/32037/task/32040/stat : 32040 (java) S 32034 32037 31144 0 -1 4202560 1977 0 0 0 340 20 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677564279208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32041] ppid=32034 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/32037/task/32041/stat : 32041 (java) S 32034 32037 31144 0 -1 4202560 1519 0 0 0 340 27 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677563226664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32042] ppid=32034 vsize=9625040 CPUtime=3.47 cores=0,2,4,6
/proc/32037/task/32042/stat : 32042 (java) S 32034 32037 31144 0 -1 4202560 2411 0 0 0 330 17 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677562173608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32043] ppid=32034 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/32037/task/32043/stat : 32043 (java) S 32034 32037 31144 0 -1 4202560 1923 0 0 0 346 19 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677415123240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32044] ppid=32034 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/32037/task/32044/stat : 32044 (java) S 32034 32037 31144 0 -1 4202560 1431 0 0 0 335 18 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677414071208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32045] ppid=32034 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/32037/task/32045/stat : 32045 (java) S 32034 32037 31144 0 -1 4202560 1516 0 0 0 353 21 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677413018664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32046] ppid=32034 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/32037/task/32046/stat : 32046 (java) S 32034 32037 31144 0 -1 4202560 1519 0 0 0 359 24 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677411965608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32047] ppid=32034 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/32037/task/32047/stat : 32047 (java) S 32034 32037 31144 0 -1 4202560 1219 0 0 0 344 18 0 0 20 0 19 0 104122998 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677410913064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32048] ppid=32034 vsize=9625040 CPUtime=5.86 cores=0,2,4,6
/proc/32037/task/32048/stat : 32048 (java) S 32034 32037 31144 0 -1 4202560 1889 0 0 0 581 5 0 0 20 0 19 0 104122999 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677398714728 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32049] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32049/stat : 32049 (java) S 32034 32037 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677397661048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32050] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32050/stat : 32050 (java) S 32034 32037 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677396607880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32051] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32051/stat : 32051 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677395556624 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32052] ppid=32034 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/32037/task/32052/stat : 32052 (java) S 32034 32037 31144 0 -1 4202560 2574 0 0 0 32 0 0 0 20 0 19 0 104123002 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677394504504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32053] ppid=32034 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/32037/task/32053/stat : 32053 (java) S 32034 32037 31144 0 -1 4202560 4162 0 0 0 48 0 0 0 20 0 19 0 104123002 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677393451960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32054] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32054/stat : 32054 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677392399096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32055] ppid=32034 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/32037/task/32055/stat : 32055 (java) S 32034 32037 31144 0 -1 4202560 100 0 0 0 12 19 0 0 20 0 19 0 104123002 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677391346760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32056] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32056/stat : 32056 (java) S 32034 32037 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104123028 9856040960 256878 33554432000 1073741824 1073778376 140733520011728 140677390292008 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1744.2
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.4 s]
/proc/loadavg: 2.01 2.07 2.08 3/213 32100
/proc/meminfo: memFree=29890792/32872528 swapFree=12352/737972
[pid=32037] ppid=32034 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/32037/stat : 32037 (java) S 32034 32037 31144 0 -1 4202496 26349 0 1 0 179811 191 0 0 20 0 19 0 104122997 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140733520002864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32037/statm: 2406260 252285 2293 9 0 2396937 0
[pid=32037/tid=32038] ppid=32034 vsize=9625040 CPUtime=1758.25 cores=0,2,4,6
/proc/32037/task/32038/stat : 32038 (java) R 32034 32037 31144 0 -1 4202560 2777 0 1 0 175795 30 0 0 20 0 19 0 104122997 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677575216352 140677443539448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32040] ppid=32034 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/32037/task/32040/stat : 32040 (java) S 32034 32037 31144 0 -1 4202560 1977 0 0 0 354 20 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677564279208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32041] ppid=32034 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/32037/task/32041/stat : 32041 (java) S 32034 32037 31144 0 -1 4202560 1519 0 0 0 350 27 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677563226664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32042] ppid=32034 vsize=9625040 CPUtime=3.59 cores=0,2,4,6
/proc/32037/task/32042/stat : 32042 (java) S 32034 32037 31144 0 -1 4202560 2411 0 0 0 342 17 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677562173608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32043] ppid=32034 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/32037/task/32043/stat : 32043 (java) S 32034 32037 31144 0 -1 4202560 1923 0 0 0 360 20 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677415123240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32044] ppid=32034 vsize=9625040 CPUtime=3.66 cores=0,2,4,6
/proc/32037/task/32044/stat : 32044 (java) S 32034 32037 31144 0 -1 4202560 1431 0 0 0 348 18 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677414071208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32045] ppid=32034 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/32037/task/32045/stat : 32045 (java) S 32034 32037 31144 0 -1 4202560 1516 0 0 0 363 21 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677413018664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32046] ppid=32034 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/32037/task/32046/stat : 32046 (java) S 32034 32037 31144 0 -1 4202560 1519 0 0 0 367 24 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677411965608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32047] ppid=32034 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/32037/task/32047/stat : 32047 (java) S 32034 32037 31144 0 -1 4202560 1219 0 0 0 361 19 0 0 20 0 19 0 104122998 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677410913064 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32048] ppid=32034 vsize=9625040 CPUtime=6.03 cores=0,2,4,6
/proc/32037/task/32048/stat : 32048 (java) S 32034 32037 31144 0 -1 4202560 1954 0 0 0 598 5 0 0 20 0 19 0 104122999 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677398714728 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32049] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32049/stat : 32049 (java) S 32034 32037 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677397661048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32050] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32050/stat : 32050 (java) S 32034 32037 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104123000 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677396607880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32051] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32051/stat : 32051 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677395556624 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32052] ppid=32034 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/32037/task/32052/stat : 32052 (java) S 32034 32037 31144 0 -1 4202560 2574 0 0 0 32 0 0 0 20 0 19 0 104123002 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677394504504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32037/tid=32053] ppid=32034 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/32037/task/32053/stat : 32053 (java) S 32034 32037 31144 0 -1 4202560 4162 0 0 0 48 0 0 0 20 0 19 0 104123002 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677393451960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32037/tid=32054] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32054/stat : 32054 (java) S 32034 32037 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104123002 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677392399096 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32037/tid=32055] ppid=32034 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/32037/task/32055/stat : 32055 (java) S 32034 32037 31144 0 -1 4202560 104 0 0 0 13 19 0 0 20 0 19 0 104123002 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677391346760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32037/tid=32056] ppid=32034 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32037/task/32056/stat : 32056 (java) S 32034 32037 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104123028 9856040960 252285 33554432000 1073741824 1073778376 140733520011728 140677390292008 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 32037 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 32037 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=528342
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=342643
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1777.46
CPU time (s): 1800.02
CPU user time (s): 1798.11
CPU system time (s): 1.91
CPU usage (%): 101.269
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.53
system time used= 2.34264
maximum resident set size= 1114964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26388
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47498
involuntary context switches= 44928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1313 second user time and 11.5842 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-06 16:04:45
IDJOB=4084777
IDBENCH=1536
IDSOLVER=2546
FILE ID=node112/4084777-1465221885
RUNJOBID= node112-1465218300-31160
PBS_JOBID= 19843211
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084777-1465221885/watcher-4084777-1465221885 -o /tmp/evaluation-result-4084777-1465221885/solver-4084777-1465221885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084777-1465221885.opb

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

MD5SUM BENCH= f687933a5408753eb50bdd526af25aa5
RANDOM SEED=1915876425

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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:        31200644 kB
Buffers:            7816 kB
Cached:            80160 kB
SwapCached:         1616 kB
Active:           192272 kB
Inactive:          32472 kB
Active(anon):     138452 kB
Inactive(anon):      544 kB
Active(file):      53820 kB
Inactive(file):    31928 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098556 kB
Dirty:              1688 kB
Writeback:            16 kB
AnonPages:        879712 kB
Mapped:            15200 kB
Shmem:                 0 kB
Slab:             566000 kB
SReclaimable:       9384 kB
SUnreclaim:       556616 kB
KernelStack:        1608 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1426964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    837632 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= 71748 MiB
End job on node112 at 2016-06-06 16:34:23