Trace number 4090468

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16Wrong Cert. 1800.66 1796.95

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen07reduc_wcsp.wbo
MD5SUM6effabdb5f06e7cb39e8e89923338a20
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4824
Total number of constraints564001
Number of soft constraints563839
Number of constraints which are clauses563839
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 343592
Min constraint cost 1
Max constraint cost 343592
Sum of constraints costs 24999659190
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4090468-1466071266.wbo
0.09/0.12	c reading problem ... 
4.98/3.14	c ... done. Wall clock time 3.026s.
4.98/3.14	c declared #vars     4824
4.98/3.14	c internal #vars     568663
4.98/3.14	c #constraints  564163
4.98/3.14	c constraints type 
4.98/3.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 562183
4.98/3.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 159
4.98/3.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1821
4.98/3.14	c 564163 constraints processed.
4.98/3.14	c objective function length is 563839 literals
9.75/7.50	c SATISFIABLE
9.75/7.50	c OPTIMIZING...
9.75/7.50	c Got one! Elapsed wall clock time (in seconds):7.388
9.75/7.50	o 6256968
151.96/149.31	c cleaning 2808 clauses out of 5615 with flag 70590/5615
525.70/522.91	c cleaning 4403 clauses out of 8806 with flag 272933/11614
807.35/804.51	c cleaning 5700 clauses out of 11403 with flag 380033/18614
1024.43/1021.56	c cleaning 6847 clauses out of 13703 with flag 453916/26614
1259.52/1256.59	c cleaning 7924 clauses out of 15857 with flag 536860/35615
1477.87/1474.85	c cleaning 8962 clauses out of 17932 with flag 609924/45614
1701.33/1698.26	c cleaning 9973 clauses out of 19970 with flag 692579/56614
1800.05/1796.90	c starts		: 191
1800.05/1796.90	c conflicts		: 61748
1800.05/1796.90	c decisions		: 13562389
1800.05/1796.90	c propagations		: 3290436463
1800.05/1796.90	c inspects		: 260007294
1800.05/1796.90	c shortcuts		: 0
1800.05/1796.90	c learnt literals	: 0
1800.05/1796.90	c learnt binary clauses	: 0
1800.05/1796.90	c learnt ternary clauses	: 0
1800.05/1796.90	c learnt constraints	: 61748
1800.05/1796.90	c ignored constraints	: 0
1800.05/1796.90	c root simplifications	: 0
1800.05/1796.90	c removed literals (reason simplification)	: 0
1800.05/1796.90	c reason swapping (by a shorter reason)	: 0
1800.05/1796.90	c Calls to reduceDB	: 7
1800.05/1796.90	c Number of update (reduction) of LBD	: 8571
1800.05/1796.90	c Imported unit clauses	: 0
1800.05/1796.90	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.90	c number of learned constraints concerned by reduction	: 0
1800.05/1796.90	c number of learning phase by resolution	: 0
1800.05/1796.90	c number of learning phase by cutting planes	: 0
1800.05/1796.90	c speed (assignments/second)	: 1834538.5131748482
1800.05/1796.90	c non guided choices	11080
1800.05/1796.91	c learnt constraints type 
1800.05/1796.91	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15131
1800.05/1796.91	s SATISFIABLE
1800.05/1796.91	c Found 1 solution(s)
1800.05/1796.92	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 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 
1800.05/1796.93	c objective function=6256968
1800.05/1796.93	c Total wall clock time (in seconds): 1796.816

Verifier Data 

FAILED
ERROR: cost exceeds topCost

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090468-1466071266/watcher-4090468-1466071266 -o /tmp/evaluation-result-4090468-1466071266/solver-4090468-1466071266 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466062110-11147 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090468-1466071266.wbo 

pid=12797
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.02 3/195 12800
/proc/meminfo: memFree=31116212/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/12800/stat : 12800 (java) R 12797 12800 11130 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 9172230 3653632 49 33554432000 1073741824 1073778376 140735862407136 140735862404264 206619897127 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 892 51 40 9 0 30 0

[startup+0.100062 s]
/proc/loadavg: 2.01 2.04 2.02 3/195 12800
/proc/meminfo: memFree=31116212/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 4467 0 1 0 8 1 0 0 20 0 18 0 9172230 9787879424 5573 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2389619 5573 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200268 s]
/proc/loadavg: 2.01 2.04 2.02 3/195 12800
/proc/meminfo: memFree=31116212/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 5352 0 1 0 25 1 0 0 20 0 18 0 9172230 9787879424 7363 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2389619 7376 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300243 s]
/proc/loadavg: 2.01 2.04 2.02 3/195 12800
/proc/meminfo: memFree=31116212/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 6061 0 1 0 48 1 0 0 20 0 18 0 9172230 9787879424 9946 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2389619 9932 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 2.01 2.04 2.02 3/195 12800
/proc/meminfo: memFree=31116212/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9558476 CPUtime=1.43 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 13537 0 1 0 138 5 0 0 20 0 18 0 9172230 9787879424 46814 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2389619 46814 2264 9 0 2380296 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9558476

[startup+1.50074 s]
/proc/loadavg: 2.01 2.03 2.02 3/213 12818
/proc/meminfo: memFree=30895692/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9558476 CPUtime=2.65 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 14309 0 1 0 245 20 0 0 20 0 18 0 9172230 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2389619 100068 2264 9 0 2380296 0
[pid=12800/tid=12802] ppid=12797 vsize=9558476 CPUtime=1.28 cores=1,3,5,7
/proc/12800/task/12802/stat : 12802 (java) R 12797 12800 11130 0 -1 4202560 2574 0 1 0 124 4 0 0 20 0 18 0 9172231 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658563084352 140658503242183 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12803] ppid=12797 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/12800/task/12803/stat : 12803 (java) S 12797 12800 11130 0 -1 4202560 133 0 0 0 6 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658406538280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12804] ppid=12797 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12800/task/12804/stat : 12804 (java) S 12797 12800 11130 0 -1 4202560 119 0 0 0 5 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658405485480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12805] ppid=12797 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12800/task/12805/stat : 12805 (java) S 12797 12800 11130 0 -1 4202560 118 0 0 0 5 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658404432680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12806] ppid=12797 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12800/task/12806/stat : 12806 (java) S 12797 12800 11130 0 -1 4202560 47 0 0 0 7 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658403379880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12807] ppid=12797 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12800/task/12807/stat : 12807 (java) S 12797 12800 11130 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658402327080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12808] ppid=12797 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12800/task/12808/stat : 12808 (java) S 12797 12800 11130 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658401274280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12809] ppid=12797 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/12800/task/12809/stat : 12809 (java) S 12797 12800 11130 0 -1 4202560 114 0 0 0 4 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658400221480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12810] ppid=12797 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/12800/task/12810/stat : 12810 (java) S 12797 12800 11130 0 -1 4202560 46 0 0 0 4 2 0 0 20 0 18 0 9172232 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658399168680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12811] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12811/stat : 12811 (java) S 12797 12800 11130 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 9172233 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658386971624 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12812] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 9172234 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 9172234 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9172236 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 3444 0 0 0 32 0 0 0 20 0 18 0 9172236 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6186 0 0 0 32 0 0 0 20 0 18 0 9172236 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9172236 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9172236 9787879424 100068 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9558476

[startup+3.10076 s]
/proc/loadavg: 2.01 2.03 2.02 4/213 12818
/proc/meminfo: memFree=30654588/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9558476 CPUtime=4.98 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 15932 0 1 0 456 42 0 0 20 0 18 0 9172230 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2389619 198009 2264 9 0 2380296 0
[pid=12800/tid=12802] ppid=12797 vsize=9558476 CPUtime=2.62 cores=1,3,5,7
/proc/12800/task/12802/stat : 12802 (java) R 12797 12800 11130 0 -1 4202560 2864 0 1 0 254 8 0 0 20 0 18 0 9172231 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658563091752 206632445197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12803] ppid=12797 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12803/stat : 12803 (java) S 12797 12800 11130 0 -1 4202560 170 0 0 0 13 5 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658406538280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12804] ppid=12797 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12804/stat : 12804 (java) S 12797 12800 11130 0 -1 4202560 175 0 0 0 16 4 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658405485480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12805] ppid=12797 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/12800/task/12805/stat : 12805 (java) S 12797 12800 11130 0 -1 4202560 569 0 0 0 12 3 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658404432680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12806] ppid=12797 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/12800/task/12806/stat : 12806 (java) S 12797 12800 11130 0 -1 4202560 118 0 0 0 14 3 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658403379880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12807] ppid=12797 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12807/stat : 12807 (java) S 12797 12800 11130 0 -1 4202560 110 0 0 0 15 5 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658402327080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12808] ppid=12797 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12808/stat : 12808 (java) S 12797 12800 11130 0 -1 4202560 89 0 0 0 14 4 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658401274280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12809] ppid=12797 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/12800/task/12809/stat : 12809 (java) S 12797 12800 11130 0 -1 4202560 202 0 0 0 19 6 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658400221480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12810] ppid=12797 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/12800/task/12810/stat : 12810 (java) S 12797 12800 11130 0 -1 4202560 213 0 0 0 17 5 0 0 20 0 18 0 9172232 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658399168680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12811] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12811/stat : 12811 (java) S 12797 12800 11130 0 -1 4202560 541 0 0 0 0 0 0 0 20 0 18 0 9172233 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658386971624 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12812] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 9172234 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 9172234 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9172236 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 3444 0 0 0 32 0 0 0 20 0 18 0 9172236 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6186 0 0 0 32 0 0 0 20 0 18 0 9172236 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9172236 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9172236 9787879424 198009 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 9558476

[startup+6.30091 s]
/proc/loadavg: 2.01 2.03 2.02 3/214 12819
/proc/meminfo: memFree=30331916/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9625040 CPUtime=8.52 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 16530 0 1 0 810 42 0 0 20 0 19 0 9172230 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2406260 197840 2281 9 0 2396937 0
[pid=12800/tid=12802] ppid=12797 vsize=9625040 CPUtime=5.83 cores=1,3,5,7
/proc/12800/task/12802/stat : 12802 (java) R 12797 12800 11130 0 -1 4202560 2879 0 1 0 574 9 0 0 20 0 19 0 9172231 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658563093096 140658503726153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12803] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12803/stat : 12803 (java) S 12797 12800 11130 0 -1 4202560 170 0 0 0 13 5 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658406538280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12804] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12804/stat : 12804 (java) S 12797 12800 11130 0 -1 4202560 175 0 0 0 16 4 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658405485480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12805] ppid=12797 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/12800/task/12805/stat : 12805 (java) S 12797 12800 11130 0 -1 4202560 569 0 0 0 12 3 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658404432680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12806] ppid=12797 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12800/task/12806/stat : 12806 (java) S 12797 12800 11130 0 -1 4202560 118 0 0 0 14 3 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658403379880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12807] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12807/stat : 12807 (java) S 12797 12800 11130 0 -1 4202560 110 0 0 0 15 5 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658402327080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12808] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12808/stat : 12808 (java) S 12797 12800 11130 0 -1 4202560 89 0 0 0 14 4 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658401274280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12809] ppid=12797 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12800/task/12809/stat : 12809 (java) S 12797 12800 11130 0 -1 4202560 202 0 0 0 19 6 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658400221480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12810] ppid=12797 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12800/task/12810/stat : 12810 (java) S 12797 12800 11130 0 -1 4202560 213 0 0 0 17 5 0 0 20 0 19 0 9172232 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658399168680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12811] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12811/stat : 12811 (java) S 12797 12800 11130 0 -1 4202560 543 0 0 0 0 0 0 0 20 0 19 0 9172233 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658386971624 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12812] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 3998 0 0 0 53 0 0 0 20 0 19 0 9172236 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6206 0 0 0 46 0 0 0 20 0 19 0 9172236 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12819] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12819/stat : 12819 (java) S 12797 12800 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9172560 9856040960 197840 33554432000 1073741824 1073778376 140735862407136 140658378548904 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 9625040

[startup+12.7009 s]
/proc/loadavg: 2.01 2.03 2.02 3/214 12819
/proc/meminfo: memFree=30333020/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9625040 CPUtime=15.32 cores=1,3,5,7

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

[pid=12800/tid=12812] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 4031 0 0 0 78 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6812 0 0 0 75 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 99 0 0 0 30 44 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12819] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12819/stat : 12819 (java) S 12797 12800 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9172560 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658378548904 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.44
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.33 2.14 2.04 3/190 13027
/proc/meminfo: memFree=30735032/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9625040 CPUtime=1785.45 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 17279 0 1 0 178464 81 0 0 20 0 19 0 9172230 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2406260 199868 2287 9 0 2396937 0
[pid=12800/tid=12802] ppid=12797 vsize=9625040 CPUtime=1781.8 cores=1,3,5,7
/proc/12800/task/12802/stat : 12802 (java) R 12797 12800 11130 0 -1 4202560 2886 0 1 0 178144 36 0 0 20 0 19 0 9172231 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658563084000 140658502848448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12803] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12803/stat : 12803 (java) S 12797 12800 11130 0 -1 4202560 170 0 0 0 13 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658406538280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12804] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12804/stat : 12804 (java) S 12797 12800 11130 0 -1 4202560 175 0 0 0 16 4 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658405485480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12805] ppid=12797 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/12800/task/12805/stat : 12805 (java) S 12797 12800 11130 0 -1 4202560 569 0 0 0 12 3 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658404432680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12806] ppid=12797 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12800/task/12806/stat : 12806 (java) S 12797 12800 11130 0 -1 4202560 118 0 0 0 14 3 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658403379880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12807] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12807/stat : 12807 (java) S 12797 12800 11130 0 -1 4202560 110 0 0 0 15 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658402327080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12808] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12808/stat : 12808 (java) S 12797 12800 11130 0 -1 4202560 89 0 0 0 14 4 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658401274280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12809] ppid=12797 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12800/task/12809/stat : 12809 (java) S 12797 12800 11130 0 -1 4202560 202 0 0 0 19 6 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658400221480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12810] ppid=12797 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12800/task/12810/stat : 12810 (java) S 12797 12800 11130 0 -1 4202560 213 0 0 0 17 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658399168680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12811] ppid=12797 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12800/task/12811/stat : 12811 (java) S 12797 12800 11130 0 -1 4202560 544 0 0 0 1 2 0 0 20 0 19 0 9172233 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658386971624 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12812] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 4031 0 0 0 78 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6812 0 0 0 75 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 103 0 0 0 30 47 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12819] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12819/stat : 12819 (java) S 12797 12800 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9172560 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658378548904 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.50 2.18 2.05 3/212 13449
/proc/meminfo: memFree=28981584/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 17279 0 1 0 179924 81 0 0 20 0 19 0 9172230 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2406260 199868 2287 9 0 2396937 0
[pid=12800/tid=12802] ppid=12797 vsize=9625040 CPUtime=1796.4 cores=1,3,5,7
/proc/12800/task/12802/stat : 12802 (java) R 12797 12800 11130 0 -1 4202560 2886 0 1 0 179604 36 0 0 20 0 19 0 9172231 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658563084000 140658503614111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12803] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12803/stat : 12803 (java) S 12797 12800 11130 0 -1 4202560 170 0 0 0 13 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658406538280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12804] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12804/stat : 12804 (java) S 12797 12800 11130 0 -1 4202560 175 0 0 0 16 4 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658405485480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12805] ppid=12797 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/12800/task/12805/stat : 12805 (java) S 12797 12800 11130 0 -1 4202560 569 0 0 0 12 3 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658404432680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12806] ppid=12797 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12800/task/12806/stat : 12806 (java) S 12797 12800 11130 0 -1 4202560 118 0 0 0 14 3 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658403379880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12807] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12807/stat : 12807 (java) S 12797 12800 11130 0 -1 4202560 110 0 0 0 15 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658402327080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12808] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12808/stat : 12808 (java) S 12797 12800 11130 0 -1 4202560 89 0 0 0 14 4 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658401274280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12809] ppid=12797 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12800/task/12809/stat : 12809 (java) S 12797 12800 11130 0 -1 4202560 202 0 0 0 19 6 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658400221480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12810] ppid=12797 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12800/task/12810/stat : 12810 (java) S 12797 12800 11130 0 -1 4202560 213 0 0 0 17 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658399168680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12811] ppid=12797 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12800/task/12811/stat : 12811 (java) S 12797 12800 11130 0 -1 4202560 544 0 0 0 1 2 0 0 20 0 19 0 9172233 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658386971624 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12812] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 4031 0 0 0 78 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6812 0 0 0 75 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 103 0 0 0 31 48 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12819] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12819/stat : 12819 (java) S 12797 12800 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9172560 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658378548904 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12800 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.9 s]
/proc/loadavg: 2.50 2.18 2.05 3/212 13449
/proc/meminfo: memFree=28981584/32872528 swapFree=532956/565660
[pid=12800] ppid=12797 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/12800/stat : 12800 (java) S 12797 12800 11130 0 -1 4202496 17279 0 1 0 179924 81 0 0 20 0 19 0 9172230 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140735862398272 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 2406260 199868 2287 9 0 2396937 0
[pid=12800/tid=12802] ppid=12797 vsize=9625040 CPUtime=1796.4 cores=1,3,5,7
/proc/12800/task/12802/stat : 12802 (java) R 12797 12800 11130 0 -1 4202560 2886 0 1 0 179604 36 0 0 20 0 19 0 9172231 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658563084000 140658503614111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12803] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12803/stat : 12803 (java) S 12797 12800 11130 0 -1 4202560 170 0 0 0 13 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658406538280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12804] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12804/stat : 12804 (java) S 12797 12800 11130 0 -1 4202560 175 0 0 0 16 4 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658405485480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12805] ppid=12797 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/12800/task/12805/stat : 12805 (java) S 12797 12800 11130 0 -1 4202560 569 0 0 0 12 3 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658404432680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12806] ppid=12797 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12800/task/12806/stat : 12806 (java) S 12797 12800 11130 0 -1 4202560 118 0 0 0 14 3 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658403379880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12807] ppid=12797 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12800/task/12807/stat : 12807 (java) S 12797 12800 11130 0 -1 4202560 110 0 0 0 15 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658402327080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12800/tid=12808] ppid=12797 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12800/task/12808/stat : 12808 (java) S 12797 12800 11130 0 -1 4202560 89 0 0 0 14 4 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658401274280 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12809] ppid=12797 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12800/task/12809/stat : 12809 (java) S 12797 12800 11130 0 -1 4202560 202 0 0 0 19 6 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658400221480 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12810] ppid=12797 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12800/task/12810/stat : 12810 (java) S 12797 12800 11130 0 -1 4202560 213 0 0 0 17 5 0 0 20 0 19 0 9172232 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658399168680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12811] ppid=12797 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12800/task/12811/stat : 12811 (java) S 12797 12800 11130 0 -1 4202560 544 0 0 0 1 2 0 0 20 0 19 0 9172233 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658386971624 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12812] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12812/stat : 12812 (java) S 12797 12800 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658385917688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12813] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12813/stat : 12813 (java) S 12797 12800 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9172234 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658384864776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12814] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12814/stat : 12814 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658383813264 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12815] ppid=12797 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12800/task/12815/stat : 12815 (java) S 12797 12800 11130 0 -1 4202560 4031 0 0 0 78 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658382760376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12816] ppid=12797 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12800/task/12816/stat : 12816 (java) S 12797 12800 11130 0 -1 4202560 6812 0 0 0 75 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658381707576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12800/tid=12817] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12817/stat : 12817 (java) S 12797 12800 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658380654968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12800/tid=12818] ppid=12797 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/12800/task/12818/stat : 12818 (java) S 12797 12800 11130 0 -1 4202560 103 0 0 0 31 48 0 0 20 0 19 0 9172236 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658379602376 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12800/tid=12819] ppid=12797 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12800/task/12819/stat : 12819 (java) S 12797 12800 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9172560 9856040960 199868 33554432000 1073741824 1073778376 140735862407136 140658378548904 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1796.95
CPU time (s): 1800.66
CPU user time (s): 1799.3
CPU system time (s): 1.36279
CPU usage (%): 100.207
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 1.36279
maximum resident set size= 799608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17319
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38285
involuntary context switches= 2460

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1305 second user time and 14.5238 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 12:01:06
IDJOB=4090468
IDBENCH=79574
IDSOLVER=2551
FILE ID=node138/4090468-1466071266
RUNJOBID= node138-1466062110-11147
PBS_JOBID= 19904002
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen07reduc_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090468-1466071266/watcher-4090468-1466071266 -o /tmp/evaluation-result-4090468-1466071266/solver-4090468-1466071266 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466062110-11147 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090468-1466071266.wbo

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

MD5SUM BENCH= 6effabdb5f06e7cb39e8e89923338a20
RANDOM SEED=1134685079

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31116856 kB
Buffers:           12744 kB
Cached:            66652 kB
SwapCached:         1388 kB
Active:           456072 kB
Inactive:          33908 kB
Active(anon):     411056 kB
Inactive(anon):     1664 kB
Active(file):      45016 kB
Inactive(file):    32244 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099628 kB
Dirty:             18716 kB
Writeback:             0 kB
AnonPages:        974808 kB
Mapped:            15312 kB
Shmem:                 0 kB
Slab:             566368 kB
SReclaimable:       9920 kB
SUnreclaim:       556448 kB
KernelStack:        1592 kB
PageTables:         6312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1641036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    417792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node138 at 2016-06-16 12:31:03