Trace number 360591

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 NameAnswerCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT 50.4953 44.547

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
MD5SUM79ed7fb7a57e7e2ac59cfc8508d281c9
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark15.1157
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 420
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-360591-1176971155 -o ROOT/results/node10/solver-360591-1176971155 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360591-1176971155/sat4jPseudoResolution.jar /tmp/evaluation/360591-1176971155/instance-360591-1176971155.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.99 0.98 0.99 2/77 27866
/proc/meminfo: memFree=1022792/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1800 CPUtime=0
/proc/27866/stat : 27866 (java) R 27864 27866 27073 0 -1 0 153 0 0 0 0 0 0 0 18 0 1 0 173153102 1843200 126 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27866/statm: 450 138 101 9 0 92 0

[startup+0.0361991 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 27866
/proc/meminfo: memFree=1022792/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1776088 CPUtime=0.02
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 3186 0 1 0 0 2 0 0 18 0 4 0 173153102 1818714112 2934 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 444022 2934 887 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088

[startup+0.101213 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 27866
/proc/meminfo: memFree=1022792/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1780108 CPUtime=0.08
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 3980 0 1 0 6 2 0 0 18 0 12 0 173153102 1822830592 3722 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 445027 3722 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301258 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 27866
/proc/meminfo: memFree=1022792/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1782436 CPUtime=0.31
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 5186 0 1 0 28 3 0 0 18 0 12 0 173153102 1825214464 4925 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 445609 4925 1263 9 0 443221 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782436

[startup+0.701342 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 27866
/proc/meminfo: memFree=1022792/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1783236 CPUtime=0.87
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 6777 0 1 0 83 4 0 0 18 0 12 0 173153102 1826033664 6278 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 445809 6278 1301 9 0 443421 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1783236

[startup+1.50252 s]
/proc/loadavg: 0.99 0.98 0.99 3/89 27878
/proc/meminfo: memFree=996392/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1785536 CPUtime=2.02
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 17884 0 1 0 191 11 0 0 18 0 12 0 173153102 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446384 16258 1303 9 0 443996 0
[pid=27866/tid=27868] ppid=27864 vsize=1785536 CPUtime=1.02
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 14481 0 1 0 94 8 0 0 19 0 12 0 173153103 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109492555 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 173153105 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 173153105 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 173153107 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 173153107 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 173153107 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1785536 CPUtime=0.47
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 1036 0 0 0 47 0 0 0 16 0 12 0 173153111 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1785536 CPUtime=0.5
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 1648 0 0 0 49 1 0 0 17 0 12 0 173153111 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1785536 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1828388864 16258 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 1785536

[startup+3.10285 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=889320/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1785700 CPUtime=3.65
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 42364 0 1 0 342 23 0 0 18 0 12 0 173153102 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446425 40729 1312 9 0 444037 0
[pid=27866/tid=27868] ppid=27864 vsize=1785700 CPUtime=2.58
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37689 0 1 0 238 20 0 0 24 0 12 0 173153103 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109620437 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1785700 CPUtime=0.03
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 700 0 0 0 3 0 0 0 17 0 12 0 173153105 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1785700 CPUtime=0.03
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 565 0 0 0 3 0 0 0 16 0 12 0 173153105 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1785700 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 173153107 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1785700 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1785700 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1785700 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1785700 CPUtime=0.47
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 1036 0 0 0 47 0 0 0 16 0 12 0 173153111 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1785700 CPUtime=0.5
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 1648 0 0 0 49 1 0 0 17 0 12 0 173153111 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1785700 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1785700 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1828556800 40729 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 1785700

[startup+6.30254 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=839080/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1787176 CPUtime=7.15
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 51550 0 1 0 686 29 0 0 18 0 12 0 173153102 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446794 49382 1312 9 0 444406 0
[pid=27866/tid=27868] ppid=27864 vsize=1787176 CPUtime=5.47
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37694 0 1 0 526 21 0 0 18 0 12 0 173153103 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109492633 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1787176 CPUtime=0.32
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 5965 0 0 0 30 2 0 0 16 0 12 0 173153105 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1787176 CPUtime=0.33
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 4470 0 0 0 31 2 0 0 16 0 12 0 173153105 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1787176 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 173153107 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1787176 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1787176 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1787176 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1787176 CPUtime=0.47
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 1036 0 0 0 47 0 0 0 16 0 12 0 173153111 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1787176 CPUtime=0.5
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 1648 0 0 0 49 1 0 0 17 0 12 0 173153111 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1787176 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1787176 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1830068224 49382 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 1787176

[startup+12.7029 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=782056/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1787816 CPUtime=14.44
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 66369 0 1 0 1408 36 0 0 18 0 12 0 173153102 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446954 62501 1312 9 0 444566 0
[pid=27866/tid=27868] ppid=27864 vsize=1787816 CPUtime=10.97
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37702 0 1 0 1075 22 0 0 17 0 12 0 173153103 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109553776 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1787816 CPUtime=1.22
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 12108 0 0 0 117 5 0 0 16 0 12 0 173153105 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1787816 CPUtime=1.22
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 13135 0 0 0 117 5 0 0 16 0 12 0 173153105 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 22 0 0 0 0 0 0 0 15 0 12 0 173153107 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1787816 CPUtime=0.47
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 1036 0 0 0 47 0 0 0 16 0 12 0 173153111 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1787816 CPUtime=0.5
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 1648 0 0 0 49 1 0 0 16 0 12 0 173153111 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1830723584 62501 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.44
Current children cumulated vsize (KiB) 1787816

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=715496/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1787816 CPUtime=28.38
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 83016 0 1 0 2792 46 0 0 18 0 12 0 173153102 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446954 78330 1312 9 0 444566 0
[pid=27866/tid=27868] ppid=27864 vsize=1787816 CPUtime=22.61
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37718 0 1 0 2236 25 0 0 21 0 12 0 173153103 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109552784 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1787816 CPUtime=2.35
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 19844 0 0 0 227 8 0 0 16 0 12 0 173153105 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1787816 CPUtime=2.35
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 21937 0 0 0 226 9 0 0 16 0 12 0 173153105 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1830723584 78330 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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


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

[startup+38.3024 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=644520/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1787816 CPUtime=42.56
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 102268 0 1 0 4200 56 0 0 18 0 12 0 173153102 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446954 97105 1312 9 0 444566 0
[pid=27866/tid=27868] ppid=27864 vsize=1787816 CPUtime=33.97
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37731 0 1 0 3370 27 0 0 18 0 12 0 173153103 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109336807 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1787816 CPUtime=3.74
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 31135 0 0 0 361 13 0 0 16 0 12 0 173153105 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1787816 CPUtime=3.78
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 29882 0 0 0 366 12 0 0 17 0 12 0 173153105 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1787816 CPUtime=0.51
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 1123 0 0 0 51 0 0 0 16 0 12 0 173153111 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1787816 CPUtime=0.51
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 1648 0 0 0 50 1 0 0 15 0 12 0 173153111 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1830723584 97105 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.56
Current children cumulated vsize (KiB) 1787816

[startup+41.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=632104/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1787816 CPUtime=46.1
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 105486 0 1 0 4552 58 0 0 18 0 12 0 173153102 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 446954 100218 1312 9 0 444566 0
[pid=27866/tid=27868] ppid=27864 vsize=1787816 CPUtime=36.83
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37734 0 1 0 3656 27 0 0 18 0 12 0 173153103 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109520052 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1787816 CPUtime=4.07
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 33287 0 0 0 393 14 0 0 16 0 12 0 173153105 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1787816 CPUtime=4.11
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 30944 0 0 0 399 12 0 0 17 0 12 0 173153105 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1787816 CPUtime=0.51
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 1124 0 0 0 51 0 0 0 16 0 12 0 173153111 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1787816 CPUtime=0.51
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 1648 0 0 0 50 1 0 0 16 0 12 0 173153111 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1787816 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1830723584 100218 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.1
Current children cumulated vsize (KiB) 1787816

[startup+43.1025 s]
/proc/loadavg: 0.99 0.98 0.99 2/89 27878
/proc/meminfo: memFree=615144/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1796796 CPUtime=48.48
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 112510 0 1 0 4787 61 0 0 18 0 12 0 173153102 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 449199 103376 1324 9 0 446811 0
[pid=27866/tid=27868] ppid=27864 vsize=1796796 CPUtime=38.09
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37746 0 1 0 3781 28 0 0 19 0 12 0 173153103 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1796796 CPUtime=4.18
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 33838 0 0 0 404 14 0 0 16 0 12 0 173153105 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1796796 CPUtime=4.22
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 31399 0 0 0 410 12 0 0 16 0 12 0 173153105 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1796796 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 31 0 0 0 0 0 0 0 16 0 12 0 173153107 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1796796 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173153107 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1796796 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173153107 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1796796 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 173153111 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1796796 CPUtime=0.77
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 3222 0 0 0 76 1 0 0 15 0 12 0 173153111 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1796796 CPUtime=1.16
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 5556 0 0 0 114 2 0 0 15 0 12 0 173153111 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1796796 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 173153111 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1796796 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173153111 1839919104 103376 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.48
Current children cumulated vsize (KiB) 1796796

[startup+43.9027 s]
/proc/loadavg: 0.99 0.98 0.99 4/90 27879
/proc/meminfo: memFree=597024/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1798380 CPUtime=49.52
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 118084 0 2 0 4888 64 0 0 18 0 13 0 173153102 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 449595 107842 1329 9 0 447207 0
[pid=27866/tid=27868] ppid=27864 vsize=1798380 CPUtime=38.72
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37772 0 2 0 3844 28 0 0 17 0 13 0 173153103 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 105649508 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1798380 CPUtime=4.31
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 36305 0 0 0 416 15 0 0 16 0 13 0 173153105 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1798380 CPUtime=4.36
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 33789 0 0 0 423 13 0 0 16 0 13 0 173153105 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 173153107 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173153107 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173153107 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173153111 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1798380 CPUtime=0.86
/proc/27866/task/27875/stat : 27875 (java) R 27864 27866 27073 0 -1 64 3902 0 0 0 84 2 0 0 16 0 13 0 173153111 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4160639590 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1798380 CPUtime=1.2
/proc/27866/task/27876/stat : 27876 (java) R 27864 27866 27073 0 -1 64 5564 0 0 0 118 2 0 0 17 0 13 0 173153111 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 104916158 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173153111 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) R 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173153111 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27879] ppid=27864 vsize=1798380 CPUtime=0
/proc/27866/task/27879/stat : 27879 (java) S 27864 27866 27073 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 173157483 1841541120 107842 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (KiB) 1798380

[startup+44.3027 s]
/proc/loadavg: 0.99 0.98 0.99 4/90 27879
/proc/meminfo: memFree=597024/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=1797120 CPUtime=50.25
/proc/27866/stat : 27866 (java) S 27864 27866 27073 0 -1 0 118966 0 2 0 4960 65 0 0 18 0 13 0 173153102 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 449280 107651 1332 9 0 446892 0
[pid=27866/tid=27868] ppid=27864 vsize=1797120 CPUtime=38.96
/proc/27866/task/27868/stat : 27868 (java) R 27864 27866 27073 0 -1 64 37775 0 2 0 3868 28 0 0 19 0 13 0 173153103 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4109858387 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27869] ppid=27864 vsize=1797120 CPUtime=4.31
/proc/27866/task/27869/stat : 27869 (java) S 27864 27866 27073 0 -1 64 36305 0 0 0 416 15 0 0 16 0 13 0 173153105 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27870] ppid=27864 vsize=1797120 CPUtime=4.36
/proc/27866/task/27870/stat : 27870 (java) S 27864 27866 27073 0 -1 64 33789 0 0 0 423 13 0 0 16 0 13 0 173153105 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27871] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27871/stat : 27871 (java) S 27864 27866 27073 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 173153107 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27872] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27872/stat : 27872 (java) S 27864 27866 27073 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 173153107 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27873] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27873/stat : 27873 (java) S 27864 27866 27073 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 173153107 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27874] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27874/stat : 27874 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 173153111 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27875] ppid=27864 vsize=1797120 CPUtime=1.14
/proc/27866/task/27875/stat : 27875 (java) S 27864 27866 27073 0 -1 64 4700 0 0 0 112 2 0 0 16 0 13 0 173153111 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27876] ppid=27864 vsize=1797120 CPUtime=1.4
/proc/27866/task/27876/stat : 27876 (java) S 27864 27866 27073 0 -1 64 5645 0 0 0 138 2 0 0 16 0 13 0 173153111 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27866/tid=27877] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27877/stat : 27877 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 173153111 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27878] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27878/stat : 27878 (java) S 27864 27866 27073 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173153111 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27866/tid=27879] ppid=27864 vsize=1797120 CPUtime=0
/proc/27866/task/27879/stat : 27879 (java) S 27864 27866 27073 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 173157483 1840250880 107651 18446744073709551615 134512640 134550740 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 1797120

[startup+44.5021 s]
/proc/loadavg: 0.99 0.98 0.99 4/90 27879
/proc/meminfo: memFree=597024/2055920 swapFree=4152288/4192956
[pid=27866] ppid=27864 vsize=0 CPUtime=50.44
/proc/27866/stat : 27866 (java) Z 27864 27866 27073 0 -1 1036 118983 0 2 0 4977 67 0 0 16 0 2 0 173153102 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27866/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 44.547
CPU time (s): 50.4953
CPU user time (s): 49.7794
CPU system time (s): 0.715891
CPU usage (%): 113.353
Max. virtual memory (cumulated for all children) (KiB): 1798888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.7794
system time used= 0.715891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118983
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1848
involuntary context switches= 1710

runsolver used 0.047992 second user time and 0.12598 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Thu Apr 19 08:25:56 UTC 2007

IDJOB= 360591
IDBENCH= 1382
IDSOLVER= 159
FILE ID= node10/360591-1176971155

PBS_JOBID= 4630284

Free space on /tmp= 66181 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360591-1176971155/sat4jPseudoResolution.jar /tmp/evaluation/360591-1176971155/instance-360591-1176971155.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-360591-1176971155 -o ROOT/results/node10/solver-360591-1176971155 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360591-1176971155/sat4jPseudoResolution.jar /tmp/evaluation/360591-1176971155/instance-360591-1176971155.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  79ed7fb7a57e7e2ac59cfc8508d281c9

RANDOM SEED= 406158144

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1023392 kB
Buffers:         40924 kB
Cached:         900280 kB
SwapCached:       8960 kB
Active:         277136 kB
Inactive:       687836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1023392 kB
SwapTotal:     4192956 kB
SwapFree:      4152288 kB
Dirty:           92360 kB
Writeback:           0 kB
Mapped:          30620 kB
Slab:            53152 kB
Committed_AS:  3558336 kB
PageTables:       1712 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= 66181 MiB

End job on node10 on Thu Apr 19 08:26:41 UTC 2007