Trace number 1855048

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J Pseudo CP 2.1.1SAT 41.9746 36.3705

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
MD5SUMab4957c8b8761f975030868126e78f02
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark11.9402
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 480
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 

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

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1855048-1244866251/watcher-1855048-1244866251 -o /tmp/evaluation-result-1855048-1244866251/solver-1855048-1244866251 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1855048-1244866251.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.12 1.04 1.01 3/64 11623
/proc/meminfo: memFree=1378184/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=152 CPUtime=0
/proc/11623/stat : 11623 (java6) R 11621 11623 10914 0 -1 0 41 0 0 0 0 0 0 0 21 0 1 0 154226478 155648 26 1992294400 134512640 134550932 4294956160 18446744073709551615 6926635 0 0 4096 0 0 0 0 17 1 0 0
/proc/11623/statm: 38 26 19 9 0 4 0

[startup+0.0827569 s]
/proc/loadavg: 1.12 1.04 1.01 3/64 11623
/proc/meminfo: memFree=1378184/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1470220 CPUtime=0.07
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 3482 0 1 0 5 2 0 0 18 0 7 0 154226478 1505505280 3227 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 367555 3227 1040 9 0 364906 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1470220

[startup+0.102758 s]
/proc/loadavg: 1.12 1.04 1.01 3/64 11623
/proc/meminfo: memFree=1378184/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1472584 CPUtime=0.08
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 3647 0 1 0 6 2 0 0 18 0 12 0 154226478 1507926016 3390 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 368146 3390 1069 9 0 365494 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1472584

[startup+0.302776 s]
/proc/loadavg: 1.12 1.04 1.01 3/64 11623
/proc/meminfo: memFree=1378184/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1475252 CPUtime=0.34
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 5102 0 1 0 31 3 0 0 18 0 12 0 154226478 1510658048 4839 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 368813 4839 1356 9 0 366156 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1475252

[startup+0.702813 s]
/proc/loadavg: 1.12 1.04 1.01 3/64 11623
/proc/meminfo: memFree=1378184/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1476104 CPUtime=1.04
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 6979 0 1 0 100 4 0 0 18 0 12 0 154226478 1511530496 6556 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 369026 6556 1397 9 0 366369 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 1476104

[startup+1.50189 s]
/proc/loadavg: 1.12 1.04 1.01 4/76 11635
/proc/meminfo: memFree=1343464/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1476104 CPUtime=2.04
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 22791 0 1 0 191 13 0 0 18 0 12 0 154226478 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 369026 22086 1404 9 0 366369 0
[pid=11623/tid=11625] ppid=11621 vsize=1476104 CPUtime=1.26
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 20589 0 1 0 115 11 0 0 21 0 12 0 154226479 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4109486407 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 154226480 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 154226480 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 154226482 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 154226482 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 154226483 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154226487 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1476104 CPUtime=0.34
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 460 0 0 0 34 0 0 0 17 0 12 0 154226487 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1476104 CPUtime=0.41
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 997 0 0 0 41 0 0 0 16 0 12 0 154226487 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154226487 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154226487 1511530496 22086 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 1476104

[startup+3.10103 s]
/proc/loadavg: 1.19 1.05 1.01 2/76 11635
/proc/meminfo: memFree=1246824/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1476104 CPUtime=3.71
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 36559 0 1 0 350 21 0 0 18 0 12 0 154226478 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 369026 35813 1414 9 0 366369 0
[pid=11623/tid=11625] ppid=11621 vsize=1476104 CPUtime=2.77
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 30927 0 1 0 260 17 0 0 19 0 12 0 154226479 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4109514064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1476104 CPUtime=0.07
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 1703 0 0 0 7 0 0 0 16 0 12 0 154226480 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1476104 CPUtime=0.07
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 1715 0 0 0 6 1 0 0 16 0 12 0 154226480 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 154226482 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154226482 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154226483 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154226487 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1476104 CPUtime=0.34
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 460 0 0 0 34 0 0 0 17 0 12 0 154226487 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1476104 CPUtime=0.41
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 997 0 0 0 41 0 0 0 16 0 12 0 154226487 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154226487 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1476104 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154226487 1511530496 35813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 1476104

[startup+6.30233 s]
/proc/loadavg: 1.19 1.05 1.01 3/76 11635
/proc/meminfo: memFree=1217384/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1475944 CPUtime=7.28
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 44009 0 1 0 702 26 0 0 18 0 12 0 154226478 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 368986 43083 1414 9 0 366329 0
[pid=11623/tid=11625] ppid=11621 vsize=1475944 CPUtime=5.6
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 30932 0 1 0 541 19 0 0 18 0 12 0 154226479 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4109292450 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1475944 CPUtime=0.44
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 5357 0 0 0 42 2 0 0 17 0 12 0 154226480 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1475944 CPUtime=0.44
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 5494 0 0 0 42 2 0 0 17 0 12 0 154226480 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 154226482 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154226482 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154226483 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154226487 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1475944 CPUtime=0.34
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 460 0 0 0 34 0 0 0 16 0 12 0 154226487 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1475944 CPUtime=0.41
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 997 0 0 0 41 0 0 0 16 0 12 0 154226487 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154226487 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154226487 1511366656 43083 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 1475944

[startup+12.7019 s]
/proc/loadavg: 1.23 1.07 1.02 2/76 11635
/proc/meminfo: memFree=1153192/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1475944 CPUtime=14.42
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 60714 0 1 0 1408 34 0 0 18 0 12 0 154226478 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 368986 58563 1415 9 0 366329 0
[pid=11623/tid=11625] ppid=11621 vsize=1475944 CPUtime=11.2
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 30943 0 1 0 1100 20 0 0 21 0 12 0 154226479 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1475944 CPUtime=1.2
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 14943 0 0 0 114 6 0 0 16 0 12 0 154226480 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1475944 CPUtime=1.22
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 12601 0 0 0 117 5 0 0 16 0 12 0 154226480 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 154226482 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154226482 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154226483 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154226487 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1475944 CPUtime=0.34
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 461 0 0 0 34 0 0 0 17 0 12 0 154226487 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1475944 CPUtime=0.41
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 997 0 0 0 41 0 0 0 16 0 12 0 154226487 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154226487 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1475944 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154226487 1511366656 58563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.42
Current children cumulated vsize (KiB) 1475944

[startup+25.5021 s]
/proc/loadavg: 1.20 1.06 1.02 2/76 11635
/proc/meminfo: memFree=1060520/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1475612 CPUtime=28.33
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 84782 0 1 0 2779 54 0 0 18 0 12 0 154226478 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 368903 80976 1415 9 0 366246 0
[pid=11623/tid=11625] ppid=11621 vsize=1475612 CPUtime=22.66
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 30962 0 1 0 2244 22 0 0 25 0 12 0 154226479 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4109488105 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1475612 CPUtime=2.4
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 25405 0 0 0 227 13 0 0 17 0 12 0 154226480 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1475612 CPUtime=2.42
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 26033 0 0 0 227 15 0 0 16 0 12 0 154226480 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1475612 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 15 0 12 0 154226482 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1475612 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154226482 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1475612 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154226483 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1475612 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154226487 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1475612 CPUtime=0.37

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

/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 997 0 0 0 41 0 0 0 16 0 12 0 154226487 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1475612 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154226487 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1475612 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154226487 1511026688 80976 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.33
Current children cumulated vsize (KiB) 1475612

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

[startup+31.9067 s]
/proc/loadavg: 1.47 1.13 1.04 3/76 11635
/proc/meminfo: memFree=1018920/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1489844 CPUtime=35.78
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 98858 0 1 0 3515 63 0 0 18 0 12 0 154226478 1525600256 91387 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 372461 91387 1421 9 0 369804 0
[pid=11623/tid=11625] ppid=11621 vsize=1489844 CPUtime=28.25
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 30997 0 1 0 2800 25 0 0 25 0 12 0 154226479 1525600256 91387 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1489844 CPUtime=2.94
/proc/11623/task/11626/stat : 11626 (java) R 11621 11623 10914 0 -1 64 29309 0 0 0 279 15 0 0 16 0 12 0 154226480 1525600256 91387 1992294400 134512640 134550932 4294956000 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1489844 CPUtime=2.98
/proc/11623/task/11627/stat : 11627 (java) R 11621 11623 10914 0 -1 64 29753 0 0 0 280 18 0 0 16 0 12 0 154226480 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 106195400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1489844 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 16 0 12 0 154226482 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1489844 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154226482 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1489844 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154226483 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1489844 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 154226487 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1489844 CPUtime=0.58
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 2331 0 0 0 57 1 0 0 17 0 12 0 154226487 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1489844 CPUtime=0.99
/proc/11623/task/11633/stat : 11633 (java) R 11621 11623 10914 0 -1 64 5699 0 0 0 97 2 0 0 19 0 12 0 154226487 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 104140911 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1489844 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 154226487 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1489844 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 154226487 1525600256 91388 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 35.78
Current children cumulated vsize (KiB) 1489844

[startup+33.5029 s]
/proc/loadavg: 1.47 1.13 1.04 3/76 11635
/proc/meminfo: memFree=1006696/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1487868 CPUtime=37.96
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 103916 0 1 0 3729 67 0 0 18 0 13 0 154226478 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 371967 94649 1426 9 0 369310 0
[pid=11623/tid=11625] ppid=11621 vsize=1487868 CPUtime=29.46
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 31037 0 1 0 2921 25 0 0 19 0 13 0 154226479 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4109690510 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1487868 CPUtime=3.15
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 31074 0 0 0 299 16 0 0 16 0 13 0 154226480 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1487868 CPUtime=3.19
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 31579 0 0 0 300 19 0 0 17 0 13 0 154226480 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1487868 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 154226482 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1487868 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154226482 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1487868 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154226483 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1487868 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154226487 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1487868 CPUtime=0.89
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 3465 0 0 0 88 1 0 0 16 0 13 0 154226487 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1487868 CPUtime=1.2
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 5987 0 0 0 118 2 0 0 16 0 13 0 154226487 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1487868 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154226487 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1487868 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154226487 1523576832 94649 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.96
Current children cumulated vsize (KiB) 1487868

[startup+35.103 s]
/proc/loadavg: 1.47 1.13 1.04 2/77 11636
/proc/meminfo: memFree=987040/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1490132 CPUtime=40.51
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 113496 0 1 0 3979 72 0 0 18 0 13 0 154226478 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 372533 99252 1434 9 0 369876 0
[pid=11623/tid=11625] ppid=11621 vsize=1490132 CPUtime=30.45
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 31043 0 1 0 3020 25 0 0 21 0 13 0 154226479 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4109953275 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1490132 CPUtime=3.29
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 33152 0 0 0 312 17 0 0 16 0 13 0 154226480 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1490132 CPUtime=3.33
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 33730 0 0 0 312 21 0 0 16 0 13 0 154226480 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 154226482 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154226482 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154226483 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154226487 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1490132 CPUtime=1.67
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 7108 0 0 0 164 3 0 0 17 0 13 0 154226487 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1490132 CPUtime=1.71
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 7689 0 0 0 169 2 0 0 16 0 13 0 154226487 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154226487 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154226487 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11636] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11636/stat : 11636 (java) S 11621 11623 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154229789 1525895168 99252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.51
Current children cumulated vsize (KiB) 1490132

[startup+35.9011 s]
/proc/loadavg: 1.47 1.13 1.04 2/77 11636
/proc/meminfo: memFree=987040/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1490132 CPUtime=41.38
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 113572 0 1 0 4066 72 0 0 18 0 13 0 154226478 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 372533 99322 1434 9 0 369876 0
[pid=11623/tid=11625] ppid=11621 vsize=1490132 CPUtime=31.2
/proc/11623/task/11625/stat : 11625 (java) R 11621 11623 10914 0 -1 64 31046 0 1 0 3095 25 0 0 19 0 13 0 154226479 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4109891809 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1490132 CPUtime=3.32
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 33193 0 0 0 315 17 0 0 16 0 13 0 154226480 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1490132 CPUtime=3.35
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 33762 0 0 0 314 21 0 0 16 0 13 0 154226480 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 154226482 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154226482 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154226483 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154226487 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1490132 CPUtime=1.72
/proc/11623/task/11632/stat : 11632 (java) R 11621 11623 10914 0 -1 64 7108 0 0 0 169 3 0 0 16 0 13 0 154226487 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 102542359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1490132 CPUtime=1.73
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 7689 0 0 0 171 2 0 0 16 0 13 0 154226487 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154226487 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154226487 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11636] ppid=11621 vsize=1490132 CPUtime=0
/proc/11623/task/11636/stat : 11636 (java) S 11621 11623 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154229789 1525895168 99322 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.38
Current children cumulated vsize (KiB) 1490132

[startup+36.3061 s]
/proc/loadavg: 1.47 1.13 1.04 2/77 11636
/proc/meminfo: memFree=986848/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=1490456 CPUtime=41.91
/proc/11623/stat : 11623 (java) S 11621 11623 10914 0 -1 0 113604 0 1 0 4119 72 0 0 18 0 13 0 154226478 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11623/statm: 372614 99354 1435 9 0 369957 0
[pid=11623/tid=11625] ppid=11621 vsize=1490456 CPUtime=31.49
/proc/11623/task/11625/stat : 11625 (java) S 11621 11623 10914 0 -1 64 31053 0 1 0 3124 25 0 0 16 0 13 0 154226479 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11626] ppid=11621 vsize=1490456 CPUtime=3.32
/proc/11623/task/11626/stat : 11626 (java) S 11621 11623 10914 0 -1 64 33193 0 0 0 315 17 0 0 16 0 13 0 154226480 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11627] ppid=11621 vsize=1490456 CPUtime=3.35
/proc/11623/task/11627/stat : 11627 (java) S 11621 11623 10914 0 -1 64 33762 0 0 0 314 21 0 0 16 0 13 0 154226480 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11628] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11628/stat : 11628 (java) S 11621 11623 10914 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 154226482 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11629] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11629/stat : 11629 (java) S 11621 11623 10914 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154226482 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11630] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11630/stat : 11630 (java) S 11621 11623 10914 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154226483 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11631] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11631/stat : 11631 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154226487 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11632] ppid=11621 vsize=1490456 CPUtime=1.8
/proc/11623/task/11632/stat : 11632 (java) S 11621 11623 10914 0 -1 64 7120 0 0 0 177 3 0 0 16 0 13 0 154226487 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11633] ppid=11621 vsize=1490456 CPUtime=1.85
/proc/11623/task/11633/stat : 11633 (java) S 11621 11623 10914 0 -1 64 7694 0 0 0 183 2 0 0 17 0 13 0 154226487 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11623/tid=11634] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11634/stat : 11634 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154226487 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11635] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11635/stat : 11635 (java) S 11621 11623 10914 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154226487 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11623/tid=11636] ppid=11621 vsize=1490456 CPUtime=0
/proc/11623/task/11636/stat : 11636 (java) S 11621 11623 10914 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154229789 1526226944 99354 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.91
Current children cumulated vsize (KiB) 1490456

Child status: 10
Real time (s): 36.3705
CPU time (s): 41.9746
CPU user time (s): 41.1917
CPU system time (s): 0.78288
CPU usage (%): 115.408
Max. virtual memory (cumulated for all children) (KiB): 1492180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1917
system time used= 0.78288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113605
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= 2185
involuntary context switches= 1328

runsolver used 0.039993 second user time and 0.105983 second system time

The end

Launcher Data 

Begin job on node14 at 2009-06-13 06:10:56
IDJOB=1855048
IDBENCH=1375
IDSOLVER=681
FILE ID=node14/1855048-1244866251
PBS_JOBID= 9354346
Free space on /tmp= 66324 MiB

SOLVER NAME= SAT4J Pseudo CP 2.1.1
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1855048-1244866251/watcher-1855048-1244866251 -o /tmp/evaluation-result-1855048-1244866251/solver-1855048-1244866251 -C 1800 -W 2000 -M 1800  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1855048-1244866251.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ab4957c8b8761f975030868126e78f02
RANDOM SEED=480996896

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

/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.234
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.234
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:       1378600 kB
Buffers:         47436 kB
Cached:         542940 kB
SwapCached:          0 kB
Active:         167856 kB
Inactive:       436448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1378600 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           89252 kB
Writeback:           0 kB
Mapped:          23744 kB
Slab:            58980 kB
Committed_AS:   136164 kB
PageTables:       1452 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= 66324 MiB
End job on node14 at 2009-06-13 06:11:32