Trace number 351292

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT (TO)-12 1800.22 1782.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
MD5SUM7ba66e72f7a10b492134dc7de6859631
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-12
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -19
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints48
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524372
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.14/0.35	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14/0.36	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14/0.36	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.14/0.36	c no version file found!!!
0.14/0.36	c sun.arch.data.model	32
0.14/0.36	c java.version	1.6.0
0.14/0.36	c os.name	Linux
0.14/0.36	c os.version	2.6.9-22.EL.rootsmp
0.14/0.36	c os.arch	i386
0.14/0.37	c Free memory 1651659224
0.14/0.37	c Max memory 1654456320
0.14/0.37	c Total memory 1654456320
0.14/0.37	c Number of processors 2
0.23/0.43	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.23/0.43	--- Begin Solver configuration ---
0.23/0.43	c Stops conflict analysis at the first Unique Implication Point
0.23/0.43	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.23/0.43	c Learn all clauses as in MiniSAT
0.23/0.43	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.23/0.43	c VSIDS like heuristics from MiniSAT using a heap
0.23/0.43	c No reason simplification
0.23/0.43	c --- End Solver configuration ---
0.23/0.43	c Simplify asserted PB constraints to clauses
0.23/0.43	c solving /tmp/evaluation/351292-1176594056/instance-351292-1176594056.opb
0.23/0.43	c reading problem ... 
0.83/0.88	c ... done. Wall clock time 0.456s.
0.83/0.88	c CPU time (experimental) 0.44s.
0.83/0.88	c #vars     1440
0.83/0.88	c #constraints  68
1.43/1.14	c SATISFIABLE
1.43/1.14	c OPTIMIZING...
1.43/1.14	c Got one! Elapsed wall clock time (in seconds):0.72
1.43/1.15	o 0
7.33/4.71	c Got one! Elapsed wall clock time (in seconds):4.281
7.33/4.71	o -2
13.80/10.93	c Got one! Elapsed wall clock time (in seconds):10.508
13.80/10.93	o -3
58.97/55.71	c Got one! Elapsed wall clock time (in seconds):55.288
58.97/55.71	o -4
72.08/68.76	c Got one! Elapsed wall clock time (in seconds):68.331
72.08/68.76	o -5
118.35/114.77	c Got one! Elapsed wall clock time (in seconds):114.348
118.35/114.77	o -7
126.69/123.02	c Got one! Elapsed wall clock time (in seconds):122.593
126.69/123.02	o -9
136.09/132.38	c Got one! Elapsed wall clock time (in seconds):131.95
136.09/132.38	o -11
458.61/452.48	c Got one! Elapsed wall clock time (in seconds):452.059
458.61/452.48	o -12
1800.01/1782.41	c starts		: 19
1800.01/1782.41	c conflicts		: 25651
1800.01/1782.41	c decisions		: 365404
1800.01/1782.41	c propagations		: 1097693
1800.01/1782.41	c inspects		: 300231159
1800.01/1782.41	c learnt literals	: 0
1800.01/1782.41	c learnt binary clauses	: 0
1800.01/1782.41	c learnt ternary clauses	: 0
1800.01/1782.41	c learnt clauses	: 25651
1800.01/1782.41	c root simplifications	: 0
1800.01/1782.41	c removed literals (reason simplification)	: 0
1800.01/1782.41	c reason swapping (by a shorter reason)	: 0
1800.01/1782.41	c Calls to reduceDB	: 0
1800.01/1782.41	c speed (decisions/second)	: 274.7547235639824
1800.01/1782.41	c non guided choices	3801
1800.01/1782.41	s SATISFIABLE
1800.01/1782.45	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.01/1782.45	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.01/1782.45	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80
1800.01/1782.45	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105
1800.01/1782.45	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126
1800.01/1782.45	v x127 -x128 -x129 -x130 -x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.01/1782.45	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.01/1782.45	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 x184 -x185 x186 -x187 -x188 x189 x190
1800.01/1782.45	v x191 -x192 x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.01/1782.45	v -x212 -x213 x214 x215 x216 x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.01/1782.45	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.01/1782.45	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.01/1782.45	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.01/1782.45	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317
1800.01/1782.45	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.01/1782.45	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.01/1782.45	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.01/1782.45	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.01/1782.45	v -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.01/1782.45	v -x423 -x424 x425 -x426 x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.01/1782.45	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 x453 x454 x455 x456 x457 -x458 -x459 -x460 x461 x462 x463 x464 -x465 -x466
1800.01/1782.45	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.01/1782.45	v -x488 -x489 -x490 -x491 -x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508
1800.01/1782.45	v -x509 -x510 x511 -x512 x513 x514 -x515 x516 -x517 -x518 x519 -x520 x521 x522 x523 x524 -x525 x526 -x527 -x528 -x529 -x530 -x531
1800.01/1782.45	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 x545 x546 -x547 x548 x549 x550 x551 x552 x553 -x554
1800.01/1782.45	v -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.01/1782.45	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596
1800.01/1782.45	v -x597 -x598 -x599 -x600 -x601 x602 x603 -x604 x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 x613 -x614 x615 -x616 -x617 -x618
1800.01/1782.45	v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 x634 -x635 -x636 x637 x638 -x639
1800.01/1782.45	v -x640 -x641 -x642 x643 -x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
1800.01/1782.45	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
1800.01/1782.45	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 x698 x699 -x700 x701 -x702 -x703
1800.01/1782.45	v -x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724
1800.01/1782.45	v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1800.01/1782.45	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766
1800.01/1782.45	v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788
1800.01/1782.45	v x789 x790 x791 x792 x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
1800.01/1782.45	v -x811 x812 -x813 -x814 x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831
1800.01/1782.45	v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 x852
1800.01/1782.45	v -x853 x854 x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 x874
1800.01/1782.45	v x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.01/1782.45	v -x898 -x899 -x900 x901 -x902 x903 -x904 x905 -x906 x907 -x908 x909 x910 x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919
1800.01/1782.45	v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 -x940
1800.01/1782.45	v -x941 -x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.01/1782.45	v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 x977 -x978 -x979 -x980 -x981 -x982
1800.01/1782.45	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1800.01/1782.45	v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019
1800.01/1782.45	v -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 -x1037 -x1038 -x1039
1800.01/1782.45	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.01/1782.45	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.01/1782.45	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.01/1782.45	v -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.01/1782.45	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.01/1782.45	v x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.01/1782.45	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.01/1782.45	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 -x1174 x1175 -x1176 x1177 x1178
1800.01/1782.45	v x1179 x1180 -x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1800.01/1782.45	v -x1198 -x1199 -x1200 x1201 x1202 x1203 -x1204 x1205 -x1206 -x1207 -x1208 x1209 -x1210 x1211 -x1212 x1213 x1214 x1215 x1216
1800.01/1782.45	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233
1800.01/1782.45	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.01/1782.45	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
1800.01/1782.45	v x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.01/1782.45	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303
1800.01/1782.45	v -x1304 x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321
1800.01/1782.45	v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 x1335 -x1336 -x1337 -x1338 -x1339
1800.01/1782.45	v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356
1800.01/1782.45	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373
1800.01/1782.45	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1800.01/1782.45	v -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
1800.01/1782.45	v -x1408 -x1409 -x1410 x1411 -x1412 x1413 x1414 -x1415 -x1416 -x1417 x1418 -x1419 x1420 x1421 -x1422 -x1423 -x1424 x1425
1800.01/1782.45	v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.01/1782.45	c objective function=-12
1800.01/1782.45	c Total wall clock time (ms): 1782.025

Verifier Data (download as text)

OK	-12

Watcher Data (download as text)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.87 0.98 0.99 2/77 15360
/proc/meminfo: memFree=1757232/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=18568 CPUtime=0
/proc/15360/stat : 15360 (runsolver) R 15358 15360 15297 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 107317655 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15360/statm: 4642 292 257 24 0 2626 0

[startup+0.046038 s]
/proc/loadavg: 0.87 0.98 0.99 2/77 15360
/proc/meminfo: memFree=1757232/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1800 CPUtime=0
/proc/15360/stat : 15360 (java) D 15358 15360 15297 0 -1 0 345 0 2 0 0 0 0 0 18 0 1 0 107317655 1843200 155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11092900 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/15360/statm: 450 155 118 9 0 92 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1800

[startup+0.102025 s]
/proc/loadavg: 0.87 0.98 0.99 2/77 15360
/proc/meminfo: memFree=1757232/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=12496 CPUtime=0.02
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 752 0 27 0 0 2 0 0 18 0 2 0 107317655 12795904 561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 3124 561 250 9 0 1241 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12496

[startup+0.301059 s]
/proc/loadavg: 0.87 0.98 0.99 2/77 15360
/proc/meminfo: memFree=1757232/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1780260 CPUtime=0.14
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 3970 0 36 0 8 6 0 0 18 0 12 0 107317655 1822986240 3746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 445065 3746 1124 9 0 442683 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 1780260

[startup+0.701127 s]
/proc/loadavg: 0.87 0.98 0.99 2/77 15360
/proc/meminfo: memFree=1757232/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1782544 CPUtime=0.63
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 5895 0 36 0 56 7 0 0 18 0 12 0 107317655 1825325056 5527 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 445636 5527 1289 9 0 443247 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 1782544

[startup+1.50226 s]
/proc/loadavg: 0.87 0.98 0.99 4/90 15373
/proc/meminfo: memFree=1719496/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1794880 CPUtime=2.22
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 16026 0 36 0 210 12 0 0 18 0 13 0 107317655 1837957120 12862 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 448720 12863 1319 9 0 446331 0
[pid=15360/tid=15362] ppid=15358 vsize=1794880 CPUtime=1
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 9015 0 9 0 94 6 0 0 18 0 13 0 107317665 1837957120 12863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109196992 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 107317672 1837957120 12863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 107317672 1837957120 12863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 107317676 1837957120 12864 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 107317676 1837957120 12864 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 107317676 1837957120 12864 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1837957120 12864 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1794880 CPUtime=0.51
/proc/15360/task/15369/stat : 15369 (java) R 15358 15360 15297 0 -1 64 3373 0 0 0 50 1 0 0 19 0 13 0 107317683 1837957120 12865 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102395173 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1794880 CPUtime=0.66
/proc/15360/task/15370/stat : 15370 (java) R 15358 15360 15297 0 -1 64 2942 0 0 0 65 1 0 0 18 0 13 0 107317683 1837957120 12866 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336395 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1837957120 12867 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1794880 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1837957120 12867 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 1794880

[startup+3.10254 s]
/proc/loadavg: 0.87 0.98 0.99 4/90 15374
/proc/meminfo: memFree=1665408/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1805256 CPUtime=5.4
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 47920 0 36 0 512 28 0 0 18 0 13 0 107317655 1848582144 31369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 451314 31370 1322 9 0 448925 0
[pid=15360/tid=15362] ppid=15358 vsize=1805256 CPUtime=1.95
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 24883 0 9 0 181 14 0 0 18 0 13 0 107317665 1848582144 31371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109631614 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 107317672 1848582144 31373 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 107317672 1848582144 31375 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1805256 CPUtime=0.03
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 2 0 0 0 1 2 0 0 16 0 13 0 107317676 1848582144 31376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 107317676 1848582144 31377 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 107317676 1848582144 31378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1848582144 31379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1805256 CPUtime=1.13
/proc/15360/task/15369/stat : 15369 (java) R 15358 15360 15297 0 -1 64 6586 0 0 0 111 2 0 0 19 0 13 0 107317683 1848582144 31379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105649226 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1805256 CPUtime=2.22
/proc/15360/task/15370/stat : 15370 (java) R 15358 15360 15297 0 -1 64 15756 0 0 0 217 5 0 0 18 0 13 0 107317683 1848582144 31379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104846883 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1848582144 31380 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1848582144 31382 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15374] ppid=15358 vsize=1805256 CPUtime=0
/proc/15360/task/15374/stat : 15374 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 107317772 1848582144 31383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 1805256

[startup+6.30107 s]
/proc/loadavg: 0.88 0.98 0.99 2/90 15375
/proc/meminfo: memFree=1571960/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=9
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 63856 0 36 0 865 35 0 0 18 0 13 0 107317655 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 45581 1334 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=4.89
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 37714 0 9 0 469 20 0 0 23 0 13 0 107317665 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109533601 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=0.04
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 1206 0 0 0 4 0 0 0 16 0 13 0 107317672 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=0.04
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 1252 0 0 0 4 0 0 0 16 0 13 0 107317672 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.03
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 14 0 0 0 1 2 0 0 16 0 13 0 107317676 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.45
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6785 0 0 0 143 2 0 0 17 0 13 0 107317683 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.48
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16189 0 0 0 242 6 0 0 16 0 13 0 107317683 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15375] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15375/stat : 15375 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 107318127 1842798592 45581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 1799608

[startup+12.7021 s]
/proc/loadavg: 0.89 0.98 0.99 2/90 15376
/proc/meminfo: memFree=1540728/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=15.63
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 73636 0 36 0 1521 42 0 0 18 0 13 0 107317655 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 53259 1335 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=11.08
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 39371 0 9 0 1088 20 0 0 20 0 13 0 107317665 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109573098 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=0.23
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 4772 0 0 0 21 2 0 0 16 0 13 0 107317672 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=0.23
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 5786 0 0 0 20 3 0 0 16 0 13 0 107317672 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.05
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 34 0 0 0 2 3 0 0 16 0 13 0 107317676 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.45
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6786 0 0 0 143 2 0 0 16 0 13 0 107317683 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.5
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16189 0 0 0 244 6 0 0 16 0 13 0 107317683 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15376] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15376/stat : 15376 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 107318749 1842798592 53259 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.63
Current children cumulated vsize (KiB) 1799608

[startup+25.5013 s]
/proc/loadavg: 0.92 0.98 0.99 2/90 15376
/proc/meminfo: memFree=1529016/2055920 swapFree=4144440/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=28.51
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 76569 0 36 0 2808 43 0 0 18 0 13 0 107317655 1842798592 55837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 55837 1335 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=23.76
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 39378 0 9 0 2355 21 0 0 25 0 13 0 107317665 1842798592 55837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109572871 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=0.34
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 6082 0 0 0 31 3 0 0 16 0 13 0 107317672 1842798592 55837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=0.34
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 7402 0 0 0 30 4 0 0 16 0 13 0 107317672 1842798592 55837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.05
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 34 0 0 0 2 3 0 0 16 0 13 0 107317676 1842798592 55837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.26
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 223 0 0 0 12 14 0 0 16 0 13 0 107317676 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.48
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6786 0 0 0 146 2 0 0 17 0 13 0 107317683 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.55
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16191 0 0 0 249 6 0 0 16 0 13 0 107317683 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15382] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15382/stat : 15382 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 107362904 1842798592 142179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1618.2
Current children cumulated vsize (KiB) 1799608

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 15580
/proc/meminfo: memFree=1170824/2055920 swapFree=4144444/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=1678.79
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 259439 0 36 0 167731 148 0 0 18 0 13 0 107317655 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 144836 1335 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=1645.14
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 102419 0 9 0 164454 60 0 0 25 0 13 0 107317665 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576104 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=14.67
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 65327 0 0 0 1437 30 0 0 17 0 13 0 107317672 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=14.61
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 67779 0 0 0 1431 30 0 0 16 0 13 0 107317672 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.26
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 228 0 0 0 12 14 0 0 16 0 13 0 107317676 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.48
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6786 0 0 0 146 2 0 0 17 0 13 0 107317683 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.55
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16191 0 0 0 249 6 0 0 16 0 13 0 107317683 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15382] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15382/stat : 15382 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 107362904 1842798592 144836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1678.79
Current children cumulated vsize (KiB) 1799608

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 15580
/proc/meminfo: memFree=1166024/2055920 swapFree=4144444/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=1739.36
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 262059 0 36 0 173786 150 0 0 18 0 13 0 107317655 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 146021 1335 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=1704.52
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 102432 0 9 0 170391 61 0 0 25 0 13 0 107317665 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109572462 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=15.26
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 66512 0 0 0 1495 31 0 0 17 0 13 0 107317672 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=15.21
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 69199 0 0 0 1490 31 0 0 16 0 13 0 107317672 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.26
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 230 0 0 0 12 14 0 0 16 0 13 0 107317676 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.48
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6786 0 0 0 146 2 0 0 17 0 13 0 107317683 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.55
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16191 0 0 0 249 6 0 0 16 0 13 0 107317683 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15382] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15382/stat : 15382 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 107362904 1842798592 146021 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1739.36
Current children cumulated vsize (KiB) 1799608

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/90 15580
/proc/meminfo: memFree=1157256/2055920 swapFree=4144444/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=1799.91
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 265034 0 36 0 179839 152 0 0 18 0 13 0 107317655 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 148174 1335 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=1763.92
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 102556 0 9 0 176331 61 0 0 25 0 13 0 107317665 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109585407 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=15.83
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 67916 0 0 0 1552 31 0 0 16 0 13 0 107317672 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=15.77
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 70644 0 0 0 1545 32 0 0 17 0 13 0 107317672 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.26
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 232 0 0 0 12 14 0 0 16 0 13 0 107317676 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.48
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6786 0 0 0 146 2 0 0 17 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.55
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16191 0 0 0 249 6 0 0 16 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15382] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15382/stat : 15382 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 107362904 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 1799608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.4 s]
/proc/loadavg: 1.03 1.01 1.00 2/90 15580
/proc/meminfo: memFree=1157256/2055920 swapFree=4144444/4192956
[pid=15360] ppid=15358 vsize=1799608 CPUtime=1800.01
/proc/15360/stat : 15360 (java) S 15358 15360 15297 0 -1 0 265034 0 36 0 179849 152 0 0 18 0 13 0 107317655 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 449902 148174 1335 9 0 447513 0
[pid=15360/tid=15362] ppid=15358 vsize=1799608 CPUtime=1764.03
/proc/15360/task/15362/stat : 15362 (java) R 15358 15360 15297 0 -1 64 102556 0 9 0 176342 61 0 0 25 0 13 0 107317665 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109575961 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15363] ppid=15358 vsize=1799608 CPUtime=15.83
/proc/15360/task/15363/stat : 15363 (java) S 15358 15360 15297 0 -1 64 67916 0 0 0 1552 31 0 0 16 0 13 0 107317672 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15364] ppid=15358 vsize=1799608 CPUtime=15.77
/proc/15360/task/15364/stat : 15364 (java) S 15358 15360 15297 0 -1 64 70644 0 0 0 1545 32 0 0 17 0 13 0 107317672 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15365] ppid=15358 vsize=1799608 CPUtime=0.26
/proc/15360/task/15365/stat : 15365 (java) S 15358 15360 15297 0 -1 64 232 0 0 0 12 14 0 0 16 0 13 0 107317676 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15366] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15366/stat : 15366 (java) S 15358 15360 15297 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15367] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15367/stat : 15367 (java) S 15358 15360 15297 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 107317676 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15368] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15368/stat : 15368 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15369] ppid=15358 vsize=1799608 CPUtime=1.48
/proc/15360/task/15369/stat : 15369 (java) S 15358 15360 15297 0 -1 64 6786 0 0 0 146 2 0 0 17 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15360/tid=15370] ppid=15358 vsize=1799608 CPUtime=2.55
/proc/15360/task/15370/stat : 15370 (java) S 15358 15360 15297 0 -1 64 16191 0 0 0 249 6 0 0 16 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15371] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15371/stat : 15371 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15372] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15372/stat : 15372 (java) S 15358 15360 15297 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 107317683 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15360/tid=15382] ppid=15358 vsize=1799608 CPUtime=0
/proc/15360/task/15382/stat : 15382 (java) S 15358 15360 15297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 107362904 1842798592 148174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1799608

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

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

[startup+1782.6 s]
/proc/loadavg: 1.03 1.01 1.00 2/90 15580
/proc/meminfo: memFree=1157256/2055920 swapFree=4144444/4192956
[pid=15360] ppid=15358 vsize=0 CPUtime=1800.2
/proc/15360/stat : 15360 (java) Z 15358 15360 15297 0 -1 1036 265055 0 36 0 179859 161 0 0 15 0 2 0 107317655 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15360/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1782.66
CPU time (s): 1800.22
CPU user time (s): 1798.6
CPU system time (s): 1.61675
CPU usage (%): 100.985
Max. virtual memory (cumulated for all children) (KiB): 1812768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.61675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265055
page faults= 36
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42962
involuntary context switches= 56655

runsolver used 1.77973 second user time and 4.83326 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Apr 14 23:40:56 UTC 2007

IDJOB= 351292
IDBENCH= 1716
IDSOLVER= 164
FILE ID= node39/351292-1176594056

PBS_JOBID= 4556981

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  7ba66e72f7a10b492134dc7de6859631

RANDOM SEED= 921770144

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1757640 kB
Buffers:         32444 kB
Cached:          49080 kB
SwapCached:       2116 kB
Active:          52072 kB
Inactive:       165852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1757640 kB
SwapTotal:     4192956 kB
SwapFree:      4144440 kB
Dirty:            3816 kB
Writeback:           0 kB
Mapped:         150636 kB
Slab:            65640 kB
Committed_AS:   943300 kB
PageTables:       2012 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node39 on Sun Apr 15 00:10:41 UTC 2007