Trace number 373241

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)54 1800.28 1727.92

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark7.08492
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint124
Number of terms in the objective function 486
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 486
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15	c no version file found!!!
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version	1.6.0
0.09/0.15	c os.name	Linux
0.09/0.15	c os.version	2.6.9-22.EL.rootsmp
0.09/0.15	c os.arch	i386
0.09/0.15	c Free memory 1651659224
0.09/0.15	c Max memory 1654456320
0.09/0.15	c Total memory 1654456320
0.09/0.15	c Number of processors 2
0.20/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c Simplify asserted PB constraints to clauses
0.20/0.20	c solving /tmp/evaluation/373241-1177174968/instance-373241-1177174968.opb
0.20/0.20	c reading problem ... 
1.49/1.03	c ... done. Wall clock time 0.833s.
1.49/1.03	c CPU time (experimental) 0.75s.
1.49/1.03	c #vars     2091
1.49/1.04	c #constraints  7242
1.62/1.11	c SATISFIABLE
1.62/1.11	c OPTIMIZING...
1.62/1.11	c Got one! Elapsed wall clock time (in seconds):0.907
1.62/1.12	o 55
9.17/6.71	c Got one! Elapsed wall clock time (in seconds):6.508
9.17/6.71	o 54
1800.02/1727.71	c starts		: 4
1800.02/1727.71	c conflicts		: 17518
1800.02/1727.71	c decisions		: 113797
1800.02/1727.71	c propagations		: 1600229
1800.02/1727.71	c inspects		: 126658915
1800.02/1727.71	c learnt literals	: 0
1800.02/1727.71	c learnt binary clauses	: 0
1800.02/1727.71	c learnt ternary clauses	: 0
1800.02/1727.71	c learnt clauses	: 17517
1800.02/1727.71	c root simplifications	: 0
1800.02/1727.71	c removed literals (reason simplification)	: 0
1800.02/1727.71	c reason swapping (by a shorter reason)	: 0
1800.02/1727.71	c Calls to reduceDB	: 0
1800.02/1727.71	c speed (decisions/second)	: 66.12302577180911
1800.02/1727.71	c non guided choices	0
1800.02/1727.71	s SATISFIABLE
1800.02/1727.75	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
1800.02/1727.75	v 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
1800.02/1727.75	v -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
1800.02/1727.75	v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
1800.02/1727.75	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1800.02/1727.75	v x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152
1800.02/1727.75	v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
1800.02/1727.75	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194
1800.02/1727.75	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.02/1727.75	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1800.02/1727.75	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.02/1727.75	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.02/1727.75	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.02/1727.75	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1800.02/1727.75	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341
1800.02/1727.75	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1800.02/1727.75	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.02/1727.75	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 x400 -x401 -x402 x403 x404
1800.02/1727.75	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 x425
1800.02/1727.75	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1800.02/1727.75	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1800.02/1727.75	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.02/1727.75	v -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509
1800.02/1727.75	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1800.02/1727.75	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551
1800.02/1727.75	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1800.02/1727.75	v -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1800.02/1727.75	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1800.02/1727.75	v -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1800.02/1727.75	v -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1800.02/1727.75	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1800.02/1727.75	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698
1800.02/1727.75	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1800.02/1727.75	v -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1800.02/1727.75	v -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1800.02/1727.75	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782
1800.02/1727.75	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803
1800.02/1727.75	v -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1800.02/1727.75	v -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
1800.02/1727.75	v -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1800.02/1727.75	v -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887
1800.02/1727.75	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1800.02/1727.75	v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929
1800.02/1727.75	v -x930 x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1800.02/1727.75	v -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1800.02/1727.75	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
1800.02/1727.75	v -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1800.02/1727.75	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.02/1727.75	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.02/1727.75	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1800.02/1727.75	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1800.02/1727.75	v -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.02/1727.75	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.02/1727.75	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.02/1727.75	v -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149
1800.02/1727.75	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1800.02/1727.75	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1800.02/1727.75	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1800.02/1727.75	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217
1800.02/1727.75	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234
1800.02/1727.75	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1800.02/1727.75	v -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.02/1727.75	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.02/1727.75	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1800.02/1727.75	v -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1800.02/1727.75	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337
1800.02/1727.75	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1800.02/1727.75	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1800.02/1727.75	v -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
1800.02/1727.75	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405
1800.02/1727.75	v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422
1800.02/1727.75	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439
1800.02/1727.75	v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456
1800.02/1727.75	v x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
1800.02/1727.75	v -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491
1800.02/1727.75	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508
1800.02/1727.75	v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525
1800.02/1727.75	v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542
1800.02/1727.75	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559
1800.02/1727.75	v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1800.02/1727.75	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593
1800.02/1727.75	v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1800.02/1727.75	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627
1800.02/1727.75	v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645
1800.02/1727.75	v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662
1800.02/1727.75	v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1800.02/1727.75	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1800.02/1727.75	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1800.02/1727.75	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1800.02/1727.75	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747
1800.02/1727.75	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764
1800.02/1727.75	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781
1800.02/1727.75	v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798
1800.02/1727.75	v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815
1800.02/1727.75	v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
1800.02/1727.75	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1800.02/1727.75	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1800.02/1727.75	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883
1800.02/1727.75	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
1800.02/1727.75	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917
1800.02/1727.75	v x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934
1800.02/1727.75	v -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951
1800.02/1727.75	v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1800.02/1727.75	v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
1800.02/1727.75	v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002
1800.02/1727.75	v -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019
1800.02/1727.75	v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036
1800.02/1727.75	v -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
1800.02/1727.75	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070
1800.02/1727.75	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087
1800.02/1727.75	v -x2088 -x2089 -x2090 -x2091
1800.02/1727.76	c objective function=54
1800.02/1727.76	c Total wall clock time (ms): 1727.556

Verifier Data (download as text)

OK	54

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-373241-1177174968 -o ROOT/results/node74/solver-373241-1177174968 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373241-1177174968/sat4jPseudoCPClause.jar /tmp/evaluation/373241-1177174968/instance-373241-1177174968.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: 1.04 1.01 1.00 2/66 19507
/proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=152 CPUtime=0
/proc/19507/stat : 19507 (java) R 19505 19507 15655 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 165411613 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 9756971 0 0 4096 0 0 0 0 17 1 0 0
/proc/19507/statm: 38 26 19 9 0 4 0

[startup+0.0763599 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 19507
/proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1777708 CPUtime=0.06
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 3751 0 1 0 4 2 0 0 18 0 7 0 165411613 1820372992 3494 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 444427 3494 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101361 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 19507
/proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1780112 CPUtime=0.09
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 3968 0 1 0 6 3 0 0 18 0 12 0 165411613 1822834688 3710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 445028 3710 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780112

[startup+0.301384 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 19507
/proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1782436 CPUtime=0.31
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 5144 0 1 0 28 3 0 0 18 0 12 0 165411613 1825214464 4883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 445609 4883 1264 9 0 443220 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782436

[startup+0.701431 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 19507
/proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1783596 CPUtime=0.96
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 7049 0 1 0 91 5 0 0 18 0 12 0 165411613 1826402304 6573 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 445899 6573 1301 9 0 443510 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 1783596

[startup+1.50253 s]
/proc/loadavg: 1.04 1.01 1.00 3/78 19519
/proc/meminfo: memFree=1623528/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1785744 CPUtime=2.25
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 18786 0 1 0 216 9 0 0 18 0 13 0 165411613 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 446436 16882 1311 9 0 444047 0
[pid=19507/tid=19509] ppid=19505 vsize=1785744 CPUtime=1.11
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 15098 0 1 0 103 8 0 0 18 0 13 0 165411614 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109731778 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 165411616 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 165411616 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 165411618 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 165411618 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 165411619 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1785744 CPUtime=0.55
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 1495 0 0 0 55 0 0 0 16 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1785744 CPUtime=0.57
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 1468 0 0 0 57 0 0 0 16 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1785744 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 1785744

[startup+3.10271 s]
/proc/loadavg: 1.11 1.03 1.01 3/79 19521
/proc/meminfo: memFree=1504544/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1798840 CPUtime=5.21
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 50452 0 1 0 498 23 0 0 18 0 13 0 165411613 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449710 43559 1324 9 0 447321 0
[pid=19507/tid=19509] ppid=19505 vsize=1798840 CPUtime=2.55
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 37735 0 1 0 237 18 0 0 25 0 13 0 165411614 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109723394 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1798840 CPUtime=0.02
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 643 0 0 0 2 0 0 0 16 0 13 0 165411616 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 232 0 0 0 0 0 0 0 16 0 13 0 165411616 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1798840 CPUtime=1.31
/proc/19507/task/19516/stat : 19516 (java) R 19505 19507 15655 0 -1 64 6405 0 0 0 129 2 0 0 20 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 10193998 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1798840 CPUtime=1.29
/proc/19507/task/19517/stat : 19517 (java) R 19505 19507 15655 0 -1 64 4705 0 0 0 128 1 0 0 21 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103330708 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19521] ppid=19505 vsize=1798840 CPUtime=0
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 165411727 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 1798840

[startup+6.30207 s]
/proc/loadavg: 1.11 1.03 1.01 2/79 19521
/proc/meminfo: memFree=1484704/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=8.75
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 56155 0 1 0 848 27 0 0 18 0 13 0 165411613 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 47919 1324 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=5.68
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 41154 0 1 0 548 20 0 0 25 0 13 0 165411614 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109741295 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=0.07
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 1707 0 0 0 7 0 0 0 16 0 13 0 165411616 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=0.06
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 1283 0 0 0 6 0 0 0 16 0 13 0 165411616 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 165411618 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.42
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6553 0 0 0 140 2 0 0 16 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.46
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 4708 0 0 0 145 1 0 0 16 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19521] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 165411727 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 1796364

[startup+12.7028 s]
/proc/loadavg: 1.10 1.02 1.00 2/79 19522
/proc/meminfo: memFree=1443752/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=15.29
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 62838 0 1 0 1499 30 0 0 18 0 13 0 165411613 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 53630 1325 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=12.01
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 45544 0 1 0 1179 22 0 0 25 0 13 0 165411614 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109732235 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=0.13
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 2820 0 0 0 12 1 0 0 16 0 13 0 165411616 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=0.12
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 2463 0 0 0 12 0 0 0 16 0 13 0 165411616 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 28 0 0 0 0 0 0 0 15 0 13 0 165411618 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.44
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6553 0 0 0 142 2 0 0 16 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.53
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 4708 0 0 0 151 2 0 0 17 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.29
Current children cumulated vsize (KiB) 1796364

[startup+25.5015 s]
/proc/loadavg: 1.08 1.02 1.00 2/79 19522
/proc/meminfo: memFree=1442920/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=28.23
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 72507 0 1 0 2788 35 0 0 18 0 13 0 165411613 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 57207 1326 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=24.64
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 51479 0 1 0 2440 24 0 0 25 0 13 0 165411614 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109732130 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=0.24
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 4607 0 0 0 22 2 0 0 16 0 13 0 165411616 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=0.25
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 4393 0 0 0 23 2 0 0 16 0 13 0 165411616 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 42 0 0 0 0 0 0 0 15 0 13 0 165411618 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.56
Current children cumulated vsize (KiB) 1796364

[startup+1602.3 s]
/proc/loadavg: 1.18 1.07 1.01 2/79 19522
/proc/meminfo: memFree=737448/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=1667.22
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 274433 0 1 0 166576 146 0 0 18 0 13 0 165411613 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 230193 1327 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1537.68
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55777 0 1 0 153736 32 0 0 16 0 13 0 165411614 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109791246 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=62.72
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 99687 0 0 0 6225 47 0 0 17 0 13 0 165411616 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=62.76
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 106282 0 0 0 6231 45 0 0 16 0 13 0 165411616 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.37
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 23 14 0 0 15 0 13 0 165411618 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1667.22
Current children cumulated vsize (KiB) 1796364

[startup+1662.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/79 19522
/proc/meminfo: memFree=719080/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=1730.73
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 279431 0 1 0 172923 150 0 0 18 0 13 0 165411613 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 234701 1327 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1594.1
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55822 0 1 0 159377 33 0 0 25 0 13 0 165411614 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109802033 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=66.25
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 101092 0 0 0 6577 48 0 0 17 0 13 0 165411616 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=66.3
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 109830 0 0 0 6583 47 0 0 16 0 13 0 165411616 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.37
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 23 14 0 0 16 0 13 0 165411618 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1730.73
Current children cumulated vsize (KiB) 1796364

[startup+1722.3 s]
/proc/loadavg: 1.17 1.09 1.02 2/79 19522
/proc/meminfo: memFree=702824/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=1794.29
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 284013 0 1 0 179276 153 0 0 18 0 13 0 165411613 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 238818 1327 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1650.44
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55867 0 1 0 165011 33 0 0 24 0 13 0 165411614 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109789672 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=69.86
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 102918 0 0 0 6936 50 0 0 17 0 13 0 165411616 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=69.9
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 112541 0 0 0 6942 48 0 0 16 0 13 0 165411616 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.39
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 24 15 0 0 15 0 13 0 165411618 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1794.29
Current children cumulated vsize (KiB) 1796364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1727.7 s]
/proc/loadavg: 1.15 1.08 1.02 2/79 19522
/proc/meminfo: memFree=699240/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=1796364 CPUtime=1800.02
/proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 284887 0 1 0 179848 154 0 0 18 0 13 0 165411613 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19507/statm: 449091 239641 1327 9 0 446702 0
[pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1655.52
/proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55871 0 1 0 165519 33 0 0 20 0 13 0 165411614 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109731946 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=70.18
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 103473 0 0 0 6968 50 0 0 17 0 13 0 165411616 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=70.22
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 112856 0 0 0 6974 48 0 0 17 0 13 0 165411616 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.39
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 24 15 0 0 15 0 13 0 165411618 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1796364

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

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

[startup+1727.81 s]
/proc/loadavg: 1.15 1.08 1.02 2/79 19522
/proc/meminfo: memFree=699240/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=0 CPUtime=1800.16
/proc/19507/stat : 19507 (java) Z 19505 19507 15655 0 -1 1036 284906 0 1 0 179859 157 0 0 15 0 2 0 165411613 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19507/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1727.9 s]
/proc/loadavg: 1.15 1.08 1.02 2/79 19522
/proc/meminfo: memFree=699240/2055920 swapFree=4183056/4192956
[pid=19507] ppid=19505 vsize=0 CPUtime=1800.25
/proc/19507/stat : 19507 (java) Z 19505 19507 15655 0 -1 1036 284906 0 1 0 179859 166 0 0 15 0 2 0 165411613 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19507/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1727.92
CPU time (s): 1800.28
CPU user time (s): 1798.6
CPU system time (s): 1.67874
CPU usage (%): 104.188
Max. virtual memory (cumulated for all children) (KiB): 1798840

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

runsolver used 1.83572 second user time and 5.53216 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sat Apr 21 17:02:49 UTC 2007

IDJOB= 373241
IDBENCH= 25029
IDSOLVER= 164
FILE ID= node74/373241-1177174968

PBS_JOBID= 4648981

Free space on /tmp= 103202 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373241-1177174968/sat4jPseudoCPClause.jar /tmp/evaluation/373241-1177174968/instance-373241-1177174968.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-373241-1177174968 -o ROOT/results/node74/solver-373241-1177174968 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373241-1177174968/sat4jPseudoCPClause.jar /tmp/evaluation/373241-1177174968/instance-373241-1177174968.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  8e58fdc516472c37b974ebbf77c2a4fa

RANDOM SEED= 758693319

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1655584 kB
Buffers:         61400 kB
Cached:         264220 kB
SwapCached:       3024 kB
Active:         177944 kB
Inactive:       158840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655584 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            3896 kB
Writeback:           0 kB
Mapped:          15936 kB
Slab:            49344 kB
Committed_AS:  3930360 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103202 MiB

End job on node74 on Sat Apr 21 17:31:38 UTC 2007