Trace number 3718074

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.07 1790.77

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM8648a4908eeb88d76ecf84cd5dcb68ad
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.9897
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints116
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 5929
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5928
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.32	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.32	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.32	c See www.sat4j.org for details.
0.06/0.33	c version 2.3.2.v20120528
0.06/0.33	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.33	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.33	c java.vm.version	19.1-b02
0.06/0.33	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.33	c sun.arch.data.model	64
0.06/0.33	c java.version		1.6.0_24
0.06/0.33	c os.name		Linux
0.06/0.33	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.33	c os.arch		amd64
0.06/0.33	c Free memory 		501472288
0.06/0.33	c Max memory 		7480803328
0.06/0.33	c Total memory 		504102912
0.06/0.33	c Number of processors 	8
0.06/0.36	c Pseudo Boolean Optimization by upper bound
0.06/0.36	c --- Begin Solver configuration ---
0.06/0.36	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.06/0.36	c Learn all clauses as in MiniSAT
0.06/0.36	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.36	c No reason simplification
0.06/0.36	c Armin Biere (Picosat) restarts strategy
0.06/0.36	c Glucose 2 learned constraints deletion strategy
0.06/0.36	c timeout=2147483s
0.06/0.36	c DB Simplification allowed=false
0.06/0.36	c --- End Solver configuration ---
0.06/0.36	c solving HOME/instance-3718074-1338248725.wbo
0.06/0.37	c reading problem ... 
0.39/0.51	c ... done. Wall clock time 0.145s.
0.39/0.51	c declared #vars     3600
0.39/0.51	c internal #vars     3716
0.39/0.51	c #constraints  170
0.39/0.51	c constraints type 
0.39/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.39/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 25
0.39/0.51	c ignored satisfied constraints => 1
0.39/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 55
0.39/0.51	c 171 constraints processed.
0.39/0.51	c objective function length is 116 literals
0.62/0.66	c SATISFIABLE
0.62/0.66	c OPTIMIZING...
0.62/0.66	c Got one! Elapsed wall clock time (in seconds):0.29
0.62/0.66	o 108
0.89/0.70	c Got one! Elapsed wall clock time (in seconds):0.336
0.89/0.70	o 61
0.89/0.76	c Got one! Elapsed wall clock time (in seconds):0.394
0.89/0.76	o 42
1.02/0.82	c Got one! Elapsed wall clock time (in seconds):0.455
1.02/0.82	o 21
1.16/0.91	c Got one! Elapsed wall clock time (in seconds):0.542
1.16/0.91	o 12
1.30/1.07	c Got one! Elapsed wall clock time (in seconds):0.705
1.30/1.07	o 7
1.61/1.27	c cleaning 3946 clauses out of 7909 with flag 10926/7909
2.18/1.70	c cleaning 4955 clauses out of 9963 with flag 46404/13909
2.18/1.76	c Got one! Elapsed wall clock time (in seconds):1.395
2.18/1.76	o 5
2.59/2.19	c cleaning 5297 clauses out of 10662 with flag 31510/19563
3.10/2.61	c cleaning 5664 clauses out of 11366 with flag 67661/25564
3.76/3.26	c cleaning 6350 clauses out of 12702 with flag 111356/32564
4.46/3.92	c cleaning 7142 clauses out of 14351 with flag 161730/40563
5.48/4.91	c cleaning 8098 clauses out of 16209 with flag 227941/49563
6.40/5.82	c cleaning 9023 clauses out of 18111 with flag 294348/59563
7.62/7.06	c cleaning 10000 clauses out of 20088 with flag 371115/70563
9.04/8.42	c cleaning 11020 clauses out of 22089 with flag 454746/82564
10.46/9.86	c cleaning 12007 clauses out of 24068 with flag 542799/95563
12.40/11.70	c cleaning 13011 clauses out of 26061 with flag 640141/109563
13.92/13.20	c cleaning 13992 clauses out of 28050 with flag 747317/124563
16.14/15.42	c cleaning 15008 clauses out of 30059 with flag 866094/140564
18.58/17.83	c cleaning 16003 clauses out of 32050 with flag 999868/157563
21.42/20.60	c cleaning 17011 clauses out of 34048 with flag 1131371/175564
23.65/22.83	c cleaning 17993 clauses out of 36039 with flag 1244688/194566
26.77/25.96	c cleaning 19011 clauses out of 38047 with flag 1401842/214567
30.51/29.61	c cleaning 19995 clauses out of 40036 with flag 1610237/235567
35.04/34.11	c cleaning 20990 clauses out of 42038 with flag 1811560/257564
37.67/36.76	c cleaning 21966 clauses out of 44047 with flag 1973473/280563
41.00/40.07	c cleaning 23003 clauses out of 46081 with flag 2157270/304563
45.44/44.49	c cleaning 24028 clauses out of 48080 with flag 2353362/329565
50.08/49.01	c cleaning 25011 clauses out of 50051 with flag 2567068/355564
56.43/55.35	c cleaning 26009 clauses out of 52040 with flag 2807460/382564
59.87/58.71	c cleaning 26981 clauses out of 54031 with flag 3014072/410564
64.40/63.22	c cleaning 28014 clauses out of 56051 with flag 3221446/439565
69.04/67.87	c cleaning 29003 clauses out of 58037 with flag 3466794/469565
75.76/74.50	c cleaning 30000 clauses out of 60032 with flag 3724891/500563
82.74/81.42	c cleaning 31009 clauses out of 62032 with flag 4041217/532563
92.13/90.73	c cleaning 31996 clauses out of 64023 with flag 4359608/565563
98.40/96.99	c cleaning 32977 clauses out of 66027 with flag 4672009/599563
104.95/103.44	c cleaning 33999 clauses out of 68050 with flag 4937000/634563
112.22/110.67	c cleaning 35012 clauses out of 70052 with flag 5226317/670564
121.98/120.36	c cleaning 36009 clauses out of 72039 with flag 5590702/707563
129.91/128.29	c cleaning 36997 clauses out of 74030 with flag 5910890/745563
140.29/138.56	c cleaning 38015 clauses out of 76046 with flag 6285534/784576
154.05/152.22	c cleaning 38997 clauses out of 78029 with flag 6555988/824574
167.26/165.36	c cleaning 39987 clauses out of 80021 with flag 6851131/865563
174.74/172.78	c cleaning 40992 clauses out of 82036 with flag 7165349/907565
182.49/180.45	c cleaning 41998 clauses out of 84042 with flag 7514580/950563
192.18/190.04	c cleaning 43016 clauses out of 86045 with flag 7884295/994564
201.26/199.10	c cleaning 43993 clauses out of 88034 with flag 8296533/1039569
214.06/211.74	c cleaning 45008 clauses out of 90036 with flag 8735961/1085564
228.77/226.37	c cleaning 46008 clauses out of 92028 with flag 9177853/1132564
241.17/238.65	c cleaning 46999 clauses out of 94019 with flag 9650240/1180563
255.25/252.62	c cleaning 47995 clauses out of 96020 with flag 10122720/1229563
268.42/265.80	c cleaning 48994 clauses out of 98026 with flag 10641317/1279564
281.40/278.69	c cleaning 49995 clauses out of 100031 with flag 11218069/1330563
289.91/287.09	c cleaning 51000 clauses out of 102036 with flag 11594040/1382563
301.88/298.96	c cleaning 52007 clauses out of 104040 with flag 12011490/1435567
313.75/310.72	c cleaning 53007 clauses out of 106030 with flag 12463986/1489564
325.81/322.73	c cleaning 53971 clauses out of 108023 with flag 12986764/1544564
346.81/343.65	c cleaning 55015 clauses out of 110053 with flag 13551069/1600565
359.54/356.21	c cleaning 55985 clauses out of 112036 with flag 14076086/1657563
377.04/373.69	c cleaning 56990 clauses out of 114053 with flag 14625662/1715565
398.25/394.78	c cleaning 58023 clauses out of 116063 with flag 15185357/1774565
420.54/416.92	c cleaning 59008 clauses out of 118038 with flag 15817301/1834563
440.82/437.16	c cleaning 60000 clauses out of 120031 with flag 16505331/1895564
464.74/460.92	c cleaning 61000 clauses out of 122030 with flag 17226909/1957563
479.72/475.77	c cleaning 62011 clauses out of 124031 with flag 17832821/2020564
495.25/491.29	c cleaning 62985 clauses out of 126020 with flag 18387295/2084564
510.15/506.02	c cleaning 64005 clauses out of 128034 with flag 18986310/2149563
526.77/522.52	c cleaning 65002 clauses out of 130029 with flag 19585225/2215563
558.98/554.46	c cleaning 66002 clauses out of 132027 with flag 20151949/2282563
586.66/582.08	c cleaning 67005 clauses out of 134025 with flag 20712478/2350563
616.88/612.15	c cleaning 67997 clauses out of 136021 with flag 21322785/2419564
638.16/633.39	c cleaning 68993 clauses out of 138023 with flag 21986368/2489563
664.57/659.66	c cleaning 70008 clauses out of 140032 with flag 22597327/2560565
690.67/685.61	c cleaning 70999 clauses out of 142023 with flag 23335491/2632564
710.48/705.32	c cleaning 72003 clauses out of 144028 with flag 24034957/2705568
741.84/736.68	c cleaning 72999 clauses out of 146020 with flag 24820716/2779563
765.94/760.68	c cleaning 73999 clauses out of 148024 with flag 25669956/2854566
791.17/785.74	c cleaning 74999 clauses out of 150022 with flag 26563189/2930563
814.24/808.70	c cleaning 75983 clauses out of 152023 with flag 27315085/3007563
832.57/826.96	c cleaning 77006 clauses out of 154040 with flag 27960658/3085563
858.69/852.97	c cleaning 78001 clauses out of 156034 with flag 28637975/3164563
888.53/882.69	c cleaning 79003 clauses out of 158033 with flag 29345166/3244563
914.75/908.72	c cleaning 80002 clauses out of 160034 with flag 30068190/3325567
949.29/943.18	c cleaning 81007 clauses out of 162035 with flag 30814902/3407570
979.02/972.75	c cleaning 81980 clauses out of 164021 with flag 31596733/3490563
1024.85/1018.48	c cleaning 82992 clauses out of 166043 with flag 32325633/3574565
1068.32/1061.70	c cleaning 84018 clauses out of 168052 with flag 33074523/3659566
1107.24/1100.53	c cleaning 85005 clauses out of 170031 with flag 33838517/3745563
1157.26/1150.40	c cleaning 86001 clauses out of 172026 with flag 34668472/3832563
1199.30/1192.40	c cleaning 86999 clauses out of 174025 with flag 35604553/3920563
1227.91/1220.81	c cleaning 88007 clauses out of 176029 with flag 36418769/4009566
1271.87/1264.62	c cleaning 89002 clauses out of 178020 with flag 37169121/4099564
1311.69/1304.33	c cleaning 90001 clauses out of 180018 with flag 37937599/4190564
1357.02/1349.52	c cleaning 91002 clauses out of 182020 with flag 38656939/4282567
1403.08/1395.45	c cleaning 91999 clauses out of 184014 with flag 39478462/4375563
1438.61/1430.81	c cleaning 92993 clauses out of 186016 with flag 40482378/4469564
1461.21/1453.32	c cleaning 94003 clauses out of 188022 with flag 41252374/4564563
1491.98/1483.99	c cleaning 94986 clauses out of 190021 with flag 42093490/4660565
1518.46/1510.28	c cleaning 95997 clauses out of 192035 with flag 43024761/4757565
1565.24/1556.62	c cleaning 96994 clauses out of 194039 with flag 43803945/4855566
1602.98/1594.36	c cleaning 98004 clauses out of 196042 with flag 44509538/4954563
1663.96/1655.12	c cleaning 99003 clauses out of 198038 with flag 45363212/5054563
1720.24/1711.22	c cleaning 100008 clauses out of 200036 with flag 46288206/5155564
1762.33/1753.13	c cleaning 101001 clauses out of 202028 with flag 47267826/5257564
1800.07/1790.71	c starts		: 281
1800.07/1790.71	c conflicts		: 5358127
1800.07/1790.71	c decisions		: 6740460
1800.07/1790.71	c propagations		: 183972904
1800.07/1790.71	c inspects		: 20904309068
1800.07/1790.71	c shortcuts		: 0
1800.07/1790.71	c learnt literals	: 0
1800.07/1790.71	c learnt binary clauses	: 0
1800.07/1790.71	c learnt ternary clauses	: 0
1800.07/1790.71	c learnt constraints	: 5358127
1800.07/1790.71	c ignored constraints	: 0
1800.07/1790.71	c root simplifications	: 0
1800.07/1790.71	c removed literals (reason simplification)	: 0
1800.07/1790.71	c reason swapping (by a shorter reason)	: 0
1800.07/1790.71	c Calls to reduceDB	: 100
1800.07/1790.71	c Number of update (reduction) of LBD	: 3220315
1800.07/1790.71	c number of reductions to clauses (during analyze)	: 0
1800.07/1790.71	c number of learned constraints concerned by reduction	: 0
1800.07/1790.72	c number of learning phase by resolution	: 0
1800.07/1790.72	c number of learning phase by cutting planes	: 0
1800.07/1790.72	c speed (assignments/second)	: 102767.15626033409
1800.07/1790.72	c non guided choices	191929
1800.07/1790.75	c learnt constraints type 
1800.07/1790.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 201624
1800.07/1790.75	c constraints type 
1800.07/1790.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
1800.07/1790.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 25
1800.07/1790.75	c ignored satisfied constraints => 1
1800.07/1790.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 56
1800.07/1790.75	c 172 constraints processed.
1800.07/1790.75	s SATISFIABLE
1800.07/1790.76	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
1800.07/1790.76	c objective function=5
1800.07/1790.76	c Total wall clock time (in seconds): 1790.394

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718074-1338248725/watcher-3718074-1338248725 -o /tmp/evaluation-result-3718074-1338248725/solver-3718074-1338248725 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718074-1338248725.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.00 1.17 1.66 3/175 3117
/proc/meminfo: memFree=30601192/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/3117/stat : 3117 (java) D 3114 3117 562 0 -1 4202496 80 0 1 0 0 0 0 0 20 0 1 0 290997872 278528 33 33554432000 1073741824 1073778376 140734950080928 140734950078104 273896533287 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/3117/statm: 68 33 25 9 0 25 0

[startup+0.089129 s]
/proc/loadavg: 1.00 1.17 1.66 3/175 3117
/proc/meminfo: memFree=30601192/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/3117/stat : 3117 (java) R 3114 3117 562 0 -1 4202496 1051 0 14 0 0 0 0 0 20 0 1 0 290997872 23793664 793 33554432000 1073741824 1073778376 140735665594784 140735665584776 139827594301417 0 0 4096 0 0 0 0 17 0 0 0 6 0 0
/proc/3117/statm: 5809 793 588 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100249 s]
/proc/loadavg: 1.00 1.17 1.66 3/175 3117
/proc/meminfo: memFree=30601192/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/3117/stat : 3117 (java) R 3114 3117 562 0 -1 4202496 1067 0 17 0 0 0 0 0 20 0 1 0 290997872 23793664 811 33554432000 1073741824 1073778376 140735665594784 140735665584776 139827592530400 0 0 4096 0 0 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.300252 s]
/proc/loadavg: 1.00 1.17 1.66 3/175 3117
/proc/meminfo: memFree=30601192/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9558416 CPUtime=0.06 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 3186 0 27 0 4 2 0 0 20 0 18 0 290997872 9787817984 4420 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2389604 4420 1760 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416

[startup+0.700229 s]
/proc/loadavg: 1.00 1.17 1.66 3/175 3117
/proc/meminfo: memFree=30601192/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=0.89 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 7561 0 27 0 86 3 0 0 20 0 19 0 290997872 9855979520 9919 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 9919 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 9624980

[startup+1.50064 s]
/proc/loadavg: 1.00 1.17 1.66 3/215 3157
/proc/meminfo: memFree=30503892/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=1.98 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 10694 0 27 0 194 4 0 0 20 0 19 0 290997872 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 17207 2268 9 0 2396937 0
[pid=3117/tid=3123] ppid=3114 vsize=9624980 CPUtime=1.2 cores=0,2,4,6
/proc/3117/task/3123/stat : 3123 (java) R 3114 3117 562 0 -1 4202560 2460 0 7 0 118 2 0 0 20 0 19 0 290997883 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827587776888 139827442337344 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=3117/tid=3124] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3124/stat : 3124 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827430861224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3126] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3126/stat : 3126 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827429808680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3127] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3127/stat : 3127 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827428755624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3129] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3129/stat : 3129 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827427703080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3130] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3130/stat : 3130 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827426651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3131] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3131/stat : 3131 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827089501224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3134] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3134/stat : 3134 (java) S 3114 3117 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827088448168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3135] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3135/stat : 3135 (java) S 3114 3117 562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827087395624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3140] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3140/stat : 3140 (java) S 3114 3117 562 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 290997889 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827075197288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3143] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3143/stat : 3143 (java) S 3114 3117 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827074143608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3145] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3145/stat : 3145 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827073090440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3146] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3146/stat : 3146 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827072039184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.42 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4469 0 0 0 42 0 0 0 20 0 19 0 290997899 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2534 0 0 0 28 0 0 0 20 0 19 0 290997899 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 17207 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9624980

[startup+3.10066 s]
/proc/loadavg: 1.00 1.17 1.66 3/215 3157
/proc/meminfo: memFree=30429488/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=3.65 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 10716 0 27 0 361 4 0 0 20 0 19 0 290997872 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 19775 2268 9 0 2396937 0
[pid=3117/tid=3123] ppid=3114 vsize=9624980 CPUtime=2.75 cores=0,2,4,6
/proc/3117/task/3123/stat : 3123 (java) R 3114 3117 562 0 -1 4202560 2461 0 7 0 273 2 0 0 20 0 19 0 290997883 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827587776800 139827442341137 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=3117/tid=3124] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3124/stat : 3124 (java) S 3114 3117 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827430861224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3126] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3126/stat : 3126 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827429808680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3127] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3127/stat : 3127 (java) S 3114 3117 562 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827428755624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3129] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3129/stat : 3129 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827427703080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3130] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3130/stat : 3130 (java) S 3114 3117 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827426651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3131] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3131/stat : 3131 (java) S 3114 3117 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827089501224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3134] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3134/stat : 3134 (java) S 3114 3117 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827088448168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3135] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3135/stat : 3135 (java) S 3114 3117 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827087395624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3140] ppid=3114 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/3117/task/3140/stat : 3140 (java) S 3114 3117 562 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 290997889 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827075197288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3143] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3143/stat : 3143 (java) S 3114 3117 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827074143608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3145] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3145/stat : 3145 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827073090440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3146] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3146/stat : 3146 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827072039184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4471 0 0 0 47 0 0 0 20 0 19 0 290997899 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2535 0 0 0 29 0 0 0 20 0 19 0 290997899 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 19775 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9624980

[startup+6.3006 s]
/proc/loadavg: 1.08 1.18 1.67 3/215 3157
/proc/meminfo: memFree=30411056/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=6.92 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 10756 0 27 0 686 6 0 0 20 0 19 0 290997872 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 22973 2268 9 0 2396937 0
[pid=3117/tid=3123] ppid=3114 vsize=9624980 CPUtime=5.85 cores=0,2,4,6
/proc/3117/task/3123/stat : 3123 (java) R 3114 3117 562 0 -1 4202560 2466 0 7 0 583 2 0 0 20 0 19 0 290997883 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827587776800 139827442341444 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=3117/tid=3124] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3124/stat : 3124 (java) S 3114 3117 562 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827430861224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3126] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3126/stat : 3126 (java) S 3114 3117 562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827429808680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3127] ppid=3114 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/3117/task/3127/stat : 3127 (java) S 3114 3117 562 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827428755624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3129] ppid=3114 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/3117/task/3129/stat : 3129 (java) S 3114 3117 562 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827427703080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3130] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3130/stat : 3130 (java) S 3114 3117 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827426651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3131] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3131/stat : 3131 (java) S 3114 3117 562 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827089501224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3134] ppid=3114 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/3117/task/3134/stat : 3134 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827088448168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3135] ppid=3114 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/3117/task/3135/stat : 3135 (java) S 3114 3117 562 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 290997885 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827087395624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3140] ppid=3114 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/3117/task/3140/stat : 3140 (java) S 3114 3117 562 0 -1 4202560 37 0 0 0 10 0 0 0 20 0 19 0 290997889 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827075197288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3143] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3143/stat : 3143 (java) S 3114 3117 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827074143608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3145] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3145/stat : 3145 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827073090440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3146] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3146/stat : 3146 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827072039184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4471 0 0 0 47 0 0 0 20 0 19 0 290997899 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2535 0 0 0 29 0 0 0 20 0 19 0 290997899 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 22973 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4482 0 0 0 49 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2535 0 0 0 29 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 99 0 0 0 34 32 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1731.51
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/215 3195
/proc/meminfo: memFree=28937412/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=1791.66 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 14913 0 27 0 179069 97 0 0 20 0 19 0 290997872 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 196208 2272 9 0 2396937 0
[pid=3117/tid=3123] ppid=3114 vsize=9624980 CPUtime=1765.97 cores=0,2,4,6
/proc/3117/task/3123/stat : 3123 (java) R 3114 3117 562 0 -1 4202560 2614 0 7 0 176567 30 0 0 20 0 19 0 290997883 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827587776800 139827442391894 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0
[pid=3117/tid=3124] ppid=3114 vsize=9624980 CPUtime=1.47 cores=0,2,4,6
/proc/3117/task/3124/stat : 3124 (java) S 3114 3117 562 0 -1 4202560 371 0 0 0 139 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827430861224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3126] ppid=3114 vsize=9624980 CPUtime=1.37 cores=0,2,4,6
/proc/3117/task/3126/stat : 3126 (java) S 3114 3117 562 0 -1 4202560 514 0 0 0 130 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827429808680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3127] ppid=3114 vsize=9624980 CPUtime=1.57 cores=0,2,4,6
/proc/3117/task/3127/stat : 3127 (java) S 3114 3117 562 0 -1 4202560 508 0 0 0 149 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827428755624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3129] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3129/stat : 3129 (java) S 3114 3117 562 0 -1 4202560 395 0 0 0 137 6 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827427703080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3130] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3130/stat : 3130 (java) S 3114 3117 562 0 -1 4202560 434 0 0 0 135 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827426651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3131] ppid=3114 vsize=9624980 CPUtime=1.58 cores=0,2,4,6
/proc/3117/task/3131/stat : 3131 (java) S 3114 3117 562 0 -1 4202560 341 0 0 0 150 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827089501224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3134] ppid=3114 vsize=9624980 CPUtime=1.29 cores=0,2,4,6
/proc/3117/task/3134/stat : 3134 (java) S 3114 3117 562 0 -1 4202560 234 0 0 0 122 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827088448168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3135] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3135/stat : 3135 (java) S 3114 3117 562 0 -1 4202560 421 0 0 0 136 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827087395624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3140] ppid=3114 vsize=9624980 CPUtime=8.28 cores=0,2,4,6
/proc/3117/task/3140/stat : 3140 (java) S 3114 3117 562 0 -1 4202560 794 0 0 0 826 2 0 0 20 0 19 0 290997889 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827075197288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3143] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3143/stat : 3143 (java) S 3114 3117 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827074143608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3145] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3145/stat : 3145 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827073090440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3146] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3146/stat : 3146 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827072039184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4482 0 0 0 49 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2535 0 0 0 29 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 103 0 0 0 35 33 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.66
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.7 s]
/proc/loadavg: 1.92 1.98 1.92 3/215 3254
/proc/meminfo: memFree=29755624/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=1800.07 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 14913 0 27 0 179910 97 0 0 20 0 19 0 290997872 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 196208 2272 9 0 2396937 0
[pid=3117/tid=3123] ppid=3114 vsize=9624980 CPUtime=1774.36 cores=0,2,4,6
/proc/3117/task/3123/stat : 3123 (java) R 3114 3117 562 0 -1 4202560 2614 0 7 0 177406 30 0 0 20 0 19 0 290997883 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827587776800 139827442341776 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0
[pid=3117/tid=3124] ppid=3114 vsize=9624980 CPUtime=1.47 cores=0,2,4,6
/proc/3117/task/3124/stat : 3124 (java) S 3114 3117 562 0 -1 4202560 371 0 0 0 139 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827430861224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3126] ppid=3114 vsize=9624980 CPUtime=1.37 cores=0,2,4,6
/proc/3117/task/3126/stat : 3126 (java) S 3114 3117 562 0 -1 4202560 514 0 0 0 130 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827429808680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3127] ppid=3114 vsize=9624980 CPUtime=1.57 cores=0,2,4,6
/proc/3117/task/3127/stat : 3127 (java) S 3114 3117 562 0 -1 4202560 508 0 0 0 149 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827428755624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3129] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3129/stat : 3129 (java) S 3114 3117 562 0 -1 4202560 395 0 0 0 137 6 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827427703080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3130] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3130/stat : 3130 (java) S 3114 3117 562 0 -1 4202560 434 0 0 0 135 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827426651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3131] ppid=3114 vsize=9624980 CPUtime=1.58 cores=0,2,4,6
/proc/3117/task/3131/stat : 3131 (java) S 3114 3117 562 0 -1 4202560 341 0 0 0 150 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827089501224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3134] ppid=3114 vsize=9624980 CPUtime=1.29 cores=0,2,4,6
/proc/3117/task/3134/stat : 3134 (java) S 3114 3117 562 0 -1 4202560 234 0 0 0 122 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827088448168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3135] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3135/stat : 3135 (java) S 3114 3117 562 0 -1 4202560 421 0 0 0 136 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827087395624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3140] ppid=3114 vsize=9624980 CPUtime=8.28 cores=0,2,4,6
/proc/3117/task/3140/stat : 3140 (java) S 3114 3117 562 0 -1 4202560 794 0 0 0 826 2 0 0 20 0 19 0 290997889 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827075197288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3143] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3143/stat : 3143 (java) S 3114 3117 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827074143608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3145] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3145/stat : 3145 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827073090440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3146] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3146/stat : 3146 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827072039184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4482 0 0 0 49 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2535 0 0 0 29 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 103 0 0 0 35 33 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1790.7 s]
/proc/loadavg: 1.92 1.98 1.92 3/215 3254
/proc/meminfo: memFree=29755624/32873844 swapFree=7124/7124
[pid=3117] ppid=3114 vsize=9624980 CPUtime=1800.07 cores=0,2,4,6
/proc/3117/stat : 3117 (java) S 3114 3117 562 0 -1 4202496 14913 0 27 0 179910 97 0 0 20 0 19 0 290997872 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 140735665585920 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/3117/statm: 2406245 196208 2272 9 0 2396937 0
[pid=3117/tid=3123] ppid=3114 vsize=9624980 CPUtime=1774.36 cores=0,2,4,6
/proc/3117/task/3123/stat : 3123 (java) R 3114 3117 562 0 -1 4202560 2614 0 7 0 177406 30 0 0 20 0 19 0 290997883 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827587776800 139827442341776 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0
[pid=3117/tid=3124] ppid=3114 vsize=9624980 CPUtime=1.47 cores=0,2,4,6
/proc/3117/task/3124/stat : 3124 (java) S 3114 3117 562 0 -1 4202560 371 0 0 0 139 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827430861224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3126] ppid=3114 vsize=9624980 CPUtime=1.37 cores=0,2,4,6
/proc/3117/task/3126/stat : 3126 (java) S 3114 3117 562 0 -1 4202560 514 0 0 0 130 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827429808680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3127] ppid=3114 vsize=9624980 CPUtime=1.57 cores=0,2,4,6
/proc/3117/task/3127/stat : 3127 (java) S 3114 3117 562 0 -1 4202560 508 0 0 0 149 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827428755624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3129] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3129/stat : 3129 (java) S 3114 3117 562 0 -1 4202560 395 0 0 0 137 6 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827427703080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3130] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3130/stat : 3130 (java) S 3114 3117 562 0 -1 4202560 434 0 0 0 135 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827426651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3131] ppid=3114 vsize=9624980 CPUtime=1.58 cores=0,2,4,6
/proc/3117/task/3131/stat : 3131 (java) S 3114 3117 562 0 -1 4202560 341 0 0 0 150 8 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827089501224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3134] ppid=3114 vsize=9624980 CPUtime=1.29 cores=0,2,4,6
/proc/3117/task/3134/stat : 3134 (java) S 3114 3117 562 0 -1 4202560 234 0 0 0 122 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827088448168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3117/tid=3135] ppid=3114 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/3117/task/3135/stat : 3135 (java) S 3114 3117 562 0 -1 4202560 421 0 0 0 136 7 0 0 20 0 19 0 290997885 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827087395624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3140] ppid=3114 vsize=9624980 CPUtime=8.28 cores=0,2,4,6
/proc/3117/task/3140/stat : 3140 (java) S 3114 3117 562 0 -1 4202560 794 0 0 0 826 2 0 0 20 0 19 0 290997889 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827075197288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3143] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3143/stat : 3143 (java) S 3114 3117 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827074143608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3145] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3145/stat : 3145 (java) S 3114 3117 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290997891 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827073090440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3146] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3146/stat : 3146 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827072039184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3148] ppid=3114 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/3117/task/3148/stat : 3148 (java) S 3114 3117 562 0 -1 4202560 4482 0 0 0 49 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827070987064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3117/tid=3150] ppid=3114 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/3117/task/3150/stat : 3150 (java) S 3114 3117 562 0 -1 4202560 2535 0 0 0 29 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827069934520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3152] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3152/stat : 3152 (java) S 3114 3117 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827068881656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3117/tid=3154] ppid=3114 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/3117/task/3154/stat : 3154 (java) S 3114 3117 562 0 -1 4202560 103 0 0 0 35 33 0 0 20 0 19 0 290997899 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827067829320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3117/tid=3156] ppid=3114 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3117/task/3156/stat : 3156 (java) S 3114 3117 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290997925 9855979520 196208 33554432000 1073741824 1073778376 140735665594784 139827066737704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3117 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=659170
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=387789
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.77
CPU time (s): 1800.07
CPU user time (s): 1799.1
CPU system time (s): 0.97
CPU usage (%): 100.519
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 1.38779
maximum resident set size= 784988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14956
page faults= 27
swaps= 0
block input operations= 21040
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40863
involuntary context switches= 19415

runsolver used 6.09007 second user time and 15.2457 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-29 01:45:25
IDJOB=3718074
IDBENCH=78675
IDSOLVER=2301
FILE ID=node134/3718074-1338248725
RUNJOBID= node134-1338248725-3092
PBS_JOBID= 14624637
Free space on /tmp= 71012 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718074-1338248725/watcher-3718074-1338248725 -o /tmp/evaluation-result-3718074-1338248725/solver-3718074-1338248725 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718074-1338248725.wbo

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

MD5SUM BENCH= 8648a4908eeb88d76ecf84cd5dcb68ad
RANDOM SEED=1166302753

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30601464 kB
Buffers:          448352 kB
Cached:           918860 kB
SwapCached:          416 kB
Active:          1351160 kB
Inactive:          26688 kB
Active(anon):       1368 kB
Inactive(anon):    11384 kB
Active(file):    1349792 kB
Inactive(file):    15304 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107772 kB
Dirty:               984 kB
Writeback:             0 kB
AnonPages:         17036 kB
Mapped:            12200 kB
Shmem:               100 kB
Slab:             753916 kB
SReclaimable:     195456 kB
SUnreclaim:       558460 kB
KernelStack:        1432 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node134 at 2012-05-29 02:15:18