Trace number 3718387

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.04 1777.48

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM72248c5a2862af1e3cf852420a7ca986
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.555915
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints150
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 7477
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7476
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3718387-1338252303.wbo
0.10/0.11	c reading problem ... 
0.29/0.23	c ... done. Wall clock time 0.125s.
0.29/0.23	c declared #vars     2800
0.29/0.23	c internal #vars     2950
0.29/0.23	c #constraints  150
0.29/0.23	c constraints type 
0.29/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
0.29/0.23	c ignored satisfied constraints => 1
0.29/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.29/0.23	c 151 constraints processed.
0.29/0.23	c objective function length is 150 literals
0.53/0.34	c SATISFIABLE
0.53/0.34	c OPTIMIZING...
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.232
0.53/0.34	o 59
0.76/0.40	c Got one! Elapsed wall clock time (in seconds):0.288
0.76/0.40	o 53
0.76/0.45	c Got one! Elapsed wall clock time (in seconds):0.343
0.76/0.45	o 49
0.76/0.48	c Got one! Elapsed wall clock time (in seconds):0.369
0.76/0.48	o 8
1.27/0.78	c cleaning 3572 clauses out of 7150 with flag 29022/7150
1.83/1.23	c cleaning 4750 clauses out of 9577 with flag 68000/13149
2.33/1.71	c cleaning 5874 clauses out of 11827 with flag 112006/20149
2.96/2.36	c cleaning 6921 clauses out of 13954 with flag 162126/28150
3.83/3.20	c cleaning 7990 clauses out of 16032 with flag 221491/37149
4.84/4.17	c cleaning 8950 clauses out of 18043 with flag 292793/47150
6.37/5.66	c cleaning 9909 clauses out of 20092 with flag 374545/58149
9.21/8.44	c cleaning 11085 clauses out of 22183 with flag 477557/70149
12.52/11.63	c cleaning 12040 clauses out of 24099 with flag 584943/83150
16.86/15.94	c cleaning 13026 clauses out of 26059 with flag 700173/97150
21.15/20.19	c cleaning 14015 clauses out of 28035 with flag 828871/112152
24.13/23.07	c cleaning 14888 clauses out of 30017 with flag 960477/128149
28.96/27.81	c cleaning 15937 clauses out of 32131 with flag 1089069/145151
34.92/33.77	c cleaning 17092 clauses out of 34192 with flag 1223987/163149
43.12/41.81	c cleaning 18047 clauses out of 36101 with flag 1374499/182150
51.30/49.95	c cleaning 19012 clauses out of 38053 with flag 1556394/202149
59.80/58.38	c cleaning 20017 clauses out of 40042 with flag 1742949/223150
69.46/67.93	c cleaning 21010 clauses out of 42024 with flag 1919144/245149
78.75/77.19	c cleaning 22004 clauses out of 44015 with flag 2141904/268150
84.32/82.69	c cleaning 22857 clauses out of 46011 with flag 2345557/292150
89.08/87.36	c cleaning 24053 clauses out of 48155 with flag 2566266/317151
94.61/92.83	c cleaning 25041 clauses out of 50106 with flag 2782240/343155
98.96/97.16	c cleaning 26010 clauses out of 52060 with flag 2999838/370150
104.61/102.77	c cleaning 27000 clauses out of 54050 with flag 3195177/398150
108.47/106.58	c cleaning 28011 clauses out of 56049 with flag 3391125/427149
113.40/111.47	c cleaning 29011 clauses out of 58039 with flag 3627295/457150
119.35/117.33	c cleaning 30003 clauses out of 60027 with flag 3889340/488149
127.80/125.72	c cleaning 30999 clauses out of 62024 with flag 4201082/520149
136.54/134.49	c cleaning 31995 clauses out of 64025 with flag 4468898/553149
145.12/142.92	c cleaning 32994 clauses out of 66030 with flag 4774862/587149
150.07/147.83	c cleaning 33991 clauses out of 68036 with flag 5015116/622149
157.05/154.77	c cleaning 34998 clauses out of 70045 with flag 5353575/658149
164.42/162.06	c cleaning 35977 clauses out of 72048 with flag 5701825/695150
173.09/170.66	c cleaning 37026 clauses out of 74072 with flag 6013160/733151
183.48/180.94	c cleaning 38013 clauses out of 76050 with flag 6329434/772155
192.05/189.47	c cleaning 39005 clauses out of 78032 with flag 6684591/812150
202.33/199.67	c cleaning 40003 clauses out of 80026 with flag 7102444/853149
211.02/208.29	c cleaning 40968 clauses out of 82027 with flag 7507718/895153
219.44/216.51	c cleaning 42026 clauses out of 84055 with flag 7871303/938149
227.91/224.97	c cleaning 42993 clauses out of 86029 with flag 8290959/982149
238.90/235.83	c cleaning 44006 clauses out of 88038 with flag 8680145/1027151
254.49/251.39	c cleaning 45004 clauses out of 90034 with flag 9065578/1073153
266.02/262.80	c cleaning 45995 clauses out of 92027 with flag 9467845/1120150
280.11/276.78	c cleaning 46990 clauses out of 94032 with flag 9927228/1168150
292.09/288.67	c cleaning 47997 clauses out of 96042 with flag 10448145/1217150
308.17/304.67	c cleaning 49007 clauses out of 98045 with flag 10958048/1267150
324.34/320.74	c cleaning 49998 clauses out of 100037 with flag 11558086/1318149
332.45/328.71	c cleaning 50981 clauses out of 102039 with flag 11987130/1370149
344.55/340.70	c cleaning 52015 clauses out of 104060 with flag 12419857/1423151
355.85/351.94	c cleaning 53013 clauses out of 106043 with flag 12871453/1477149
370.34/366.38	c cleaning 54001 clauses out of 108030 with flag 13405857/1532149
389.85/385.73	c cleaning 54990 clauses out of 110029 with flag 13914059/1588149
403.59/399.34	c cleaning 56007 clauses out of 112040 with flag 14452864/1645150
426.59/422.26	c cleaning 57000 clauses out of 114032 with flag 15073456/1703149
448.58/444.13	c cleaning 57997 clauses out of 116032 with flag 15662487/1762149
470.27/465.78	c cleaning 59003 clauses out of 118036 with flag 16234163/1822150
492.98/488.36	c cleaning 60010 clauses out of 120038 with flag 16843312/1883155
522.63/517.68	c cleaning 61002 clauses out of 122025 with flag 17373342/1945152
542.45/537.44	c cleaning 61998 clauses out of 124020 with flag 17924151/2008149
555.38/550.24	c cleaning 62992 clauses out of 126022 with flag 18442475/2072149
574.40/569.14	c cleaning 63994 clauses out of 128031 with flag 19017878/2137150
598.11/592.52	c cleaning 65009 clauses out of 130042 with flag 19628091/2203155
627.07/621.41	c cleaning 65993 clauses out of 132027 with flag 20231852/2270149
643.77/638.09	c cleaning 66982 clauses out of 134034 with flag 20861822/2338149
670.46/664.64	c cleaning 68007 clauses out of 136052 with flag 21599580/2407149
688.90/682.94	c cleaning 68996 clauses out of 138047 with flag 22209390/2477151
720.53/714.48	c cleaning 69998 clauses out of 140050 with flag 22811586/2548150
752.95/746.72	c cleaning 70994 clauses out of 142051 with flag 23421192/2620149
774.88/768.51	c cleaning 72012 clauses out of 144058 with flag 24073509/2693150
810.95/804.33	c cleaning 72999 clauses out of 146046 with flag 24718505/2767150
845.61/838.93	c cleaning 74009 clauses out of 148048 with flag 25412019/2842151
883.49/876.55	c cleaning 75004 clauses out of 150037 with flag 26217317/2918149
910.88/903.82	c cleaning 75998 clauses out of 152039 with flag 26942792/2995155
932.33/924.43	c cleaning 76998 clauses out of 154036 with flag 27620489/3073150
958.98/950.21	c cleaning 77993 clauses out of 156040 with flag 28314165/3152152
986.27/977.13	c cleaning 78991 clauses out of 158044 with flag 29009961/3232149
1020.40/1010.86	c cleaning 80013 clauses out of 160054 with flag 29711114/3313150
1062.82/1052.82	c cleaning 81007 clauses out of 162040 with flag 30569831/3395149
1089.77/1079.15	c cleaning 82006 clauses out of 164033 with flag 31339545/3478149
1132.97/1121.92	c cleaning 83000 clauses out of 166027 with flag 32226227/3562149
1184.59/1172.47	c cleaning 84002 clauses out of 168027 with flag 33124737/3647149
1225.93/1212.96	c cleaning 84996 clauses out of 170025 with flag 33958417/3733149
1273.02/1259.32	c cleaning 86008 clauses out of 172032 with flag 34850583/3820152
1314.71/1300.32	c cleaning 87000 clauses out of 174023 with flag 35636147/3908151
1350.37/1335.27	c cleaning 87987 clauses out of 176021 with flag 36425683/3997149
1399.49/1383.78	c cleaning 89009 clauses out of 178038 with flag 37360647/4087153
1448.38/1431.98	c cleaning 90001 clauses out of 180027 with flag 38311435/4178151
1489.46/1472.28	c cleaning 90998 clauses out of 182024 with flag 39314907/4270149
1527.91/1510.18	c cleaning 92005 clauses out of 184027 with flag 40354041/4363150
1571.28/1552.94	c cleaning 93003 clauses out of 186021 with flag 41435824/4457149
1592.15/1572.82	c cleaning 93995 clauses out of 188018 with flag 42289961/4552149
1620.87/1601.08	c cleaning 95000 clauses out of 190023 with flag 43045629/4648149
1657.69/1637.31	c cleaning 95992 clauses out of 192024 with flag 43930485/4745150
1697.60/1676.69	c cleaning 96997 clauses out of 194031 with flag 44806124/4843149
1745.02/1723.42	c cleaning 98007 clauses out of 196034 with flag 45830479/4942149
1800.04/1777.41	c starts		: 277
1800.04/1777.41	c conflicts		: 5029261
1800.04/1777.41	c decisions		: 6467373
1800.04/1777.41	c propagations		: 221297727
1800.04/1777.41	c inspects		: 18531097168
1800.04/1777.41	c shortcuts		: 0
1800.04/1777.41	c learnt literals	: 0
1800.04/1777.41	c learnt binary clauses	: 0
1800.04/1777.41	c learnt ternary clauses	: 0
1800.04/1777.41	c learnt constraints	: 5029261
1800.04/1777.41	c ignored constraints	: 0
1800.04/1777.41	c root simplifications	: 0
1800.04/1777.41	c removed literals (reason simplification)	: 0
1800.04/1777.41	c reason swapping (by a shorter reason)	: 0
1800.04/1777.41	c Calls to reduceDB	: 95
1800.04/1777.41	c Number of update (reduction) of LBD	: 3139139
1800.04/1777.41	c number of reductions to clauses (during analyze)	: 0
1800.04/1777.41	c number of learned constraints concerned by reduction	: 0
1800.04/1777.41	c number of learning phase by resolution	: 0
1800.04/1777.41	c number of learning phase by cutting planes	: 0
1800.04/1777.41	c speed (assignments/second)	: 124522.76854116694
1800.04/1777.41	c non guided choices	111784
1800.04/1777.44	c learnt constraints type 
1800.04/1777.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 185158
1800.04/1777.44	c constraints type 
1800.04/1777.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
1800.04/1777.44	c ignored satisfied constraints => 1
1800.04/1777.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1800.04/1777.44	c 152 constraints processed.
1800.04/1777.44	s SATISFIABLE
1800.04/1777.46	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 
1800.04/1777.46	c objective function=8
1800.04/1777.46	c Total wall clock time (in seconds): 1777.348

Verifier Data

OK	8

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 3427
/proc/meminfo: memFree=30500684/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 1184 0 0 0 0 0 0 0 20 0 2 0 291355682 94085120 904 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 22954 901 682 9 0 16769 0
[pid=3427/tid=3428] ppid=3425 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 2 0 291355683 94019584 915 33554432000 1073741824 1073778376 140734297711664 140734297700728 140047720908311 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0915881 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 3427
/proc/meminfo: memFree=30500684/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 4256 0 1 0 8 1 0 0 20 0 18 0 291355682 9787817984 5450 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2389604 5451 2109 9 0 2380296 0
[pid=3427/tid=3428] ppid=3425 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2301 0 1 0 5 1 0 0 20 0 18 0 291355683 9787817984 5451 33554432000 1073741824 1073778376 140734297711664 140047714363728 140047722130259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.100364 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 3427
/proc/meminfo: memFree=30500684/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 4368 0 1 0 9 1 0 0 20 0 18 0 291355682 9787817984 5562 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2389604 5562 2109 9 0 2380296 0
[pid=3427/tid=3428] ppid=3425 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2412 0 1 0 6 1 0 0 20 0 18 0 291355683 9787817984 5562 33554432000 1073741824 1073778376 140734297711664 140047714363728 140047712231216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300229 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 3427
/proc/meminfo: memFree=30500684/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 5847 0 1 0 51 2 0 0 20 0 19 0 291355682 9855979520 7962 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 7962 2231 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2452 0 1 0 26 1 0 0 20 0 19 0 291355683 9855979520 7962 33554432000 1073741824 1073778376 140734297711664 140047714366224 140047559025503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700337 s]
/proc/loadavg: 2.00 2.02 2.00 3/196 3427
/proc/meminfo: memFree=30500684/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=1.27 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 10246 0 1 0 123 4 0 0 20 0 19 0 291355682 9855979520 11599 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 11599 2238 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2456 0 1 0 65 2 0 0 20 0 19 0 291355683 9855979520 11599 33554432000 1073741824 1073778376 140734297711664 140047714366224 140047559412431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 3446
/proc/meminfo: memFree=30450916/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=2.13 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 10325 0 1 0 209 4 0 0 20 0 19 0 291355682 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 16774 2266 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2461 0 1 0 142 2 0 0 20 0 19 0 291355683 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047714365728 140047558966432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3430] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3430/stat : 3430 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047686818472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3431] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3431/stat : 3431 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047685765928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3432] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3432/stat : 3432 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047684713384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3433] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3433/stat : 3433 (java) S 3425 3427 562 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047683660840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3434] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3434/stat : 3434 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047682607272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3435] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3435/stat : 3435 (java) S 3425 3427 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047681554728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3436] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3436/stat : 3436 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047680502184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3437] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3437/stat : 3437 (java) S 3425 3427 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047679449640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3438] ppid=3425 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3427/task/3438/stat : 3438 (java) S 3425 3427 562 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 291355685 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047068146280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3439] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3439/stat : 3439 (java) S 3425 3427 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047067092600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3440] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3440/stat : 3440 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047066039944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3441] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3441/stat : 3441 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047064988688 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 1617 0 0 0 26 0 0 0 20 0 19 0 291355688 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4990 0 0 0 33 2 0 0 20 0 19 0 291355688 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3444] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3444/stat : 3444 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047061830136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3445] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3445/stat : 3445 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047060777800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3446] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3446/stat : 3446 (java) S 3425 3427 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291355707 9855979520 16774 33554432000 1073741824 1073778376 140734297711664 140047059723560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9624980

[startup+3.10063 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 3446
/proc/meminfo: memFree=30432484/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=3.83 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 10850 0 1 0 378 5 0 0 20 0 19 0 291355682 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 17895 2267 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=2.99 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2461 0 1 0 297 2 0 0 20 0 19 0 291355683 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047714365728 140047559394817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3430] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3430/stat : 3430 (java) S 3425 3427 562 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047686818472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3431] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3431/stat : 3431 (java) S 3425 3427 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047685765928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3432] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3432/stat : 3432 (java) S 3425 3427 562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047684713384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3433] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3433/stat : 3433 (java) S 3425 3427 562 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047683660840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3434] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3434/stat : 3434 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047682607272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3435] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3435/stat : 3435 (java) S 3425 3427 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047681554728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3436] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3436/stat : 3436 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047680502184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3437] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3437/stat : 3437 (java) S 3425 3427 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047679449640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3438] ppid=3425 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/3427/task/3438/stat : 3438 (java) S 3425 3427 562 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 291355685 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047068146280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3439] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3439/stat : 3439 (java) S 3425 3427 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047067092600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3440] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3440/stat : 3440 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047066039944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3441] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3441/stat : 3441 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047064988688 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 2127 0 0 0 32 0 0 0 20 0 19 0 291355688 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4997 0 0 0 34 2 0 0 20 0 19 0 291355688 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3444] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3444/stat : 3444 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047061830136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3445] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3445/stat : 3445 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047060777800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3446] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3446/stat : 3446 (java) S 3425 3427 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291355707 9855979520 17895 33554432000 1073741824 1073778376 140734297711664 140047059723560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624980

[startup+6.30066 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 3446
/proc/meminfo: memFree=30414504/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=7.1 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 10896 0 1 0 703 7 0 0 20 0 19 0 291355682 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 25653 2267 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=6.09 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2470 0 1 0 607 2 0 0 20 0 19 0 291355683 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047714365728 140047559395242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3430] ppid=3425 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3427/task/3430/stat : 3430 (java) S 3425 3427 562 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047686818472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3431] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3431/stat : 3431 (java) S 3425 3427 562 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047685765928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3432] ppid=3425 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/3427/task/3432/stat : 3432 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047684713384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3433] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3433/stat : 3433 (java) S 3425 3427 562 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047683660840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3434] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3434/stat : 3434 (java) S 3425 3427 562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047682607272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3435] ppid=3425 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/3427/task/3435/stat : 3435 (java) S 3425 3427 562 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047681554728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3436] ppid=3425 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3427/task/3436/stat : 3436 (java) S 3425 3427 562 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047680502184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3437] ppid=3425 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/3427/task/3437/stat : 3437 (java) S 3425 3427 562 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 291355684 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047679449640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3438] ppid=3425 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3427/task/3438/stat : 3438 (java) S 3425 3427 562 0 -1 4202560 36 0 0 0 10 0 0 0 20 0 19 0 291355685 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047068146280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3439] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3439/stat : 3439 (java) S 3425 3427 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047067092600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3440] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3440/stat : 3440 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047066039944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3441] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3441/stat : 3441 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047064988688 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 2127 0 0 0 32 0 0 0 20 0 19 0 291355688 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4997 0 0 0 34 2 0 0 20 0 19 0 291355688 9855979520 25653 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 2180 0 0 0 34 0 0 0 20 0 19 0 291355688 9855979520 128568 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4997 0 0 0 34 2 0 0 20 0 19 0 291355688 9855979520 128568 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3444] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3444/stat : 3444 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 128568 33554432000 1073741824 1073778376 140734297711664 140047061830136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3445] ppid=3425 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/3427/task/3445/stat : 3445 (java) S 3425 3427 562 0 -1 4202560 93 0 0 0 45 28 0 0 20 0 19 0 291355688 9855979520 128568 33554432000 1073741824 1073778376 140734297711664 140047060777800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3446] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3446/stat : 3446 (java) S 3425 3427 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291355707 9855979520 128568 33554432000 1073741824 1073778376 140734297711664 140047059723560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1622.26
Current children cumulated vsize (KiB) 9624980

[startup+1662.3 s]
/proc/loadavg: 2.20 2.10 2.03 3/215 3685
/proc/meminfo: memFree=29713976/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=1683.2 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 20387 0 1 0 168179 141 0 0 20 0 19 0 291355682 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 131201 2268 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=1641.9 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2809 0 1 0 164161 29 0 0 20 0 19 0 291355683 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047714364784 140047559395213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3430] ppid=3425 vsize=9624980 CPUtime=3.52 cores=1,3,5,7
/proc/3427/task/3430/stat : 3430 (java) S 3425 3427 562 0 -1 4202560 928 0 0 0 341 11 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047686818472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3431] ppid=3425 vsize=9624980 CPUtime=3.59 cores=1,3,5,7
/proc/3427/task/3431/stat : 3431 (java) S 3425 3427 562 0 -1 4202560 1203 0 0 0 349 10 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047685765928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3432] ppid=3425 vsize=9624980 CPUtime=3.29 cores=1,3,5,7
/proc/3427/task/3432/stat : 3432 (java) S 3425 3427 562 0 -1 4202560 1095 0 0 0 316 13 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047684713384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3433] ppid=3425 vsize=9624980 CPUtime=3.45 cores=1,3,5,7
/proc/3427/task/3433/stat : 3433 (java) S 3425 3427 562 0 -1 4202560 1489 0 0 0 330 15 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047683660840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3434] ppid=3425 vsize=9624980 CPUtime=3.39 cores=1,3,5,7
/proc/3427/task/3434/stat : 3434 (java) S 3425 3427 562 0 -1 4202560 789 0 0 0 327 12 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047682607272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3435] ppid=3425 vsize=9624980 CPUtime=3.35 cores=1,3,5,7
/proc/3427/task/3435/stat : 3435 (java) S 3425 3427 562 0 -1 4202560 1138 0 0 0 323 12 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047681554728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3436] ppid=3425 vsize=9624980 CPUtime=3.36 cores=1,3,5,7
/proc/3427/task/3436/stat : 3436 (java) S 3425 3427 562 0 -1 4202560 1017 0 0 0 323 13 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047680502184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3437] ppid=3425 vsize=9624980 CPUtime=3.45 cores=1,3,5,7
/proc/3427/task/3437/stat : 3437 (java) S 3425 3427 562 0 -1 4202560 799 0 0 0 332 13 0 0 20 0 19 0 291355684 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047679449640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3438] ppid=3425 vsize=9624980 CPUtime=8.28 cores=1,3,5,7
/proc/3427/task/3438/stat : 3438 (java) S 3425 3427 562 0 -1 4202560 663 0 0 0 823 5 0 0 20 0 19 0 291355685 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047068146280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3439] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3439/stat : 3439 (java) S 3425 3427 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047067092600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3440] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3440/stat : 3440 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047066039944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3441] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3441/stat : 3441 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047064988688 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 2180 0 0 0 34 0 0 0 20 0 19 0 291355688 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4997 0 0 0 34 2 0 0 20 0 19 0 291355688 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3444] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3444/stat : 3444 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047061830136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3445] ppid=3425 vsize=9624980 CPUtime=0.76 cores=1,3,5,7
/proc/3427/task/3445/stat : 3445 (java) S 3425 3427 562 0 -1 4202560 95 0 0 0 46 30 0 0 20 0 19 0 291355688 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047060777800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3446] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3446/stat : 3446 (java) S 3425 3427 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291355707 9855979520 131201 33554432000 1073741824 1073778376 140734297711664 140047059723560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1683.2
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/215 3685
/proc/meminfo: memFree=29655764/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=1743.92 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 21061 0 1 0 174241 151 0 0 20 0 19 0 291355682 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 146079 2268 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=1701.31 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2816 0 1 0 170101 30 0 0 20 0 19 0 291355683 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047714364784 140047559367040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3430] ppid=3425 vsize=9624980 CPUtime=3.66 cores=1,3,5,7
/proc/3427/task/3430/stat : 3430 (java) S 3425 3427 562 0 -1 4202560 1005 0 0 0 354 12 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047686818472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3431] ppid=3425 vsize=9624980 CPUtime=3.7 cores=1,3,5,7
/proc/3427/task/3431/stat : 3431 (java) S 3425 3427 562 0 -1 4202560 1214 0 0 0 359 11 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047685765928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3432] ppid=3425 vsize=9624980 CPUtime=3.44 cores=1,3,5,7
/proc/3427/task/3432/stat : 3432 (java) S 3425 3427 562 0 -1 4202560 1203 0 0 0 330 14 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047684713384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3433] ppid=3425 vsize=9624980 CPUtime=3.57 cores=1,3,5,7
/proc/3427/task/3433/stat : 3433 (java) S 3425 3427 562 0 -1 4202560 1575 0 0 0 342 15 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047683660840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3434] ppid=3425 vsize=9624980 CPUtime=3.53 cores=1,3,5,7
/proc/3427/task/3434/stat : 3434 (java) S 3425 3427 562 0 -1 4202560 987 0 0 0 339 14 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047682607272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3435] ppid=3425 vsize=9624980 CPUtime=3.47 cores=1,3,5,7
/proc/3427/task/3435/stat : 3435 (java) S 3425 3427 562 0 -1 4202560 1236 0 0 0 334 13 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047681554728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3436] ppid=3425 vsize=9624980 CPUtime=3.47 cores=1,3,5,7
/proc/3427/task/3436/stat : 3436 (java) S 3425 3427 562 0 -1 4202560 1050 0 0 0 334 13 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047680502184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3437] ppid=3425 vsize=9624980 CPUtime=3.54 cores=1,3,5,7
/proc/3427/task/3437/stat : 3437 (java) S 3425 3427 562 0 -1 4202560 807 0 0 0 341 13 0 0 20 0 19 0 291355684 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047679449640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3438] ppid=3425 vsize=9624980 CPUtime=8.45 cores=1,3,5,7
/proc/3427/task/3438/stat : 3438 (java) S 3425 3427 562 0 -1 4202560 707 0 0 0 840 5 0 0 20 0 19 0 291355685 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047068146280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3439] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3439/stat : 3439 (java) S 3425 3427 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047067092600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3440] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3440/stat : 3440 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047066039944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3441] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3441/stat : 3441 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047064988688 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 2180 0 0 0 34 0 0 0 20 0 19 0 291355688 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4997 0 0 0 34 2 0 0 20 0 19 0 291355688 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3444] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3444/stat : 3444 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047061830136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3445] ppid=3425 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/3427/task/3445/stat : 3445 (java) S 3425 3427 562 0 -1 4202560 99 0 0 0 48 31 0 0 20 0 19 0 291355688 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047060777800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3446] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3446/stat : 3446 (java) S 3425 3427 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291355707 9855979520 146079 33554432000 1073741824 1073778376 140734297711664 140047059723560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1743.92
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.4 s]
/proc/loadavg: 2.05 2.08 2.02 3/214 3685
/proc/meminfo: memFree=29620648/32873844 swapFree=7124/7124
[pid=3427] ppid=3425 vsize=9624980 CPUtime=1800.04 cores=1,3,5,7
/proc/3427/stat : 3427 (java) S 3425 3427 562 0 -1 4202496 21405 0 1 0 179848 156 0 0 20 0 19 0 291355682 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140734297702800 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3427/statm: 2406245 152485 2268 9 0 2396937 0
[pid=3427/tid=3428] ppid=3425 vsize=9624980 CPUtime=1755.67 cores=1,3,5,7
/proc/3427/task/3428/stat : 3428 (java) R 3425 3427 562 0 -1 4202560 2828 0 1 0 175536 31 0 0 20 0 19 0 291355683 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047714364784 140047559457186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3430] ppid=3425 vsize=9624980 CPUtime=3.84 cores=1,3,5,7
/proc/3427/task/3430/stat : 3430 (java) S 3425 3427 562 0 -1 4202560 1011 0 0 0 372 12 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047686818472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3431] ppid=3425 vsize=9624980 CPUtime=3.86 cores=1,3,5,7
/proc/3427/task/3431/stat : 3431 (java) S 3425 3427 562 0 -1 4202560 1263 0 0 0 375 11 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047685765928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3432] ppid=3425 vsize=9624980 CPUtime=3.59 cores=1,3,5,7
/proc/3427/task/3432/stat : 3432 (java) S 3425 3427 562 0 -1 4202560 1262 0 0 0 344 15 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047684713384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3433] ppid=3425 vsize=9624980 CPUtime=3.72 cores=1,3,5,7
/proc/3427/task/3433/stat : 3433 (java) S 3425 3427 562 0 -1 4202560 1579 0 0 0 356 16 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047683660840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3427/tid=3434] ppid=3425 vsize=9624980 CPUtime=3.69 cores=1,3,5,7
/proc/3427/task/3434/stat : 3434 (java) S 3425 3427 562 0 -1 4202560 1086 0 0 0 354 15 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047682607272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3435] ppid=3425 vsize=9624980 CPUtime=3.64 cores=1,3,5,7
/proc/3427/task/3435/stat : 3435 (java) S 3425 3427 562 0 -1 4202560 1241 0 0 0 350 14 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047681554728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3436] ppid=3425 vsize=9624980 CPUtime=3.66 cores=1,3,5,7
/proc/3427/task/3436/stat : 3436 (java) S 3425 3427 562 0 -1 4202560 1120 0 0 0 352 14 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047680502184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3437] ppid=3425 vsize=9624980 CPUtime=3.74 cores=1,3,5,7
/proc/3427/task/3437/stat : 3437 (java) S 3425 3427 562 0 -1 4202560 817 0 0 0 360 14 0 0 20 0 19 0 291355684 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047679449640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3438] ppid=3425 vsize=9624980 CPUtime=8.69 cores=1,3,5,7
/proc/3427/task/3438/stat : 3438 (java) S 3425 3427 562 0 -1 4202560 733 0 0 0 864 5 0 0 20 0 19 0 291355685 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047068146280 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3439] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3439/stat : 3439 (java) S 3425 3427 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047067092600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3440] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3440/stat : 3440 (java) S 3425 3427 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291355685 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047066039944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3441] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3441/stat : 3441 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047064988688 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3427/tid=3442] ppid=3425 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3427/task/3442/stat : 3442 (java) S 3425 3427 562 0 -1 4202560 2180 0 0 0 34 0 0 0 20 0 19 0 291355688 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047063935032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3443] ppid=3425 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/3427/task/3443/stat : 3443 (java) S 3425 3427 562 0 -1 4202560 4997 0 0 0 34 2 0 0 20 0 19 0 291355688 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047062882488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3444] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3444/stat : 3444 (java) S 3425 3427 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291355688 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047061830136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3427/tid=3445] ppid=3425 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/3427/task/3445/stat : 3445 (java) S 3425 3427 562 0 -1 4202560 103 0 0 0 51 31 0 0 20 0 19 0 291355688 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047060777800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3427/tid=3446] ppid=3425 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3427/task/3446/stat : 3446 (java) S 3425 3427 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291355707 9855979520 152485 33554432000 1073741824 1073778376 140734297711664 140047059723560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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

Child status: 143

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

Real time (s): 1777.48
CPU time (s): 1800.04
CPU user time (s): 1798.48
CPU system time (s): 1.56
CPU usage (%): 101.269
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 1.9437
maximum resident set size= 610100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21450
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47082
involuntary context switches= 51297

runsolver used 6.17906 second user time and 16.8044 second system time

The end

Launcher Data

Begin job on node134 at 2012-05-29 02:45:03
IDJOB=3718387
IDBENCH=79150
IDSOLVER=2301
FILE ID=node134/3718387-1338252303
RUNJOBID= node134-1338248725-3093
PBS_JOBID= 14624637
Free space on /tmp= 71012 MiB

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

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

MD5SUM BENCH= 72248c5a2862af1e3cf852420a7ca986
RANDOM SEED=1765074653

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:        30501592 kB
Buffers:          450412 kB
Cached:           933024 kB
SwapCached:          416 kB
Active:          1440040 kB
Inactive:          33320 kB
Active(anon):      80128 kB
Inactive(anon):    11384 kB
Active(file):    1359912 kB
Inactive(file):    21936 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107772 kB
Dirty:               948 kB
Writeback:             0 kB
AnonPages:         93332 kB
Mapped:            20880 kB
Shmem:               100 kB
Slab:             753976 kB
SReclaimable:     195392 kB
SUnreclaim:       558584 kB
KernelStack:        1616 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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 03:14:42