Trace number 351183

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)-111787 1800.47 1786.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111787
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
Number of bits of the biggest sum of numbers20
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 (download as text)

0.09/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.23	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.23	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.24	c no version file found!!!
0.09/0.24	c sun.arch.data.model	32
0.09/0.24	c java.version	1.6.0
0.09/0.24	c os.name	Linux
0.09/0.24	c os.version	2.6.9-22.EL.rootsmp
0.09/0.24	c os.arch	i386
0.09/0.24	c Free memory 1651659224
0.09/0.24	c Max memory 1654456320
0.09/0.24	c Total memory 1654456320
0.09/0.24	c Number of processors 2
0.09/0.29	--- Begin Solver configuration ---
0.09/0.29	c Stops conflict analysis at the first Unique Implication Point
0.09/0.29	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.09/0.29	c Learn all clauses as in MiniSAT
0.09/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.29	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.29	c No reason simplification
0.09/0.29	c --- End Solver configuration ---
0.09/0.29	c solving /tmp/evaluation/351183-1176584976/instance-351183-1176584976.opb
0.09/0.29	c reading problem ... 
2.28/1.46	c ... done. Wall clock time 1.166s.
2.28/1.46	c CPU time (experimental) 0.77s.
2.28/1.46	c #vars     3671
2.28/1.46	c #constraints  219
121.36/118.45	c SATISFIABLE
121.36/118.45	c OPTIMIZING...
121.36/118.45	c Got one! Elapsed wall clock time (in seconds):118.158
121.36/118.46	o -103911
130.93/127.91	c Got one! Elapsed wall clock time (in seconds):127.619
130.93/127.91	o -107941
251.57/247.69	c Got one! Elapsed wall clock time (in seconds):247.402
251.67/247.70	o -109024
277.70/273.58	c Got one! Elapsed wall clock time (in seconds):273.294
277.70/273.59	o -111787
1625.88/1613.43	c cleaning 1211082 clauses out of 2422241 for limit 1333406.6500496194
1689.59/1677.07	c cleaning 614295 clauses out of 1228658 for limit 1.0550437969775462E-6
1701.38/1688.83	c cleaning 307424 clauses out of 614865 for limit 3.4837472538970176E-6
1708.48/1695.90	c cleaning 153938 clauses out of 307939 for limit 1.1448499779393451E-5
1710.58/1698.09	c cleaning 77222 clauses out of 154503 for limit 3.770520177402668E-5
1711.68/1699.11	c cleaning 38883 clauses out of 77779 for limit 1.2327150382225257E-4
1715.36/1702.71	c cleaning 27410 clauses out of 54896 for limit 1564.4897884245838
1715.76/1703.10	c cleaning 13927 clauses out of 27988 for limit 5070.683208959624
1720.45/1707.70	c cleaning 14460 clauses out of 29060 for limit 1.6068851328398079E10
1720.65/1707.90	c cleaning 7480 clauses out of 15100 for limit 5.0998732478582085E10
1720.75/1708.02	c cleaning 3987 clauses out of 8119 for limit 1.562626422046363E11
1720.85/1708.11	c cleaning 2248 clauses out of 4632 for limit 4.5169474820226337E11
1720.85/1708.20	c cleaning 1376 clauses out of 2885 for limit 1.1971764720331763E12
1724.50/1711.72	c cleaning 8933 clauses out of 18008 for limit 0.028304029494838488
1728.37/1715.51	c cleaning 12211 clauses out of 24575 for limit 112655.58338382225
1732.94/1720.07	c cleaning 17170 clauses out of 34364 for limit 2.9201258270454336E-6
1733.24/1720.31	c cleaning 8844 clauses out of 17696 for limit 9.370334116265494E-6
1733.34/1720.44	c cleaning 4610 clauses out of 9350 for limit 2.918807401972814E-5
1737.21/1724.28	c cleaning 12560 clauses out of 25240 for limit 8738.141368707931
1741.29/1728.27	c cleaning 14272 clauses out of 28682 for limit 6.901705019978886E10
1741.49/1728.49	c cleaning 7395 clauses out of 14909 for limit 2.1874527734742575E11
1745.45/1732.30	c cleaning 13198 clauses out of 26513 for limit 0.2214203449309641
1745.56/1732.48	c cleaning 6842 clauses out of 13815 for limit 0.7007795059496831
1749.82/1736.64	c cleaning 12672 clauses out of 25476 for limit 4.1645913835906714E7
1750.02/1736.81	c cleaning 6588 clauses out of 13301 for limit 1.311510266770458E8
1750.12/1736.92	c cleaning 3541 clauses out of 7213 for limit 3.988374610838869E8
1753.88/1740.65	c cleaning 10825 clauses out of 21673 for limit 8.80317404511374E-5
1754.07/1740.80	c cleaning 5666 clauses out of 11347 for limit 2.7701203620493107E-4
1758.34/1745.02	c cleaning 12023 clauses out of 24181 for limit 14202.776626668612
1758.54/1745.21	c cleaning 6259 clauses out of 12659 for limit 44785.61194416686
1758.64/1745.32	c cleaning 3379 clauses out of 6899 for limit 135385.80851487338
1762.81/1749.40	c cleaning 11501 clauses out of 23021 for limit 1.2068386437111095E-7
1762.91/1749.55	c cleaning 5994 clauses out of 12019 for limit 3.8082586131912196E-7
1767.46/1754.04	c cleaning 12700 clauses out of 25525 for limit 53.28544668578469
1767.66/1754.30	c cleaning 6602 clauses out of 13325 for limit 168.33058426652244
1771.53/1758.09	c cleaning 12046 clauses out of 24224 for limit 3.7237022552623696E9
1771.83/1758.30	c cleaning 6273 clauses out of 12677 for limit 1.1722647083791609E10
1771.93/1758.41	c cleaning 3383 clauses out of 6905 for limit 3.552784755923437E10
1775.89/1762.37	c cleaning 10946 clauses out of 22021 for limit 0.012159867712918515
1776.09/1762.54	c cleaning 5725 clauses out of 11575 for limit 0.03815054746482554
1776.19/1762.65	c cleaning 3116 clauses out of 6350 for limit 0.11468429149705664
1780.05/1766.47	c cleaning 14547 clauses out of 29235 for limit 4.94441823317476E9
1780.16/1766.59	c cleaning 7518 clauses out of 15187 for limit 1.5680780649513622E10
1780.26/1766.68	c cleaning 4012 clauses out of 8170 for limit 4.811804953859621E10
1780.35/1766.75	c cleaning 2254 clauses out of 4657 for limit 1.390737639589267E11
1780.45/1766.80	c cleaning 1451 clauses out of 2904 for limit 3.681673176987604E11
1784.11/1770.40	c cleaning 15411 clauses out of 30952 for limit 2269.9482197028483
1784.31/1770.62	c cleaning 7954 clauses out of 16041 for limit 7223.191274912306
1784.41/1770.74	c cleaning 4227 clauses out of 8587 for limit 22252.303688645366
1784.51/1770.82	c cleaning 2361 clauses out of 4860 for limit 64838.96279674793
1784.51/1770.88	c cleaning 1431 clauses out of 3000 for limit 173396.957275291
1784.62/1770.93	c cleaning 966 clauses out of 2068 for limit 414413.1881978502
1788.27/1774.50	c cleaning 15547 clauses out of 31103 for limit 0.002992054874216285
1788.57/1774.84	c cleaning 7964 clauses out of 16056 for limit 0.009558513593374788
1788.67/1774.94	c cleaning 4227 clauses out of 8592 for limit 0.029457055991160747
1788.77/1775.02	c cleaning 2362 clauses out of 4865 for limit 0.08579394754308621
1788.77/1775.07	c cleaning 1433 clauses out of 3003 for limit 0.22921342489795432
1788.87/1775.13	c cleaning 965 clauses out of 2070 for limit 0.5483791375092681
1793.24/1779.41	c cleaning 12239 clauses out of 24605 for limit 7.499884749824581E8
1793.34/1779.59	c cleaning 6373 clauses out of 12867 for limit 2.3675058285613E9
1793.54/1779.73	c cleaning 3436 clauses out of 6994 for limit 7.182880096915697E9
1793.64/1779.82	c cleaning 1959 clauses out of 4056 for limit 2.038511481964691E10
1793.74/1779.90	c cleaning 1232 clauses out of 2598 for limit 5.253664804019054E10
1797.50/1783.62	c cleaning 9387 clauses out of 18867 for limit 0.002909304741208436
1797.60/1783.76	c cleaning 4922 clauses out of 9978 for limit 0.009053894467117882
1797.70/1783.86	c cleaning 2710 clauses out of 5557 for limit 0.026836688770115583
1797.80/1783.96	c cleaning 1609 clauses out of 3350 for limit 0.07363494074942879
1797.90/1784.05	c cleaning 1052 clauses out of 2240 for limit 0.18142707783424591
1800.06/1786.11	c starts		: 88
1800.06/1786.11	c conflicts		: 2870479
1800.06/1786.11	c decisions		: 3193151
1800.06/1786.11	c propagations		: 29709324
1800.06/1786.11	c inspects		: 3122737847
1800.06/1786.11	c learnt literals	: 39
1800.06/1786.11	c learnt binary clauses	: 97
1800.06/1786.11	c learnt ternary clauses	: 178
1800.06/1786.11	c learnt clauses	: 2870443
1800.06/1786.11	c root simplifications	: 0
1800.06/1786.11	c removed literals (reason simplification)	: 0
1800.06/1786.14	c reason swapping (by a shorter reason)	: 0
1800.06/1786.14	c Calls to reduceDB	: 68
1800.06/1786.14	c speed (decisions/second)	: 2111.2647906450593
1800.06/1786.14	c non guided choices	83605
1800.06/1786.14	s SATISFIABLE
1800.06/1786.16	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
1800.06/1786.16	v -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
1800.06/1786.16	v -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
1800.06/1786.16	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.06/1786.16	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1786.16	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.06/1786.16	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.06/1786.16	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.06/1786.16	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1786.16	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1786.16	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.06/1786.16	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.06/1786.16	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.06/1786.16	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.06/1786.16	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.06/1786.16	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.06/1786.16	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.06/1786.16	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.06/1786.16	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.06/1786.16	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.06/1786.16	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.06/1786.16	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.06/1786.16	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.06/1786.16	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.06/1786.16	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.06/1786.16	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.06/1786.16	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.06/1786.16	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.06/1786.16	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.06/1786.16	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.06/1786.16	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.06/1786.16	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.06/1786.16	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.06/1786.16	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.06/1786.16	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.06/1786.16	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.06/1786.16	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.06/1786.16	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.06/1786.16	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.06/1786.16	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.06/1786.16	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.06/1786.16	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.06/1786.16	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.06/1786.16	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.06/1786.16	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.06/1786.16	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.06/1786.16	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.06/1786.16	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.06/1786.16	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.06/1786.16	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.06/1786.16	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.06/1786.16	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.06/1786.16	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.06/1786.16	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.06/1786.16	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.06/1786.16	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.06/1786.16	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.06/1786.16	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.06/1786.16	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.06/1786.16	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.06/1786.16	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.06/1786.16	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.06/1786.16	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.06/1786.16	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.06/1786.16	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.06/1786.16	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.06/1786.16	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.06/1786.16	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.06/1786.16	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.06/1786.16	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.06/1786.16	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1800.06/1786.16	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.06/1786.16	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.06/1786.16	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.06/1786.16	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.06/1786.16	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.06/1786.16	v -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1800.06/1786.16	v -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1800.06/1786.16	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 x1544 x1545 -x1546 x1547 x1548 x1549 x1550 x1551 x1552
1800.06/1786.16	v -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571
1800.06/1786.16	v x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
1800.06/1786.16	v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606
1800.06/1786.16	v -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624
1800.06/1786.16	v x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 x1642
1800.06/1786.16	v x1643 x1644 -x1645 x1646 -x1647 x1648 x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660
1800.06/1786.16	v x1661 -x1662 x1663 -x1664 -x1665 -x1666 x1667 -x1668 x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
1800.06/1786.16	v -x1679 -x1680 -x1681 -x1682 -x1683 x1684 x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1800.06/1786.16	v -x1697 -x1698 x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 x1713 x1714
1800.06/1786.16	v x1715 -x1716 -x1717 -x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 -x1727 x1728 x1729 x1730 x1731 -x1732 -x1733
1800.06/1786.16	v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751
1800.06/1786.16	v -x1752 x1753 x1754 -x1755 x1756 -x1757 x1758 x1759 -x1760 -x1761 x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769
1800.06/1786.16	v x1770 x1771 x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 x1782 x1783 x1784 x1785 x1786 x1787 -x1788
1800.06/1786.16	v -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 x1803 x1804 -x1805 x1806
1800.06/1786.16	v x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 -x1824 x1825
1800.06/1786.16	v x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 x1838 x1839 -x1840 -x1841 x1842 -x1843
1800.06/1786.16	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 -x1852 x1853 -x1854 -x1855 x1856 -x1857 -x1858 x1859 -x1860 -x1861
1800.06/1786.16	v -x1862 -x1863 -x1864 -x1865 -x1866 x1867 x1868 -x1869 x1870 -x1871 x1872 x1873 -x1874 -x1875 x1876 x1877 x1878 x1879 x1880
1800.06/1786.16	v x1881 x1882 x1883 x1884 x1885 x1886 x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 x1895 -x1896 x1897 x1898 x1899 x1900
1800.06/1786.16	v x1901 x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918
1800.06/1786.16	v -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937
1800.06/1786.16	v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 x1951 -x1952 -x1953 x1954 x1955
1800.06/1786.16	v -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 x1963 -x1964 -x1965 -x1966 -x1967 x1968 x1969 -x1970 -x1971 x1972 x1973
1800.06/1786.16	v x1974 x1975 x1976 -x1977 x1978 -x1979 -x1980 x1981 x1982 x1983 x1984 x1985 x1986 x1987 x1988 x1989 x1990 x1991 x1992 -x1993
1800.06/1786.16	v -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.06/1786.16	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.06/1786.16	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1800.06/1786.16	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1800.06/1786.16	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1800.06/1786.16	v -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096
1800.06/1786.16	v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113
1800.06/1786.16	v -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
1800.06/1786.16	v -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148
1800.06/1786.16	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165
1800.06/1786.16	v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183
1800.06/1786.16	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 x2193 x2194 -x2195 x2196 x2197 x2198 x2199 -x2200 x2201 -x2202
1800.06/1786.16	v x2203 -x2204 -x2205 x2206 x2207 x2208 x2209 -x2210 x2211 x2212 x2213 x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221
1800.06/1786.16	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 x2237 x2238 -x2239
1800.06/1786.16	v x2240 x2241 x2242 x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
1800.06/1786.16	v -x2258 -x2259 -x2260 x2261 -x2262 -x2263 x2264 x2265 x2266 x2267 -x2268 x2269 x2270 x2271 x2272 -x2273 -x2274 x2275 -x2276
1800.06/1786.16	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 x2293 x2294
1800.06/1786.16	v x2295 x2296 -x2297 x2298 x2299 x2300 x2301 -x2302 x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313
1800.06/1786.16	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
1800.06/1786.16	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347
1800.06/1786.16	v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
1800.06/1786.16	v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381
1800.06/1786.16	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398
1800.06/1786.16	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415
1800.06/1786.16	v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 x2429 -x2430 x2431 x2432 x2433
1800.06/1786.16	v x2434 x2435 -x2436 x2437 x2438 x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 x2446 x2447 x2448 x2449 x2450 x2451 x2452
1800.06/1786.16	v x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 x2465 x2466 x2467 x2468 x2469 x2470 -x2471
1800.06/1786.16	v -x2472 x2473 x2474 x2475 -x2476 -x2477 -x2478 x2479 x2480 x2481 x2482 -x2483 -x2484 x2485 x2486 x2487 -x2488 x2489 -x2490
1800.06/1786.16	v -x2491 x2492 -x2493 -x2494 -x2495 -x2496 x2497 x2498 x2499 x2500 -x2501 x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508
1800.06/1786.16	v -x2509 -x2510 -x2511 -x2512 -x2513 x2514 x2515 x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 x2523 -x2524 -x2525 -x2526
1800.06/1786.16	v -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 x2535 x2536 x2537 x2538 x2539 -x2540 -x2541 -x2542 -x2543 x2544
1800.06/1786.16	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 x2556 x2557 x2558 -x2559 -x2560 x2561 -x2562
1800.06/1786.16	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.06/1786.16	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1800.06/1786.16	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1800.06/1786.16	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1800.06/1786.16	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.06/1786.16	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1800.06/1786.16	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1800.06/1786.16	v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1800.06/1786.16	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715
1800.06/1786.16	v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732
1800.06/1786.16	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749
1800.06/1786.16	v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766
1800.06/1786.16	v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783
1800.06/1786.16	v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
1800.06/1786.16	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817
1800.06/1786.16	v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834
1800.06/1786.16	v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851
1800.06/1786.16	v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
1800.06/1786.16	v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1800.06/1786.16	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1800.06/1786.16	v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919
1800.06/1786.16	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936
1800.06/1786.16	v -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953
1800.06/1786.16	v -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
1800.06/1786.16	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987
1800.06/1786.16	v -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004
1800.06/1786.16	v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021
1800.06/1786.16	v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038
1800.06/1786.16	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055
1800.06/1786.16	v -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
1800.06/1786.16	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089
1800.06/1786.16	v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106
1800.06/1786.16	v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123
1800.06/1786.16	v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
1800.06/1786.16	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157
1800.06/1786.16	v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174
1800.06/1786.16	v -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191
1800.06/1786.16	v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208
1800.06/1786.16	v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225
1800.06/1786.16	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242
1800.06/1786.16	v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259
1800.06/1786.16	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276
1800.06/1786.16	v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293
1800.06/1786.16	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
1800.06/1786.16	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327
1800.06/1786.16	v -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
1800.06/1786.16	v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361
1800.06/1786.16	v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378
1800.06/1786.16	v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
1800.06/1786.16	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412
1800.06/1786.16	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429
1800.06/1786.16	v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446
1800.06/1786.16	v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463
1800.06/1786.16	v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1800.06/1786.16	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497
1800.06/1786.16	v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514
1800.06/1786.16	v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1800.06/1786.16	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
1800.06/1786.16	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565
1800.06/1786.16	v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582
1800.06/1786.16	v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
1800.06/1786.16	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616
1800.06/1786.16	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1800.06/1786.16	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
1800.06/1786.16	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667
1800.06/1786.16	v -x3668 -x3669 -x3670 -x3671
1800.06/1786.18	c objective function=-111787
1800.06/1786.18	c Total wall clock time (ms): 1785.89

Verifier Data (download as text)

OK	-111787

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-351183-1176584976 -o ROOT/results/node14/solver-351183-1176584976 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351183-1176584976/sat4jPseudoResolution.jar /tmp/evaluation/351183-1176584976/instance-351183-1176584976.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 2411
/proc/meminfo: memFree=1670328/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1800 CPUtime=0
/proc/2411/stat : 2411 (java) D 2409 2411 20368 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 106415322 1843200 143 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/2411/statm: 450 143 106 9 0 92 0

[startup+0.0300371 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 2411
/proc/meminfo: memFree=1670328/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1774248 CPUtime=0.01
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 2681 0 1 0 0 1 0 0 18 0 4 0 106415322 1816829952 2429 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 443562 2429 483 9 0 441576 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1774248

[startup+0.101042 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 2411
/proc/meminfo: memFree=1670328/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1777844 CPUtime=0.08
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 3871 0 1 0 5 3 0 0 18 0 7 0 106415322 1820512256 3614 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 444461 3614 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777844

[startup+0.301067 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 2411
/proc/meminfo: memFree=1670328/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1781412 CPUtime=0.21
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 4914 0 1 0 17 4 0 0 18 0 12 0 106415322 1824165888 4653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 445353 4653 1246 9 0 442965 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 1781412

[startup+0.701099 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 2411
/proc/meminfo: memFree=1670328/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1784524 CPUtime=0.89
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 7297 0 1 0 84 5 0 0 18 0 12 0 106415322 1827352576 6736 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 446131 6736 1302 9 0 443743 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1784524

[startup+1.50218 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 2423
/proc/meminfo: memFree=1638232/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795480 CPUtime=2.48
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 17298 0 1 0 238 10 0 0 18 0 12 0 106415322 1838571520 12382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448870 12382 1317 9 0 446482 0
[pid=2411/tid=2413] ppid=2409 vsize=1795480 CPUtime=0.81
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 7999 0 1 0 76 5 0 0 18 0 12 0 106415323 1838571520 12382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109188734 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 106415325 1838571520 12382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 106415325 1838571520 12382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 106415327 1838571520 12382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 106415328 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 106415328 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 106415341 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795480 CPUtime=0.83
/proc/2411/task/2420/stat : 2420 (java) R 2409 2411 20368 0 -1 64 3499 0 0 0 82 1 0 0 16 0 12 0 106415341 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103237585 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795480 CPUtime=0.81
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5081 0 0 0 79 2 0 0 18 0 12 0 106415341 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 106415341 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795480 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 106415341 1838571520 12383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 1795480

[startup+3.10233 s]
/proc/loadavg: 0.92 0.98 0.99 2/90 2424
/proc/meminfo: memFree=1610448/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1796828 CPUtime=4.47
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 32788 0 1 0 429 18 0 0 18 0 13 0 106415322 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 449207 27191 1324 9 0 446819 0
[pid=2411/tid=2413] ppid=2409 vsize=1796828 CPUtime=2.21
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 22653 0 1 0 208 13 0 0 25 0 13 0 106415323 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576385 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 106415325 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 106415325 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 106415327 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 106415328 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 106415328 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1796828 CPUtime=1.12
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4250 0 0 0 111 1 0 0 16 0 13 0 106415341 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1796828 CPUtime=1.11
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5161 0 0 0 109 2 0 0 16 0 13 0 106415341 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2424] ppid=2409 vsize=1796828 CPUtime=0
/proc/2411/task/2424/stat : 2424 (java) S 2409 2411 20368 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106415474 1839951872 27191 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 1796828

[startup+6.30162 s]
/proc/loadavg: 1.09 1.02 1.01 2/90 2424
/proc/meminfo: memFree=1494992/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=7.72
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 50831 0 1 0 746 26 0 0 18 0 13 0 106415322 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 44856 1333 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=5.36
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 37712 0 1 0 516 20 0 0 25 0 13 0 106415323 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109828871 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=0.03
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 1569 0 0 0 3 0 0 0 16 0 13 0 106415325 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=0.03
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 1411 0 0 0 3 0 0 0 16 0 13 0 106415325 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 106415327 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795404 CPUtime=1.12
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4250 0 0 0 111 1 0 0 16 0 13 0 106415341 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.13
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5161 0 0 0 111 2 0 0 17 0 13 0 106415341 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2424] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2424/stat : 2424 (java) S 2409 2411 20368 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106415474 1838493696 44856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 1795404

[startup+12.7022 s]
/proc/loadavg: 1.08 1.02 1.00 2/90 2424
/proc/meminfo: memFree=1449616/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=14.29
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 62790 0 1 0 1397 32 0 0 18 0 13 0 106415322 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 56206 1333 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=11.59
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 37714 0 1 0 1139 20 0 0 25 0 13 0 106415323 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109828788 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=0.2
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 7540 0 0 0 17 3 0 0 16 0 13 0 106415325 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=0.2
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 7394 0 0 0 16 4 0 0 16 0 13 0 106415325 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 106415327 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795404 CPUtime=1.13
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4251 0 0 0 112 1 0 0 16 0 13 0 106415341 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.13
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5161 0 0 0 111 2 0 0 17 0 13 0 106415341 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2424] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2424/stat : 2424 (java) S 2409 2411 20368 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106415474 1838493696 56206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 1795404

[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/90 2424
/proc/meminfo: memFree=1423248/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=27.38
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 70784 0 1 0 2702 36 0 0 18 0 13 0 106415322 1838493696 62778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 62778 1333 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=24.09
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 37716 0 1 0 2389 20 0 0 25 0 13 0 106415323 1838493696 62778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109855941 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=0.49
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 11793 0 0 0 44 5 0 0 18 0 13 0 106415325 1838493696 62778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=0.49
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 11133 0 0 0 44 5 0 0 18 0 13 0 106415325 1838493696 62778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 106415327 1838493696 62778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4260 0 0 0 122 1 0 0 17 0 13 0 106415341 1838493696 385143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.27
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5179 0 0 0 125 2 0 0 16 0 13 0 106415341 1838493696 385143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 385143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 385143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2428] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2428/stat : 2428 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 106442684 1838493696 385143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1614.78
Current children cumulated vsize (KiB) 1795404

[startup+1662.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/90 2430
/proc/meminfo: memFree=122416/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=1674.89
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 495143 0 1 0 167242 247 0 0 18 0 13 0 106415322 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 387190 1336 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=1649.1
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 40435 0 1 0 164875 35 0 0 25 0 13 0 106415323 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110020188 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=11.55
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 212206 0 0 0 1056 99 0 0 17 0 13 0 106415325 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=11.59
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 232213 0 0 0 1057 102 0 0 16 0 13 0 106415325 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0.06
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 120 0 0 0 2 4 0 0 16 0 13 0 106415327 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795404 CPUtime=1.25
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4262 0 0 0 124 1 0 0 16 0 13 0 106415341 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.27
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5179 0 0 0 125 2 0 0 17 0 13 0 106415341 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2428] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2428/stat : 2428 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 106442684 1838493696 387190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1674.89
Current children cumulated vsize (KiB) 1795404

[startup+1722.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/90 2430
/proc/meminfo: memFree=119728/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=1735.31
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 497541 0 1 0 173282 249 0 0 18 0 13 0 106415322 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 387941 1336 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=1708.61
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 40445 0 1 0 170826 35 0 0 25 0 13 0 106415323 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109830077 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=11.99
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 214096 0 0 0 1099 100 0 0 16 0 13 0 106415325 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=12.05
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 232703 0 0 0 1103 102 0 0 16 0 13 0 106415325 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0.06
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 128 0 0 0 2 4 0 0 16 0 13 0 106415327 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795404 CPUtime=1.25
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4262 0 0 0 124 1 0 0 16 0 13 0 106415341 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.28
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5179 0 0 0 126 2 0 0 16 0 13 0 106415341 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2428] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2428/stat : 2428 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 106442684 1838493696 387941 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1735.31
Current children cumulated vsize (KiB) 1795404

[startup+1782.3 s]
/proc/loadavg: 1.32 1.11 1.03 2/90 2430
/proc/meminfo: memFree=110704/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=1796.2
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 499795 0 1 0 179369 251 0 0 18 0 13 0 106415322 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 390181 1336 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=1767.57
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 40459 0 1 0 176721 36 0 0 25 0 13 0 106415323 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816127 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=12.9
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 216335 0 0 0 1188 102 0 0 16 0 13 0 106415325 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=13.07
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 232704 0 0 0 1205 102 0 0 17 0 13 0 106415325 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0.06
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 128 0 0 0 2 4 0 0 16 0 13 0 106415327 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795404 CPUtime=1.25
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4262 0 0 0 124 1 0 0 16 0 13 0 106415341 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.28
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5179 0 0 0 126 2 0 0 16 0 13 0 106415341 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2428] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2428/stat : 2428 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 106442684 1838493696 390181 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 1795404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.1 s]
/proc/loadavg: 1.29 1.10 1.03 2/90 2430
/proc/meminfo: memFree=110192/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=1795404 CPUtime=1800.06
/proc/2411/stat : 2411 (java) S 2409 2411 20368 0 -1 0 499927 0 1 0 179755 251 0 0 18 0 13 0 106415322 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2411/statm: 448851 390312 1336 9 0 446463 0
[pid=2411/tid=2413] ppid=2409 vsize=1795404 CPUtime=1771.29
/proc/2411/task/2413/stat : 2413 (java) R 2409 2411 20368 0 -1 64 40460 0 1 0 177093 36 0 0 25 0 13 0 106415323 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109892399 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2414] ppid=2409 vsize=1795404 CPUtime=12.96
/proc/2411/task/2414/stat : 2414 (java) S 2409 2411 20368 0 -1 64 216466 0 0 0 1194 102 0 0 16 0 13 0 106415325 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2415] ppid=2409 vsize=1795404 CPUtime=13.15
/proc/2411/task/2415/stat : 2415 (java) S 2409 2411 20368 0 -1 64 232704 0 0 0 1213 102 0 0 17 0 13 0 106415325 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2416] ppid=2409 vsize=1795404 CPUtime=0.06
/proc/2411/task/2416/stat : 2416 (java) S 2409 2411 20368 0 -1 64 128 0 0 0 2 4 0 0 16 0 13 0 106415327 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2417] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2417/stat : 2417 (java) S 2409 2411 20368 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2418] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2418/stat : 2418 (java) S 2409 2411 20368 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106415328 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2419] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2419/stat : 2419 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 106415341 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2420] ppid=2409 vsize=1795404 CPUtime=1.25
/proc/2411/task/2420/stat : 2420 (java) S 2409 2411 20368 0 -1 64 4262 0 0 0 124 1 0 0 16 0 13 0 106415341 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2421] ppid=2409 vsize=1795404 CPUtime=1.28
/proc/2411/task/2421/stat : 2421 (java) S 2409 2411 20368 0 -1 64 5179 0 0 0 126 2 0 0 16 0 13 0 106415341 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2422] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2422/stat : 2422 (java) S 2409 2411 20368 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 106415341 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2411/tid=2423] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2423/stat : 2423 (java) S 2409 2411 20368 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 106415341 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2411/tid=2428] ppid=2409 vsize=1795404 CPUtime=0
/proc/2411/task/2428/stat : 2428 (java) S 2409 2411 20368 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 106442684 1838493696 390312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1795404

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

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

[startup+1786.21 s]
/proc/loadavg: 1.29 1.10 1.03 2/90 2430
/proc/meminfo: memFree=110192/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=0 CPUtime=1800.25
/proc/2411/stat : 2411 (java) Z 2409 2411 20368 0 -1 1036 500012 0 1 0 179772 253 0 0 15 0 2 0 106415322 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

[startup+1786.41 s]
/proc/loadavg: 1.29 1.10 1.03 2/80 2433
/proc/meminfo: memFree=856104/2055920 swapFree=4149088/4192956
[pid=2411] ppid=2409 vsize=0 CPUtime=1800.44
/proc/2411/stat : 2411 (java) Z 2409 2411 20368 0 -1 1036 500012 0 1 0 179772 272 0 0 15 0 2 0 106415322 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.43
CPU time (s): 1800.47
CPU user time (s): 1797.72
CPU system time (s): 2.74858
CPU usage (%): 100.786
Max. virtual memory (cumulated for all children) (KiB): 1797852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.72
system time used= 2.74858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38276
involuntary context switches= 23826

runsolver used 1.87871 second user time and 4.66329 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Apr 14 21:09:36 UTC 2007

IDJOB= 351183
IDBENCH= 1683
IDSOLVER= 159
FILE ID= node14/351183-1176584976

PBS_JOBID= 4556797

Free space on /tmp= 66558 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351183-1176584976/sat4jPseudoResolution.jar /tmp/evaluation/351183-1176584976/instance-351183-1176584976.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-351183-1176584976 -o ROOT/results/node14/solver-351183-1176584976 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351183-1176584976/sat4jPseudoResolution.jar /tmp/evaluation/351183-1176584976/instance-351183-1176584976.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  afb312a519ee7dfceb0c5aec9cb860b5

RANDOM SEED= 191286429

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1670800 kB
Buffers:         72832 kB
Cached:         245280 kB
SwapCached:      11892 kB
Active:         147948 kB
Inactive:       198592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1670800 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            3776 kB
Writeback:           0 kB
Mapped:          32564 kB
Slab:            24144 kB
Committed_AS:  5201684 kB
PageTables:       1796 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node14 on Sat Apr 14 21:39:24 UTC 2007