Trace number 353931

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
sat4jPseudoCPClause 2007-03-23SAT (TO)3792896 1800.4 1777.77

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3416057
Best CPU time to get the best result obtained on this benchmark1800.41
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
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 constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
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.21/0.30	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.21/0.30	--- Begin Solver configuration ---
0.21/0.30	c Stops conflict analysis at the first Unique Implication Point
0.21/0.30	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.21/0.30	c Learn all clauses as in MiniSAT
0.21/0.30	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.21/0.30	c VSIDS like heuristics from MiniSAT using a heap
0.21/0.30	c No reason simplification
0.21/0.30	c --- End Solver configuration ---
0.21/0.30	c Simplify asserted PB constraints to clauses
0.21/0.30	c solving /tmp/evaluation/353931-1176688705/instance-353931-1176688705.opb
0.21/0.30	c reading problem ... 
1.76/1.21	c ... done. Wall clock time 0.911s.
1.76/1.21	c CPU time (experimental) 0.6s.
1.76/1.21	c #vars     4464
1.76/1.21	c #constraints  192
37.04/35.24	c SATISFIABLE
37.04/35.24	c OPTIMIZING...
37.04/35.24	c Got one! Elapsed wall clock time (in seconds):34.944
37.04/35.27	o 9226256
42.07/40.12	c Got one! Elapsed wall clock time (in seconds):39.816
42.07/40.14	o 5238783
48.54/46.49	c Got one! Elapsed wall clock time (in seconds):46.189
48.64/46.51	o 5146062
60.75/58.55	c Got one! Elapsed wall clock time (in seconds):58.246
60.75/58.57	o 5110684
77.84/75.58	c Got one! Elapsed wall clock time (in seconds):75.284
77.94/75.60	o 5062637
102.39/99.97	c Got one! Elapsed wall clock time (in seconds):99.67
102.39/99.99	o 5057353
104.89/102.40	c Got one! Elapsed wall clock time (in seconds):102.102
104.89/102.42	o 3792896
1800.04/1777.52	c starts		: 12
1800.04/1777.52	c conflicts		: 22510
1800.04/1777.52	c decisions		: 301677
1800.04/1777.52	c propagations		: 1016700
1800.04/1777.52	c inspects		: 122283655
1800.04/1777.52	c learnt literals	: 0
1800.04/1777.52	c learnt binary clauses	: 0
1800.04/1777.52	c learnt ternary clauses	: 0
1800.04/1777.52	c learnt clauses	: 22510
1800.04/1777.52	c root simplifications	: 0
1800.04/1777.52	c removed literals (reason simplification)	: 0
1800.04/1777.52	c reason swapping (by a shorter reason)	: 0
1800.04/1777.52	c Calls to reduceDB	: 0
1800.04/1777.52	c speed (decisions/second)	: 180.09900529055045
1800.04/1777.52	c non guided choices	1404
1800.04/1777.52	s SATISFIABLE
1800.04/1777.56	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.04/1777.56	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.04/1777.56	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.04/1777.56	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 -x105
1800.04/1777.56	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.04/1777.56	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.04/1777.56	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.04/1777.56	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.04/1777.56	v -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.04/1777.56	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.04/1777.56	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.04/1777.56	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.04/1777.56	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.04/1777.56	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.04/1777.56	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.04/1777.56	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.04/1777.56	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.04/1777.56	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.04/1777.56	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.04/1777.56	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.04/1777.56	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.04/1777.56	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.04/1777.56	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.04/1777.56	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.04/1777.56	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.04/1777.56	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.04/1777.56	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.04/1777.56	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.04/1777.56	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.04/1777.56	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.04/1777.56	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.04/1777.56	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.04/1777.56	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.04/1777.56	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.04/1777.56	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.04/1777.56	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.04/1777.56	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798
1800.04/1777.56	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.04/1777.56	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.04/1777.56	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.04/1777.56	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.04/1777.56	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.04/1777.56	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.04/1777.56	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.04/1777.56	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.04/1777.56	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.04/1777.56	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 x1003 x1004 -x1005 -x1006 -x1007
1800.04/1777.56	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1800.04/1777.56	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1800.04/1777.56	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1800.04/1777.56	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.04/1777.56	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.04/1777.56	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.04/1777.56	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.04/1777.56	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.04/1777.56	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.04/1777.56	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.04/1777.56	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1800.04/1777.56	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1800.04/1777.56	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1800.04/1777.56	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.04/1777.56	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1800.04/1777.56	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.04/1777.56	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.04/1777.56	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.04/1777.56	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.04/1777.56	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.04/1777.56	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.04/1777.56	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1800.04/1777.56	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.04/1777.56	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.04/1777.56	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.04/1777.56	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.04/1777.56	v -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.04/1777.56	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1800.04/1777.56	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1800.04/1777.56	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.04/1777.56	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1800.04/1777.56	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1800.04/1777.56	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1800.04/1777.56	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.04/1777.56	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1800.04/1777.56	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.04/1777.56	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.04/1777.56	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1800.04/1777.56	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.04/1777.56	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.04/1777.56	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1800.04/1777.56	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1800.04/1777.56	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1800.04/1777.56	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1800.04/1777.56	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1800.04/1777.56	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
1800.04/1777.56	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1800.04/1777.56	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.04/1777.56	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
1800.04/1777.56	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1800.04/1777.56	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1800.04/1777.56	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
1800.04/1777.56	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1800.04/1777.56	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
1800.04/1777.56	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1800.04/1777.56	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961
1800.04/1777.56	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978
1800.04/1777.56	v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995
1800.04/1777.56	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012
1800.04/1777.56	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1800.04/1777.56	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
1800.04/1777.56	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1800.04/1777.56	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1800.04/1777.56	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1800.04/1777.56	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
1800.04/1777.56	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131
1800.04/1777.56	v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1800.04/1777.56	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165
1800.04/1777.56	v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182
1800.04/1777.56	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.04/1777.56	v -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.04/1777.56	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1800.04/1777.56	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1800.04/1777.56	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1800.04/1777.56	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
1800.04/1777.56	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1800.04/1777.56	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1800.04/1777.56	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1800.04/1777.56	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 x2352 x2353 -x2354
1800.04/1777.56	v x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1800.04/1777.56	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1800.04/1777.56	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405
1800.04/1777.56	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1800.04/1777.56	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1800.04/1777.56	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.04/1777.56	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1800.04/1777.56	v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491
1800.04/1777.56	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1800.04/1777.56	v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525
1800.04/1777.56	v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1800.04/1777.56	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.04/1777.56	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1800.04/1777.56	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1800.04/1777.56	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1800.04/1777.56	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627
1800.04/1777.56	v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644
1800.04/1777.56	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661
1800.04/1777.56	v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678
1800.04/1777.56	v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1800.04/1777.56	v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712
1800.04/1777.56	v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729
1800.04/1777.56	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1800.04/1777.56	v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763
1800.04/1777.56	v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
1800.04/1777.56	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797
1800.04/1777.56	v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814
1800.04/1777.56	v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831
1800.04/1777.56	v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848
1800.04/1777.56	v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865
1800.04/1777.56	v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882
1800.04/1777.56	v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
1800.04/1777.56	v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916
1800.04/1777.56	v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933
1800.04/1777.56	v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
1800.04/1777.56	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967
1800.04/1777.56	v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984
1800.04/1777.56	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001
1800.04/1777.56	v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018
1800.04/1777.56	v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035
1800.04/1777.56	v -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1800.04/1777.56	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1800.04/1777.56	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1800.04/1777.56	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104
1800.04/1777.56	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
1800.04/1777.56	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
1800.04/1777.56	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1800.04/1777.56	v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173
1800.04/1777.56	v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1800.04/1777.56	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1800.04/1777.56	v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 x3222 -x3223 x3224 -x3225
1800.04/1777.56	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242
1800.04/1777.56	v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259
1800.04/1777.56	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276
1800.04/1777.56	v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293
1800.04/1777.56	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
1800.04/1777.56	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327
1800.04/1777.56	v -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
1800.04/1777.56	v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361
1800.04/1777.56	v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378
1800.04/1777.56	v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
1800.04/1777.56	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412
1800.04/1777.56	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429
1800.04/1777.56	v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446
1800.04/1777.56	v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463
1800.04/1777.56	v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1800.04/1777.56	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497
1800.04/1777.56	v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514
1800.04/1777.56	v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1800.04/1777.56	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
1800.04/1777.56	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565
1800.04/1777.56	v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582
1800.04/1777.56	v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
1800.04/1777.56	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616
1800.04/1777.56	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1800.04/1777.56	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
1800.04/1777.56	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667
1800.04/1777.56	v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684
1800.04/1777.56	v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701
1800.04/1777.56	v -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719
1800.04/1777.56	v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736
1800.04/1777.56	v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753
1800.04/1777.56	v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
1800.04/1777.56	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787
1800.04/1777.56	v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804
1800.04/1777.56	v -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821
1800.04/1777.56	v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
1800.04/1777.56	v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855
1800.04/1777.56	v -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872
1800.04/1777.56	v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889
1800.04/1777.56	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
1800.04/1777.56	v -x3907 -x3908 -x3909 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923
1800.04/1777.56	v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
1800.04/1777.56	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1800.04/1777.56	v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974
1800.04/1777.56	v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991
1800.04/1777.56	v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008
1800.04/1777.56	v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025
1800.04/1777.56	v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042
1800.04/1777.56	v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059
1800.04/1777.56	v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076
1800.04/1777.56	v -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 x4092 x4093 x4094
1800.04/1777.56	v -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111
1800.04/1777.56	v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128
1800.04/1777.56	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145
1800.04/1777.56	v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162
1800.04/1777.56	v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179
1800.04/1777.56	v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196
1800.04/1777.56	v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213
1800.04/1777.56	v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
1800.04/1777.56	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247
1800.04/1777.56	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264
1800.04/1777.56	v -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281
1800.04/1777.56	v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298
1800.04/1777.56	v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315
1800.04/1777.56	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 x4327 -x4328 -x4329 x4330 -x4331 -x4332 -x4333
1800.04/1777.56	v -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 x4351
1800.04/1777.56	v -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369
1800.04/1777.56	v -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387
1800.04/1777.56	v -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 x4395 x4396 -x4397 -x4398 x4399 x4400 x4401 -x4402 -x4403 -x4404 -x4405
1800.04/1777.56	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423
1800.04/1777.56	v -x4424 x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441
1800.04/1777.56	v -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459
1800.04/1777.56	v -x4460 x4461 -x4462 -x4463 -x4464
1800.04/1777.60	c objective function=3792896
1800.04/1777.60	c Total wall clock time (ms): 1777.304

Verifier Data (download as text)

OK	3792896

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-353931-1176688705 -o ROOT/results/node4/solver-353931-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353931-1176688705/sat4jPseudoCPClause.jar /tmp/evaluation/353931-1176688705/instance-353931-1176688705.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 11622
/proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=18568 CPUtime=0
/proc/11622/stat : 11622 (runsolver) D 11620 11622 11449 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 144908295 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 259913215271 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/11622/statm: 4642 292 257 24 0 2626 0

[startup+0.078771 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 11622
/proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=12620 CPUtime=0
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 848 0 0 0 0 0 0 0 18 0 2 0 144908295 12922880 604 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 3155 604 287 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12620

[startup+0.102776 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 11622
/proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1775952 CPUtime=0.02
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 2830 0 1 0 1 1 0 0 18 0 4 0 144908295 1818574848 2577 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 443988 2577 609 9 0 441624 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1775952

[startup+0.302794 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 11622
/proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1781996 CPUtime=0.21
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 4884 0 1 0 17 4 0 0 18 0 12 0 144908295 1824763904 4622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 445499 4622 1244 9 0 443110 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 1781996

[startup+0.702833 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 11622
/proc/meminfo: memFree=1883032/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1784524 CPUtime=0.78
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 6927 0 1 0 74 4 0 0 18 0 12 0 144908295 1827352576 6405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 446131 6405 1301 9 0 443742 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 1784524

[startup+1.50291 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 11634
/proc/meminfo: memFree=1849528/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1793500 CPUtime=2.2
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 15147 0 1 0 212 8 0 0 18 0 13 0 144908295 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448375 12182 1318 9 0 445986 0
[pid=11622/tid=11624] ppid=11620 vsize=1793500 CPUtime=0.8
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 8473 0 1 0 76 4 0 0 20 0 13 0 144908299 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109639982 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144908305 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144908305 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 144908307 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 144908308 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144908308 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1793500 CPUtime=0.77
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 3901 0 0 0 76 1 0 0 16 0 13 0 144908313 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1793500 CPUtime=0.59
/proc/11622/task/11632/stat : 11632 (java) R 11620 11622 11449 0 -1 64 2046 0 0 0 59 0 0 0 16 0 13 0 144908314 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105861064 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1793500 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1836544000 12182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 1793500

[startup+3.10107 s]
/proc/loadavg: 0.93 0.98 0.99 4/90 11635
/proc/meminfo: memFree=1816752/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794524 CPUtime=4.58
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 35155 0 1 0 443 15 0 0 18 0 13 0 144908295 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448631 28635 1324 9 0 446242 0
[pid=11622/tid=11624] ppid=11620 vsize=1794524 CPUtime=1.93
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 24654 0 1 0 183 10 0 0 22 0 13 0 144908299 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109837851 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144908305 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144908305 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 144908307 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 144908308 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144908308 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794524 CPUtime=1.33
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4464 0 0 0 131 2 0 0 16 0 13 0 144908313 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794524 CPUtime=1.29
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5310 0 0 0 128 1 0 0 16 0 13 0 144908314 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) R 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11635] ppid=11620 vsize=1794524 CPUtime=0
/proc/11622/task/11635/stat : 11635 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 144908433 1837592576 28635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 1794524

[startup+6.30237 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 11635
/proc/meminfo: memFree=1714672/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794168 CPUtime=7.82
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 49576 0 1 0 761 21 0 0 18 0 13 0 144908295 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448542 42989 1333 9 0 446153 0
[pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=5.07
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 37719 0 1 0 492 15 0 0 25 0 13 0 144908299 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522101 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=0.02
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 676 0 0 0 2 0 0 0 16 0 13 0 144908305 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=0.02
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 676 0 0 0 2 0 0 0 16 0 13 0 144908305 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 144908307 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.35
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4464 0 0 0 133 2 0 0 16 0 13 0 144908313 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.31
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5310 0 0 0 130 1 0 0 16 0 13 0 144908314 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11635] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11635/stat : 11635 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 144908433 1837228032 42989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 1794168

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 2/90 11635
/proc/meminfo: memFree=1702960/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794168 CPUtime=14.33
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 52581 0 1 0 1410 23 0 0 18 0 13 0 144908295 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448542 45960 1334 9 0 446153 0
[pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=11.39
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 37721 0 1 0 1124 15 0 0 25 0 13 0 144908299 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109773343 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=0.08
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 2224 0 0 0 7 1 0 0 16 0 13 0 144908305 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=0.09
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 2123 0 0 0 8 1 0 0 16 0 13 0 144908305 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908307 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.4
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4467 0 0 0 138 2 0 0 17 0 13 0 144908313 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.31
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5311 0 0 0 130 1 0 0 17 0 13 0 144908314 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11635] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11635/stat : 11635 (java) S 11620 11622 11449 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 144908433 1837228032 45960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.33
Current children cumulated vsize (KiB) 1794168

[startup+25.5022 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 11635
/proc/meminfo: memFree=1703856/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794168 CPUtime=27.21
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 54263 0 1 0 2697 24 0 0 18 0 13 0 144908295 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448542 45702 1334 9 0 446153 0
[pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=24.11
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 37723 0 1 0 2395 16 0 0 25 0 13 0 144908299 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109758159 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=0.16
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 3119 0 0 0 15 1 0 0 16 0 13 0 144908305 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=0.17
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 2903 0 0 0 16 1 0 0 17 0 13 0 144908305 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 144908307 1837228032 45702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.26
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 150 0 0 0 15 11 0 0 15 0 13 0 144908307 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 186799 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1620.15
Current children cumulated vsize (KiB) 1794168

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/90 12250
/proc/meminfo: memFree=1071032/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794168 CPUtime=1681.78
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 284621 0 1 0 168027 151 0 0 18 0 13 0 144908295 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448542 195665 1336 9 0 446153 0
[pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=1641.59
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83643 0 1 0 164107 52 0 0 25 0 13 0 144908299 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110034869 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=18.17
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 96780 0 0 0 1778 39 0 0 16 0 13 0 144908305 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=18.2
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 93492 0 0 0 1778 42 0 0 16 0 13 0 144908305 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.27
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 150 0 0 0 16 11 0 0 16 0 13 0 144908307 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 195665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1681.78
Current children cumulated vsize (KiB) 1794168

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/90 12250
/proc/meminfo: memFree=1040568/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794168 CPUtime=1743.27
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 293292 0 1 0 174172 155 0 0 18 0 13 0 144908295 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448542 203065 1336 9 0 446153 0
[pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=1700.03
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83680 0 1 0 169950 53 0 0 25 0 13 0 144908299 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521984 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=19.69
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 101301 0 0 0 1929 40 0 0 16 0 13 0 144908305 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=19.72
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 97604 0 0 0 1928 44 0 0 17 0 13 0 144908305 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.28
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 151 0 0 0 17 11 0 0 16 0 13 0 144908307 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 203065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1743.27
Current children cumulated vsize (KiB) 1794168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.5 s]
/proc/loadavg: 1.10 1.03 1.01 2/90 12250
/proc/meminfo: memFree=999288/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794168 CPUtime=1800.04
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 304918 0 1 0 179843 161 0 0 18 0 13 0 144908295 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448542 213347 1336 9 0 446153 0
[pid=11622/tid=11624] ppid=11620 vsize=1794168 CPUtime=1753.61
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83713 0 1 0 175308 53 0 0 25 0 13 0 144908299 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109838009 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794168 CPUtime=21.27
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 107279 0 0 0 2084 43 0 0 16 0 13 0 144908305 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794168 CPUtime=21.31
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 103219 0 0 0 2085 46 0 0 16 0 13 0 144908305 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794168 CPUtime=0.3
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 151 0 0 0 18 12 0 0 15 0 13 0 144908307 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144908308 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144908313 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794168 CPUtime=1.87
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 185 2 0 0 16 0 13 0 144908313 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794168 CPUtime=1.62
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 161 1 0 0 17 0 13 0 144908314 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144908314 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144908314 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11642] ppid=11620 vsize=1794168 CPUtime=0
/proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144918541 1837228032 213347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1794168

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

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

[startup+1777.62 s]
/proc/loadavg: 1.10 1.03 1.01 2/90 12250
/proc/meminfo: memFree=999288/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=1794816 CPUtime=1800.24
/proc/11622/stat : 11622 (java) S 11620 11622 11449 0 -1 0 304936 0 1 0 179863 161 0 0 16 0 14 0 144908295 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 448704 213365 1336 9 0 446315 0
[pid=11622/tid=11624] ppid=11620 vsize=1794816 CPUtime=1753.72
/proc/11622/task/11624/stat : 11624 (java) R 11620 11622 11449 0 -1 64 83713 0 1 0 175319 53 0 0 25 0 14 0 144908299 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109647613 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11625] ppid=11620 vsize=1794816 CPUtime=21.27
/proc/11622/task/11625/stat : 11625 (java) S 11620 11622 11449 0 -1 64 107279 0 0 0 2084 43 0 0 16 0 14 0 144908305 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11626] ppid=11620 vsize=1794816 CPUtime=21.31
/proc/11622/task/11626/stat : 11626 (java) S 11620 11622 11449 0 -1 64 103219 0 0 0 2085 46 0 0 16 0 14 0 144908305 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11627] ppid=11620 vsize=1794816 CPUtime=0.3
/proc/11622/task/11627/stat : 11627 (java) S 11620 11622 11449 0 -1 64 151 0 0 0 18 12 0 0 15 0 14 0 144908307 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11628] ppid=11620 vsize=1794816 CPUtime=0
/proc/11622/task/11628/stat : 11628 (java) S 11620 11622 11449 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 144908308 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11629] ppid=11620 vsize=1794816 CPUtime=0
/proc/11622/task/11629/stat : 11629 (java) S 11620 11622 11449 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 144908308 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11630] ppid=11620 vsize=1794816 CPUtime=0
/proc/11622/task/11630/stat : 11630 (java) S 11620 11622 11449 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 144908313 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11631] ppid=11620 vsize=1794816 CPUtime=1.9
/proc/11622/task/11631/stat : 11631 (java) S 11620 11622 11449 0 -1 64 4491 0 0 0 188 2 0 0 17 0 14 0 144908313 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11632] ppid=11620 vsize=1794816 CPUtime=1.63
/proc/11622/task/11632/stat : 11632 (java) S 11620 11622 11449 0 -1 64 5327 0 0 0 162 1 0 0 16 0 14 0 144908314 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11633] ppid=11620 vsize=1794816 CPUtime=0
/proc/11622/task/11633/stat : 11633 (java) S 11620 11622 11449 0 -1 64 2 0 0 0 0 0 0 0 23 0 14 0 144908314 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11622/tid=11634] ppid=11620 vsize=1794816 CPUtime=0
/proc/11622/task/11634/stat : 11634 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 144908314 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11622/tid=11642] ppid=11620 vsize=1794816 CPUtime=0
/proc/11622/task/11642/stat : 11642 (java) S 11620 11622 11449 0 -1 64 1 0 0 0 0 0 0 0 18 0 14 0 144918541 1837891584 213365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 1794816

[startup+1777.7 s]
/proc/loadavg: 1.10 1.03 1.01 2/90 12250
/proc/meminfo: memFree=999288/2055920 swapFree=4153844/4192956
[pid=11622] ppid=11620 vsize=0 CPUtime=1800.33
/proc/11622/stat : 11622 (java) Z 11620 11622 11449 0 -1 1036 304936 0 1 0 179865 168 0 0 15 0 2 0 144908295 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11622/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1777.77
CPU time (s): 1800.4
CPU user time (s): 1798.66
CPU system time (s): 1.74373
CPU usage (%): 101.273
Max. virtual memory (cumulated for all children) (KiB): 1799332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.74373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304936
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= 46015
involuntary context switches= 61792

runsolver used 1.65975 second user time and 4.92225 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Apr 16 01:58:26 UTC 2007

IDJOB= 353931
IDBENCH= 2294
IDSOLVER= 164
FILE ID= node4/353931-1176688705

PBS_JOBID= 4559407

Free space on /tmp= 66515 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353931-1176688705/sat4jPseudoCPClause.jar /tmp/evaluation/353931-1176688705/instance-353931-1176688705.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-353931-1176688705 -o ROOT/results/node4/solver-353931-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353931-1176688705/sat4jPseudoCPClause.jar /tmp/evaluation/353931-1176688705/instance-353931-1176688705.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  56c71282ea86eaaf05df174b87b01c4e

RANDOM SEED= 716088801

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1883632 kB
Buffers:          7152 kB
Cached:          90288 kB
SwapCached:       2044 kB
Active:          49040 kB
Inactive:        71284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1883632 kB
SwapTotal:     4192956 kB
SwapFree:      4153844 kB
Dirty:            3820 kB
Writeback:           0 kB
Mapped:          30456 kB
Slab:            37376 kB
Committed_AS:  5163324 kB
PageTables:       1816 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= 66515 MiB

End job on node4 on Mon Apr 16 02:28:05 UTC 2007