Trace number 4085551

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)33 1800.02 1798.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
MD5SUMc19adaf233257cdd6134391794b23c65
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.069988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3187
Total number of constraints8922
Number of constraints which are clauses8922
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1527
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1527
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1527
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4085551-1465249677.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
0.49/0.36	c ... done. Wall clock time 0.245s.
0.49/0.36	c declared #vars     3187
0.49/0.36	c #constraints  8922
0.49/0.36	c constraints type 
0.49/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
0.49/0.36	c org.sat4j.minisat.constraints.cnf.UnitClause => 93
0.49/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
0.49/0.36	c 8922 constraints processed.
0.49/0.36	c objective function length is 1527 literals
0.69/0.41	c SATISFIABLE
0.69/0.41	c OPTIMIZING...
0.69/0.41	c Got one! Elapsed wall clock time (in seconds):0.29
0.69/0.41	o 35
0.69/0.44	c Got one! Elapsed wall clock time (in seconds):0.327
0.69/0.44	o 34
1.11/0.66	c Got one! Elapsed wall clock time (in seconds):0.545
1.11/0.66	o 33
2.17/1.51	c cleaning 2924 clauses out of 5848 with flag 13934/5849
4.03/3.37	c cleaning 4457 clauses out of 8924 with flag 34432/11849
6.23/5.58	c cleaning 5717 clauses out of 11470 with flag 56377/18852
8.74/8.02	c cleaning 6864 clauses out of 13750 with flag 82432/26849
11.56/10.85	c cleaning 7925 clauses out of 15886 with flag 109241/35849
14.76/14.01	c cleaning 8969 clauses out of 17961 with flag 139340/45849
18.16/17.50	c cleaning 9994 clauses out of 19992 with flag 182316/56849
22.16/21.46	c cleaning 10984 clauses out of 21998 with flag 225389/68849
26.76/26.02	c cleaning 11987 clauses out of 24014 with flag 266805/81849
31.47/30.79	c cleaning 13007 clauses out of 26030 with flag 315169/95852
36.57/35.80	c cleaning 13996 clauses out of 28020 with flag 362377/110849
42.17/41.40	c cleaning 14997 clauses out of 30024 with flag 410984/126849
48.08/47.33	c cleaning 15994 clauses out of 32027 with flag 464340/143849
54.27/53.50	c cleaning 17006 clauses out of 34033 with flag 519266/161849
60.87/60.11	c cleaning 18009 clauses out of 36030 with flag 573735/180852
67.98/67.22	c cleaning 19000 clauses out of 38018 with flag 628397/200849
74.97/74.23	c cleaning 19986 clauses out of 40018 with flag 696573/221849
82.27/81.55	c cleaning 20983 clauses out of 42033 with flag 768386/243850
89.76/89.04	c cleaning 22006 clauses out of 44050 with flag 841747/266850
97.76/97.10	c cleaning 22997 clauses out of 46044 with flag 917686/290850
106.06/105.39	c cleaning 24004 clauses out of 48048 with flag 992174/315851
114.77/114.08	c cleaning 24999 clauses out of 50043 with flag 1071097/341850
123.98/123.22	c cleaning 26016 clauses out of 52044 with flag 1153447/368850
133.37/132.60	c cleaning 26989 clauses out of 54027 with flag 1239117/396849
143.26/142.52	c cleaning 28010 clauses out of 56038 with flag 1333615/425849
153.84/153.05	c cleaning 28997 clauses out of 58028 with flag 1428692/455849
163.94/163.13	c cleaning 29998 clauses out of 60031 with flag 1530389/486849
174.14/173.38	c cleaning 31001 clauses out of 62034 with flag 1646747/518850
185.34/184.54	c cleaning 32001 clauses out of 64032 with flag 1762354/551849
196.74/195.96	c cleaning 33016 clauses out of 66033 with flag 1882389/585851
208.34/207.53	c cleaning 33997 clauses out of 68015 with flag 2003579/620849
219.84/219.04	c cleaning 35001 clauses out of 70018 with flag 2124675/656849
232.13/231.40	c cleaning 35995 clauses out of 72017 with flag 2245142/693849
244.64/243.83	c cleaning 36993 clauses out of 74022 with flag 2365652/731849
257.74/256.92	c cleaning 37987 clauses out of 76029 with flag 2489857/770849
270.54/269.74	c cleaning 39016 clauses out of 78042 with flag 2655755/810849
284.24/283.49	c cleaning 39996 clauses out of 80026 with flag 2850243/851849
298.24/297.48	c cleaning 41002 clauses out of 82034 with flag 3027069/893853
313.44/312.67	c cleaning 41998 clauses out of 84028 with flag 3198979/936849
328.81/327.99	c cleaning 42997 clauses out of 86030 with flag 3412194/980849
344.30/343.49	c cleaning 44000 clauses out of 88033 with flag 3608245/1025849
358.69/357.81	c cleaning 45005 clauses out of 90033 with flag 3833209/1071849
372.19/371.38	c cleaning 45998 clauses out of 92028 with flag 4041182/1118849
386.90/386.10	c cleaning 47002 clauses out of 94032 with flag 4285791/1166851
403.59/402.79	c cleaning 47996 clauses out of 96029 with flag 4547941/1215850
417.99/417.19	c cleaning 49008 clauses out of 98032 with flag 4855248/1265849
434.78/433.96	c cleaning 50008 clauses out of 100030 with flag 5094686/1316855
451.68/450.81	c cleaning 50999 clauses out of 102016 with flag 5342289/1368849
470.38/469.56	c cleaning 52005 clauses out of 104017 with flag 5602564/1421849
489.63/488.75	c cleaning 52998 clauses out of 106012 with flag 5844803/1475849
508.13/507.28	c cleaning 54004 clauses out of 108014 with flag 6096317/1530849
529.03/528.18	c cleaning 54983 clauses out of 110010 with flag 6354722/1586849
551.03/550.17	c cleaning 56015 clauses out of 112029 with flag 6620852/1643851
571.92/571.06	c cleaning 56997 clauses out of 114012 with flag 6929721/1701849
591.62/590.71	c cleaning 57974 clauses out of 116015 with flag 7187689/1760849
610.81/609.98	c cleaning 59006 clauses out of 118041 with flag 7489681/1820849
631.71/630.88	c cleaning 60010 clauses out of 120035 with flag 7824179/1881849
654.70/653.85	c cleaning 61000 clauses out of 122025 with flag 8114527/1943849
676.72/675.71	c cleaning 62000 clauses out of 124028 with flag 8455839/2006852
700.64/699.65	c cleaning 63003 clauses out of 126025 with flag 8772600/2070849
723.84/722.84	c cleaning 64007 clauses out of 128024 with flag 9093450/2135851
748.63/747.69	c cleaning 64999 clauses out of 130015 with flag 9415507/2201849
775.93/774.92	c cleaning 65979 clauses out of 132017 with flag 9714160/2268850
802.21/801.22	c cleaning 67003 clauses out of 134037 with flag 10090861/2336849
826.12/825.13	c cleaning 68004 clauses out of 136035 with flag 10474156/2405850
852.01/851.04	c cleaning 68998 clauses out of 138031 with flag 10852709/2475850
876.46/875.34	c cleaning 70000 clauses out of 140034 with flag 11248633/2546851
901.46/900.34	c cleaning 71002 clauses out of 142032 with flag 11632430/2618849
928.27/927.10	c cleaning 72002 clauses out of 144030 with flag 12028226/2691849
951.27/950.16	c cleaning 73015 clauses out of 146030 with flag 12403550/2765851
977.47/976.36	c cleaning 73978 clauses out of 148013 with flag 12806087/2840849
1004.57/1003.44	c cleaning 75000 clauses out of 150039 with flag 13138922/2916853
1034.68/1033.52	c cleaning 76001 clauses out of 152036 with flag 13495866/2993850
1065.65/1064.36	c cleaning 77002 clauses out of 154035 with flag 13827216/3071850
1095.45/1094.18	c cleaning 78000 clauses out of 156034 with flag 14184702/3150851
1121.05/1119.75	c cleaning 78998 clauses out of 158034 with flag 14625716/3230851
1150.35/1149.00	c cleaning 80012 clauses out of 160034 with flag 15075798/3311849
1185.06/1183.74	c cleaning 80998 clauses out of 162022 with flag 15525167/3393849
1221.05/1219.76	c cleaning 81989 clauses out of 164024 with flag 15950619/3476849
1255.70/1254.29	c cleaning 83005 clauses out of 166035 with flag 16425022/3560849
1287.21/1285.77	c cleaning 84009 clauses out of 168032 with flag 16908575/3645851
1319.62/1318.13	c cleaning 85002 clauses out of 170021 with flag 17376087/3731849
1352.52/1351.03	c cleaning 85991 clauses out of 172020 with flag 17830270/3818850
1386.92/1385.43	c cleaning 87004 clauses out of 174028 with flag 18251429/3906849
1420.31/1418.80	c cleaning 87987 clauses out of 176024 with flag 18735026/3995849
1457.67/1456.08	c cleaning 89007 clauses out of 178037 with flag 19213276/4085849
1494.78/1493.17	c cleaning 90009 clauses out of 180031 with flag 19609875/4176850
1523.38/1521.77	c cleaning 91006 clauses out of 182023 with flag 20061469/4268851
1558.47/1556.88	c cleaning 91999 clauses out of 184015 with flag 20572458/4361849
1595.97/1594.33	c cleaning 92990 clauses out of 186017 with flag 21075301/4455850
1633.03/1631.21	c cleaning 93999 clauses out of 188027 with flag 21548048/4550850
1673.24/1671.47	c cleaning 95001 clauses out of 190027 with flag 21947238/4646849
1713.55/1711.73	c cleaning 95999 clauses out of 192026 with flag 22322919/4743849
1754.74/1752.92	c cleaning 97008 clauses out of 194027 with flag 22690399/4841849
1797.33/1795.37	c cleaning 97990 clauses out of 196019 with flag 23071283/4940849
1800.02/1798.00	c starts		: 4120
1800.02/1798.00	c conflicts		: 4948753
1800.02/1798.00	c decisions		: 23651116
1800.02/1798.00	c propagations		: 7133914673
1800.02/1798.00	c inspects		: 17197385206
1800.02/1798.00	c shortcuts		: 0
1800.02/1798.00	c learnt literals	: 1
1800.02/1798.00	c learnt binary clauses	: 0
1800.02/1798.00	c learnt ternary clauses	: 26
1800.02/1798.00	c learnt constraints	: 4948752
1800.02/1798.00	c ignored constraints	: 0
1800.02/1798.00	c root simplifications	: 0
1800.02/1798.00	c removed literals (reason simplification)	: 0
1800.02/1798.00	c reason swapping (by a shorter reason)	: 0
1800.02/1798.00	c Calls to reduceDB	: 95
1800.02/1798.00	c Number of update (reduction) of LBD	: 2117997
1800.02/1798.00	c Imported unit clauses	: 0
1800.02/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.00	c number of learned constraints concerned by reduction	: 0
1800.02/1798.00	c number of learning phase by resolution	: 0
1800.02/1798.00	c number of learning phase by cutting planes	: 0
1800.02/1798.00	c speed (assignments/second)	: 3968506.720507868
1800.02/1798.00	c non guided choices	0
1800.02/1798.03	c learnt constraints type 
1800.02/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105933
1800.02/1798.03	s SATISFIABLE
1800.02/1798.03	c Found 3 solution(s)
1800.02/1798.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 x130 x131 x132 x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 x3164 x3165 -x3166 -x3167 -x3168 -x3169 x3170 x3171 -x3172 -x3173 -x3174 -x3175 x3176 x3177 x3178 x3179 -x3180 -x3181 x3182 x3183 x3184 x3185 x3186 x3187 
1800.02/1798.04	c objective function=33
1800.02/1798.04	c Total wall clock time (in seconds): 1797.927

Verifier Data 

OK	33

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-4085551-1465249677/watcher-4085551-1465249677 -o /tmp/evaluation-result-4085551-1465249677/solver-4085551-1465249677 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7010 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085551-1465249677.opb 

pid=8422
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.16 2.19 2.17 3/194 8425
/proc/meminfo: memFree=29989092/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8425/stat : 8425 (java) R 8422 8425 4042 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 106901077 9515008 146 33554432000 1073741824 1073778376 140736548265568 140736548262696 239872735488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8425/statm: 2323 149 109 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.16 2.19 2.17 3/194 8425
/proc/meminfo: memFree=29989092/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 4401 0 1 0 8 0 0 0 20 0 18 0 106901077 9787879424 6033 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2389619 6033 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200214 s]
/proc/loadavg: 2.16 2.19 2.17 3/194 8425
/proc/meminfo: memFree=29989092/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 4991 0 1 0 25 1 0 0 20 0 18 0 106901077 9787879424 6843 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2389619 6843 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.16 2.19 2.17 3/194 8425
/proc/meminfo: memFree=29989092/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 6142 0 1 0 48 1 0 0 20 0 18 0 106901077 9787879424 8993 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2389619 8993 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700308 s]
/proc/loadavg: 2.16 2.19 2.17 3/194 8425
/proc/meminfo: memFree=29989092/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 9615 0 1 0 125 2 0 0 20 0 19 0 106901077 9856040960 14215 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 14215 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.16 2.19 2.17 3/213 8444
/proc/meminfo: memFree=29939432/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 10931 0 1 0 215 2 0 0 20 0 19 0 106901077 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 14528 2268 9 0 2396937 0
[pid=8425/tid=8427] ppid=8422 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/8425/task/8427/stat : 8427 (java) R 8422 8425 4042 0 -1 4202560 2419 0 1 0 144 2 0 0 20 0 19 0 106901078 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964362717800 139964210336943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8428] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8428/stat : 8428 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964335172520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8429] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8429/stat : 8429 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964334119976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8430] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8430/stat : 8430 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964333066920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8431] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8431/stat : 8431 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964332014376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8432] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8432/stat : 8432 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964330961320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8433] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8433/stat : 8433 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964329908776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8434] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8434/stat : 8434 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964328855720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8435] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8435/stat : 8435 (java) S 8422 8425 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139964198725928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8436] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8436/stat : 8436 (java) S 8422 8425 4042 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106901080 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963715779432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8437] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8437/stat : 8437 (java) S 8422 8425 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963714725752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8438] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8438/stat : 8438 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963713672584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8439] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8439/stat : 8439 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963712621328 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8440] ppid=8422 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8425/task/8440/stat : 8440 (java) S 8422 8425 4042 0 -1 4202560 3702 0 0 0 29 0 0 0 20 0 19 0 106901083 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963711568184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8441] ppid=8422 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/8425/task/8441/stat : 8441 (java) S 8422 8425 4042 0 -1 4202560 3536 0 0 0 39 0 0 0 20 0 19 0 106901083 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963710515640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8442] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8442/stat : 8442 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963709462776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8443] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8443/stat : 8443 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963708410440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 14528 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.16 2.19 2.17 4/213 8444
/proc/meminfo: memFree=29939184/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 10947 0 1 0 381 2 0 0 20 0 19 0 106901077 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 15054 2272 9 0 2396937 0
[pid=8425/tid=8427] ppid=8422 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/8425/task/8427/stat : 8427 (java) R 8422 8425 4042 0 -1 4202560 2421 0 1 0 304 2 0 0 20 0 19 0 106901078 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964362719512 139964210325636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8428] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8428/stat : 8428 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964335172520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8429] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8429/stat : 8429 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964334119976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8430] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8430/stat : 8430 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964333066920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8431] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8431/stat : 8431 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964332014376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8432] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8432/stat : 8432 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964330961320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8433] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8433/stat : 8433 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964329908776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8434] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8434/stat : 8434 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964328855720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8435] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8435/stat : 8435 (java) S 8422 8425 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139964198725928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8436] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8436/stat : 8436 (java) S 8422 8425 4042 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106901080 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963715779432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8437] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8437/stat : 8437 (java) S 8422 8425 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963714725752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8438] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8438/stat : 8438 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963713672584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8439] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8439/stat : 8439 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963712621328 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8440] ppid=8422 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/8425/task/8440/stat : 8440 (java) S 8422 8425 4042 0 -1 4202560 3712 0 0 0 32 0 0 0 20 0 19 0 106901083 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963711568184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8441] ppid=8422 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/8425/task/8441/stat : 8441 (java) S 8422 8425 4042 0 -1 4202560 3540 0 0 0 43 0 0 0 20 0 19 0 106901083 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963710515640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8442] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8442/stat : 8442 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963709462776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8443] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8443/stat : 8443 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963708410440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 15054 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.15 2.19 2.17 4/213 8444
/proc/meminfo: memFree=29934964/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=7.03 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 10950 0 1 0 701 2 0 0 20 0 19 0 106901077 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 15542 2272 9 0 2396937 0
[pid=8425/tid=8427] ppid=8422 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/8425/task/8427/stat : 8427 (java) R 8422 8425 4042 0 -1 4202560 2424 0 1 0 623 2 0 0 20 0 19 0 106901078 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964362710720 139964210313376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8428] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8428/stat : 8428 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964335172520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8429] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8429/stat : 8429 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964334119976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8430] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8430/stat : 8430 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964333066920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8431] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8431/stat : 8431 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964332014376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8432] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8432/stat : 8432 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964330961320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8433] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8433/stat : 8433 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964329908776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8434] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8434/stat : 8434 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964328855720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8435] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8435/stat : 8435 (java) S 8422 8425 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106901079 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139964198725928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8436] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8436/stat : 8436 (java) S 8422 8425 4042 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106901080 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963715779432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8437] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8437/stat : 8437 (java) S 8422 8425 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963714725752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8438] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8438/stat : 8438 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963713672584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8439] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8439/stat : 8439 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963712621328 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8440] ppid=8422 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/8425/task/8440/stat : 8440 (java) S 8422 8425 4042 0 -1 4202560 3712 0 0 0 32 0 0 0 20 0 19 0 106901083 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963711568184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8441] ppid=8422 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/8425/task/8441/stat : 8441 (java) S 8422 8425 4042 0 -1 4202560 3540 0 0 0 43 0 0 0 20 0 19 0 106901083 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963710515640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8442] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8442/stat : 8442 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963709462776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8443] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8443/stat : 8443 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963708410440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 15542 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625040


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

[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.14
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.26 2.19 2.18 4/213 8586
/proc/meminfo: memFree=29644072/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=1724.14 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 12366 0 1 0 172350 64 0 0 20 0 19 0 106901077 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 110677 2286 9 0 2396937 0
[pid=8425/tid=8427] ppid=8422 vsize=9625040 CPUtime=1717.41 cores=0,2,4,6
/proc/8425/task/8427/stat : 8427 (java) R 8422 8425 4042 0 -1 4202560 2485 0 1 0 171705 36 0 0 20 0 19 0 106901078 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964362710704 139964210219574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8428] ppid=8422 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/8425/task/8428/stat : 8428 (java) S 8422 8425 4042 0 -1 4202560 299 0 0 0 12 5 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964335172520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8429] ppid=8422 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8425/task/8429/stat : 8429 (java) S 8422 8425 4042 0 -1 4202560 126 0 0 0 15 5 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964334119976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8430] ppid=8422 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/8425/task/8430/stat : 8430 (java) S 8422 8425 4042 0 -1 4202560 96 0 0 0 19 6 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964333066920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8431] ppid=8422 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/8425/task/8431/stat : 8431 (java) S 8422 8425 4042 0 -1 4202560 84 0 0 0 13 4 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964332014376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8432] ppid=8422 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/8425/task/8432/stat : 8432 (java) S 8422 8425 4042 0 -1 4202560 173 0 0 0 10 4 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964330961320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8433] ppid=8422 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/8425/task/8433/stat : 8433 (java) S 8422 8425 4042 0 -1 4202560 62 0 0 0 12 4 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964329908776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8434] ppid=8422 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/8425/task/8434/stat : 8434 (java) S 8422 8425 4042 0 -1 4202560 188 0 0 0 15 3 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964328855720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8435] ppid=8422 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8425/task/8435/stat : 8435 (java) S 8422 8425 4042 0 -1 4202560 139 0 0 0 9 3 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964198725928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8436] ppid=8422 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8425/task/8436/stat : 8436 (java) S 8422 8425 4042 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 19 0 106901080 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963715779432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8437] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8437/stat : 8437 (java) S 8422 8425 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963714725752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8438] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8438/stat : 8438 (java) S 8422 8425 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963713672584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8439] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8439/stat : 8439 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963712621328 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8440] ppid=8422 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/8425/task/8440/stat : 8440 (java) S 8422 8425 4042 0 -1 4202560 3717 0 0 0 34 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963711568184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8441] ppid=8422 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/8425/task/8441/stat : 8441 (java) S 8422 8425 4042 0 -1 4202560 3544 0 0 0 45 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963710515640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8442] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8442/stat : 8442 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963709462776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8443] ppid=8422 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/8425/task/8443/stat : 8443 (java) S 8422 8425 4042 0 -1 4202560 99 0 0 0 12 14 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963708410440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.14
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/213 8588
/proc/meminfo: memFree=29643640/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=1784.14 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 12370 0 1 0 178350 64 0 0 20 0 19 0 106901077 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 110677 2286 9 0 2396937 0
[pid=8425/tid=8427] ppid=8422 vsize=9625040 CPUtime=1777.26 cores=0,2,4,6
/proc/8425/task/8427/stat : 8427 (java) R 8422 8425 4042 0 -1 4202560 2485 0 1 0 177689 37 0 0 20 0 19 0 106901078 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964362710704 139964210365150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8428] ppid=8422 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/8425/task/8428/stat : 8428 (java) S 8422 8425 4042 0 -1 4202560 299 0 0 0 12 5 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964335172520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8429] ppid=8422 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8425/task/8429/stat : 8429 (java) S 8422 8425 4042 0 -1 4202560 126 0 0 0 15 5 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964334119976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8430] ppid=8422 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/8425/task/8430/stat : 8430 (java) S 8422 8425 4042 0 -1 4202560 96 0 0 0 19 6 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964333066920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8431] ppid=8422 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/8425/task/8431/stat : 8431 (java) S 8422 8425 4042 0 -1 4202560 84 0 0 0 13 4 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964332014376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8432] ppid=8422 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/8425/task/8432/stat : 8432 (java) S 8422 8425 4042 0 -1 4202560 173 0 0 0 10 4 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964330961320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8433] ppid=8422 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/8425/task/8433/stat : 8433 (java) S 8422 8425 4042 0 -1 4202560 62 0 0 0 12 4 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964329908776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8434] ppid=8422 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/8425/task/8434/stat : 8434 (java) S 8422 8425 4042 0 -1 4202560 188 0 0 0 15 3 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964328855720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8435] ppid=8422 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8425/task/8435/stat : 8435 (java) S 8422 8425 4042 0 -1 4202560 139 0 0 0 9 3 0 0 20 0 19 0 106901079 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139964198725928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8436] ppid=8422 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8425/task/8436/stat : 8436 (java) S 8422 8425 4042 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 19 0 106901080 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963715779432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8437] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8437/stat : 8437 (java) S 8422 8425 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963714725752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8438] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8438/stat : 8438 (java) S 8422 8425 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963713672584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8439] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8439/stat : 8439 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963712621328 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8440] ppid=8422 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/8425/task/8440/stat : 8440 (java) S 8422 8425 4042 0 -1 4202560 3717 0 0 0 34 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963711568184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8441] ppid=8422 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/8425/task/8441/stat : 8441 (java) S 8422 8425 4042 0 -1 4202560 3544 0 0 0 45 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963710515640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8442] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8442/stat : 8442 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963709462776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8443] ppid=8422 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/8425/task/8443/stat : 8443 (java) S 8422 8425 4042 0 -1 4202560 103 0 0 0 13 15 0 0 20 0 19 0 106901083 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963708410440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 110677 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.14
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.34 2.22 2.19 4/213 8588
/proc/meminfo: memFree=29601368/32872528 swapFree=15272/1656604
[pid=8425] ppid=8422 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/8425/stat : 8425 (java) S 8422 8425 4042 0 -1 4202496 12463 0 1 0 179934 68 0 0 20 0 19 0 106901077 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 140734577217728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8425/statm: 2406260 121449 2286 9 0 2396937 0
[pid=8425/tid=8427] ppid=8422 vsize=9625040 CPUtime=1792.85 cores=0,2,4,6
/proc/8425/task/8427/stat : 8427 (java) R 8422 8425 4042 0 -1 4202560 2486 0 1 0 179248 37 0 0 20 0 19 0 106901078 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964362710704 139964210298293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8428] ppid=8422 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/8425/task/8428/stat : 8428 (java) S 8422 8425 4042 0 -1 4202560 324 0 0 0 14 5 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964335172520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8429] ppid=8422 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/8425/task/8429/stat : 8429 (java) S 8422 8425 4042 0 -1 4202560 137 0 0 0 18 5 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964334119976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8430] ppid=8422 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/8425/task/8430/stat : 8430 (java) S 8422 8425 4042 0 -1 4202560 104 0 0 0 22 6 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964333066920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8431] ppid=8422 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/8425/task/8431/stat : 8431 (java) S 8422 8425 4042 0 -1 4202560 93 0 0 0 15 4 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964332014376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8432] ppid=8422 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/8425/task/8432/stat : 8432 (java) S 8422 8425 4042 0 -1 4202560 177 0 0 0 12 4 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964330961320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8433] ppid=8422 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/8425/task/8433/stat : 8433 (java) S 8422 8425 4042 0 -1 4202560 81 0 0 0 18 4 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964329908776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8434] ppid=8422 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/8425/task/8434/stat : 8434 (java) S 8422 8425 4042 0 -1 4202560 195 0 0 0 17 4 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964328855720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8435] ppid=8422 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/8425/task/8435/stat : 8435 (java) S 8422 8425 4042 0 -1 4202560 146 0 0 0 12 3 0 0 20 0 19 0 106901079 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139964198725928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8425/tid=8436] ppid=8422 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8425/task/8436/stat : 8436 (java) S 8422 8425 4042 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 19 0 106901080 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963715779432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8425/tid=8437] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8437/stat : 8437 (java) S 8422 8425 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963714725752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8438] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8438/stat : 8438 (java) S 8422 8425 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106901081 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963713672584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8439] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8439/stat : 8439 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963712621328 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8440] ppid=8422 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/8425/task/8440/stat : 8440 (java) S 8422 8425 4042 0 -1 4202560 3717 0 0 0 34 0 0 0 20 0 19 0 106901083 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963711568184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8425/tid=8441] ppid=8422 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/8425/task/8441/stat : 8441 (java) S 8422 8425 4042 0 -1 4202560 3544 0 0 0 45 0 0 0 20 0 19 0 106901083 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963710515640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8442] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8442/stat : 8442 (java) S 8422 8425 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106901083 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963709462776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8443] ppid=8422 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/8425/task/8443/stat : 8443 (java) S 8422 8425 4042 0 -1 4202560 103 0 0 0 13 15 0 0 20 0 19 0 106901083 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963708410440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8425/tid=8444] ppid=8422 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8425/task/8444/stat : 8444 (java) S 8422 8425 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106901114 9856040960 121449 33554432000 1073741824 1073778376 140734577226592 139963707356712 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 8425 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 8425 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=919130
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=11846
# CPU time returned by wait4() is 1795.93
# 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): 1798.06
CPU time (s): 1800.02
CPU user time (s): 1799.34
CPU system time (s): 0.68
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.92
system time used= 1.01185
maximum resident set size= 485924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12500
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38327
involuntary context switches= 14610

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4694 second user time and 12.3371 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-06 23:47:58
IDJOB=4085551
IDBENCH=24997
IDSOLVER=2546
FILE ID=node136/4085551-1465249677
RUNJOBID= node136-1465237111-7010
PBS_JOBID= 19843227
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085551-1465249677/watcher-4085551-1465249677 -o /tmp/evaluation-result-4085551-1465249677/solver-4085551-1465249677 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7010 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085551-1465249677.opb

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

MD5SUM BENCH= c19adaf233257cdd6134391794b23c65
RANDOM SEED=181271597

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.59
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.959
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.959
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:        29989356 kB
Buffers:           31796 kB
Cached:           118920 kB
SwapCached:          804 kB
Active:           416132 kB
Inactive:          96632 kB
Active(anon):     363584 kB
Inactive(anon):     1208 kB
Active(file):      52548 kB
Inactive(file):    95424 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:              1200 kB
Writeback:             0 kB
AnonPages:       2028652 kB
Mapped:            15332 kB
Shmem:                 0 kB
Slab:             567584 kB
SReclaimable:      11448 kB
SUnreclaim:       556136 kB
KernelStack:        1584 kB
PageTables:         8300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2731872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2002944 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= 71736 MiB
End job on node136 at 2016-06-07 00:17:56