Trace number 49421

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
wildcat-skc 0.8.0SAT (TO)137 1800.79 1801.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
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 constraint386
Number of terms in the objective function 3098
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 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.00	c 
0.00	c wildcat-skc (VERSION 0.8.0-lite-skc-devel)
0.00	c Developed by L. Liu  and M. Truszczynski 
0.00	c Last built on Tue 23 May 2006 09:27:47 PM EDT
0.00	c 
0.00	c ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node55/49421-1154086121/instance-49421-1154086121.opb 145854180 
0.00	c =================================== BEGIN ===================================
0.00	c 
0.00	c Random Number Seed: 145854180
0.00	c Noise: 0.1 (10 : 100) 
0.40	c Starting searching:
0.40	c Phase 1 ...
0.43	c   trying 3098: vc 
0.43	o 1551
0.48	c   trying 1033: vc 
0.48	o 1033
0.53	c   trying 688: vc 
0.53	o 688
0.60	c   trying 458: vc 
0.60	o 458
0.69	c   trying 304: vc 
0.69	o 304
1.44	c   trying 202: vc 
1.44	o 202
54.20	c   trying 134: xxxxxxxxxxc 
54.20	c Phase 2 ...
54.30	c   trying 201: vc 
54.30	o 201
54.39	c   trying 200: vc 
54.39	o 200
54.50	c   trying 199: vc 
54.50	o 199
54.59	c   trying 198: vc 
54.59	o 198
54.69	c   trying 197: vc 
54.69	o 197
54.78	c   trying 196: vc 
54.78	o 196
55.47	c   trying 195: vc 
55.47	o 195
55.57	c   trying 194: vc 
55.57	o 194
55.66	c   trying 193: vc 
55.66	o 193
55.77	c   trying 192: vc 
55.77	o 192
55.87	c   trying 191: vc 
55.87	o 191
55.96	c   trying 190: vc 
55.96	o 190
56.06	c   trying 189: vc 
56.06	o 189
56.16	c   trying 188: vc 
56.16	o 188
56.26	c   trying 187: vc 
56.26	o 187
56.35	c   trying 186: vc 
56.35	o 186
56.46	c   trying 185: vc 
56.46	o 185
56.56	c   trying 184: vc 
56.56	o 184
56.65	c   trying 183: vc 
56.65	o 183
56.76	c   trying 182: vc 
56.76	o 182
56.86	c   trying 181: vc 
56.86	o 181
56.96	c   trying 180: vc 
56.97	o 180
57.07	c   trying 179: vc 
57.07	o 179
57.17	c   trying 178: vc 
57.17	o 178
57.27	c   trying 177: vc 
57.27	o 177
57.37	c   trying 176: vc 
57.37	o 176
57.47	c   trying 175: vc 
57.47	o 175
57.58	c   trying 174: vc 
57.58	o 174
57.68	c   trying 173: vc 
57.68	o 173
57.79	c   trying 172: vc 
57.79	o 172
57.90	c   trying 171: vc 
57.90	o 171
58.00	c   trying 170: vc 
58.00	o 170
58.11	c   trying 169: vc 
58.11	o 169
58.22	c   trying 168: vc 
58.22	o 168
58.32	c   trying 167: vc 
58.32	o 167
58.43	c   trying 166: vc 
58.43	o 166
58.54	c   trying 165: vc 
58.54	o 165
58.65	c   trying 164: vc 
58.65	o 164
58.76	c   trying 163: vc 
58.76	o 163
58.88	c   trying 162: vc 
58.88	o 162
59.00	c   trying 161: vc 
59.00	o 161
59.13	c   trying 160: vc 
59.13	o 160
59.28	c   trying 159: vc 
59.28	o 159
59.45	c   trying 158: vc 
59.45	o 158
59.58	c   trying 157: vc 
59.58	o 157
59.72	c   trying 156: vc 
59.72	o 156
59.85	c   trying 155: vc 
59.85	o 155
60.01	c   trying 154: vc 
60.01	o 154
60.15	c   trying 153: vc 
60.15	o 153
60.31	c   trying 152: vc 
60.31	o 152
60.58	c   trying 151: vc 
60.58	o 151
60.76	c   trying 150: vc 
60.76	o 150
60.98	c   trying 149: vc 
60.98	o 149
61.39	c   trying 148: vc 
61.39	o 148
61.78	c   trying 147: vc 
61.78	o 147
62.25	c   trying 146: vc 
62.25	o 146
62.56	c   trying 145: vc 
62.56	o 145
63.85	c   trying 144: vc 
63.85	o 144
64.95	c   trying 143: vc 
64.95	o 143
66.80	c   trying 142: vc 
66.80	o 142
67.65	c   trying 141: vc 
67.65	o 141
70.97	c   trying 140: vc 
70.97	o 140
98.02	c   trying 139: vc 
98.02	o 139
157.95	c   trying 138: vc 
157.95	o 138
797.80	c   trying 137: xxxxxxxxxxc 
797.80	c Phase 3 ...
1679.55	c   trying 137 again: vc 
1679.55	o 137
1801.23	c   trying 136 again: xc 
1801.23	s SATISFIABLE
1801.24	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
1801.24	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 -x55
1801.24	v -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1801.24	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1801.24	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126
1801.24	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147
1801.24	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168
1801.24	v -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1801.24	v -x190 -x191 -x192 -x193 x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210
1801.24	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1801.24	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1801.24	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1801.24	v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294
1801.24	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1801.24	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1801.24	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357
1801.24	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1801.24	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1801.24	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1801.24	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1801.24	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1801.24	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1801.24	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1801.24	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 -x525
1801.24	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1801.24	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1801.24	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1801.24	v -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1801.24	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1801.24	v -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1801.24	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1801.24	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1801.24	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1801.24	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1801.24	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1801.24	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777
1801.24	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1801.24	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1801.24	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1801.24	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1801.24	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1801.24	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1801.24	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1801.24	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1801.24	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966
1801.24	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1801.24	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1801.24	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1801.24	v x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1801.24	v -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1801.24	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1801.24	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092
1801.24	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1801.24	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1801.24	v -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1801.24	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161
1801.24	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1801.24	v -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1801.24	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1801.24	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1801.24	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1801.24	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1801.24	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1801.24	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298
1801.24	v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1801.24	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
1801.24	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 x1347 -x1348 -x1349 -x1350
1801.24	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1801.24	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384
1801.24	v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
1801.24	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1801.24	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435
1801.24	v -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453
1801.24	v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470
1801.24	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
1801.24	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504
1801.24	v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521
1801.24	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538
1801.24	v -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556
1801.24	v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573
1801.24	v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590
1801.24	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1801.24	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
1801.24	v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641
1801.24	v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1801.24	v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675
1801.24	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1801.24	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
1801.24	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1801.24	v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743
1801.24	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1801.24	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1801.24	v x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
1801.24	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
1801.24	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1801.24	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845
1801.24	v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
1801.24	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879
1801.24	v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896
1801.24	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913
1801.24	v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
1801.24	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
1801.24	v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
1801.24	v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981
1801.24	v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998
1801.24	v -x1999 -x2000 -x2001 x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016
1801.24	v -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
1801.24	v x2034 x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1801.24	v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068
1801.24	v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1801.24	v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102
1801.24	v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119
1801.24	v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136
1801.24	v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153
1801.24	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
1801.24	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187
1801.24	v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204
1801.24	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221
1801.24	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1801.24	v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 x2253 -x2254 -x2255 -x2256
1801.24	v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273
1801.24	v -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
1801.24	v -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307
1801.24	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
1801.24	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341
1801.24	v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
1801.24	v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375
1801.24	v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392
1801.24	v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409
1801.24	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1801.24	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
1801.24	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460
1801.24	v -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477
1801.24	v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494
1801.24	v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511
1801.24	v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528
1801.24	v -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545
1801.24	v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562
1801.24	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579
1801.24	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1801.24	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1801.24	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630
1801.24	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1801.24	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1801.24	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1801.24	v x2682 -x2683 x2684 -x2685 x2686 x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1801.24	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1801.24	v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733
1801.24	v -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
1801.24	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767
1801.24	v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784
1801.24	v -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802
1801.24	v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1801.24	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837
1801.24	v -x2838 x2839 -x2840 -x2841 -x2842 x2843 x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1801.24	v -x2856 -x2857 -x2858 x2859 -x2860 x2861 x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873
1801.24	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1801.24	v x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
1801.24	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924
1801.24	v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
1801.24	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1801.24	v -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975
1801.24	v x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 x2990 x2991 x2992 -x2993
1801.24	v x2994 -x2995 -x2996 x2997 x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1801.24	v -x3012 x3013 x3014 x3015 -x3016 -x3017 -x3018 -x3019 x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029
1801.24	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046
1801.24	v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063
1801.24	v -x3064 x3065 x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081
1801.24	v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098
1801.24	c Total Number of Positive Atoms : 137
1801.24	c 
1801.24	c During searching:         1679.15 seconds elapsed.
1801.24	c CPU time spent:           1678.97 seconds.
1801.24	c 
1801.24	c =================================== END =====================================
1801.24	c

Verifier Data (download as text)

OK	137

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node55/watcher-49421-1154086121 -o ROOT/results/node55/solver-49421-1154086121 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node55/49421-1154086121/instance-49421-1154086121.opb 145854180 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1510600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=6000 CPUtime=0
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 155482173 6144000 139 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 1500 139 105 226 0 1271 0

[startup+10.0022 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504336/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=10
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 999 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 12040

[startup+20.0092 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504536/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=20
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 1999 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565852 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 12040

[startup+30.0152 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=30
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 2999 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 12040

[startup+40.0212 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=40.01
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 4000 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598308 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 12040

[startup+50.0272 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=50.01
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 5000 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 12040

[startup+60.0332 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=60.01
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 6000 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 12040

[startup+70.0392 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=70.01
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 7000 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598346 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 12040

[startup+80.0462 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=80.02
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 8001 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 12040

[startup+90.0511 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=90.02
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 9001 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 12040

[startup+100.057 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=100.02
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 10001 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598390 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 12040

[startup+110.063 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=110.03
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 11002 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565808 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 12040

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=120.03
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 12002 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 12040

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=130.04
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 13003 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598385 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 12040

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=140.04
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 14003 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 12040

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=150.04
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 15003 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 12040

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=160.05
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 16004 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603875 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 12040

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=170.05
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 17004 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 12040

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=180.05
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 18004 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 12040

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=190.06
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 19005 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 12040

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451
/proc/meminfo: memFree=1504664/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=200.06
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 20005 1 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 12040

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 29451

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

/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178166 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (Kb) 12040

[startup+1783.14 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1782.69
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178266 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1782.69
Current children cumulated vsize (Kb) 12040

[startup+1784.15 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1783.7
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178367 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1783.7
Current children cumulated vsize (Kb) 12040

[startup+1785.15 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1784.7
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178467 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1784.7
Current children cumulated vsize (Kb) 12040

[startup+1786.16 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1785.71
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178568 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598988 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1785.71
Current children cumulated vsize (Kb) 12040

[startup+1787.16 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1786.71
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178668 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1786.71
Current children cumulated vsize (Kb) 12040

[startup+1788.17 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1787.72
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178769 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1787.72
Current children cumulated vsize (Kb) 12040

[startup+1789.17 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1788.72
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178869 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565722 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (Kb) 12040

[startup+1790.18 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1789.73
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 178970 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598381 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1789.73
Current children cumulated vsize (Kb) 12040

[startup+1791.18 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1790.73
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179070 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1790.73
Current children cumulated vsize (Kb) 12040

[startup+1792.19 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1791.74
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179171 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1791.74
Current children cumulated vsize (Kb) 12040

[startup+1793.19 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1792.74
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179271 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598355 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1792.74
Current children cumulated vsize (Kb) 12040

[startup+1794.2 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1793.74
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179371 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134516921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (Kb) 12040

[startup+1795.2 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1794.75
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179472 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (Kb) 12040

[startup+1796.21 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1795.75
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179572 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1795.75
Current children cumulated vsize (Kb) 12040

[startup+1797.21 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1796.76
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179673 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598346 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (Kb) 12040

[startup+1798.22 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1797.76
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179773 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599001 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (Kb) 12040

[startup+1799.22 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1798.77
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179874 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (Kb) 12040

[startup+1800.23 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1799.77
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 179974 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (Kb) 12040

[startup+1801.23 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1800.78
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 180075 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (Kb) 12040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.23 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 29453
/proc/meminfo: memFree=1504600/2055920 swapFree=4182936/4192956
[pid=29451] ppid=29449 vsize=12040 CPUtime=1800.78
/proc/29451/stat : 29451 (wildcat-skc) R 29449 29451 29402 0 -1 4194304 1705 0 0 0 180075 3 0 0 25 0 1 0 155482173 12328960 1680 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598332 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29451/statm: 3010 1680 115 226 0 2781 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (Kb) 12040

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

Child status: 0
Real time (s): 1801.25
CPU time (s): 1800.79
CPU user time (s): 1800.76
CPU system time (s): 0.031995
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (Kb): 12040
The end

Launcher Data (download as text)

Begin job on node55 on Fri Jul 28 11:28:42 UTC 2006


FILE ID= 49421-1154086121

PBS_JOBID= 885335

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node55/49421-1154086121/instance-49421-1154086121.opb 145854180
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-49421-1154086121 -o ROOT/results/node55/solver-49421-1154086121 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node55/49421-1154086121/instance-49421-1154086121.opb 145854180

MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d
MD5SUM BENCH=  06ffce7cc6d5515cfd76def90ae69d59

RANDOM SEED= 145854180

TIMEOUT= 1800 seconds


/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.216
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.216
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:       1510808 kB
Buffers:         34336 kB
Cached:         442632 kB
SwapCached:       3928 kB
Active:          50040 kB
Inactive:       435704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1510808 kB
SwapTotal:     4192956 kB
SwapFree:      4182936 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14692 kB
Slab:            45448 kB
Committed_AS:   628564 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node55 on Fri Jul 28 11:58:43 UTC 2006