Trace number 3703638

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)-48 1800.17 900.495

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
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 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703638-1338091693.opb.
0.00/0.00	c Instance file HOME/instance-3703638-1338091693.opb
0.00/0.00	c File size is 2294904 bytes.
0.09/0.16	c Cost Offset: -1272
0.09/0.16	c Highest Coefficient sum: 3
0.09/0.17	c ============================[ Problem Statistics ]=============================
0.09/0.17	c |                                                                             |
0.09/0.17	c |  Parsing time:          0.17         s                                      |
0.09/0.17	c |  Number Variables:      1272                                                |
0.09/0.17	c |  Number Clauses:        94226                                               |
0.09/0.17	c |  Number Cardinality:    0                                                   |
0.09/0.17	c |  Number PB Constraints: 0                                                   |
0.09/0.17	c |                                                                             |
0.21/0.22	c |  Problem Type:          Optimization                                        |
0.21/0.22	c |  Objective Function:    Cardinality Constraint                              |
0.21/0.22	c |                                                                             |
0.21/0.22	c ===============================================================================
1800.17/900.41	o -36
1800.17/900.41	o -37
1800.17/900.41	o -38
1800.17/900.41	o -39
1800.17/900.41	o -40
1800.17/900.41	o -41
1800.17/900.41	o -42
1800.17/900.41	o -43
1800.17/900.41	o -44
1800.17/900.41	o -45
1800.17/900.41	o -46
1800.17/900.41	o -47
1800.17/900.41	o -48
1800.17/900.41	c ===============================================================================
1800.17/900.41	c Wall Clock Time: 900.41 s
1800.17/900.41	c Best Solution: -48
1800.17/900.41	s SATISFIABLE
1800.17/900.41	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-48

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703638-1338091693/watcher-3703638-1338091693 -o /tmp/evaluation-result-3703638-1338091693/solver-3703638-1338091693 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703638-1338091693.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18704
/proc/meminfo: memFree=31259868/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=6716 CPUtime=0 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) R 18702 18704 18125 0 -1 4202496 443 0 0 0 0 0 0 0 20 0 1 0 275293825 6877184 395 33554432000 4194304 5965102 140733628550464 140736343092840 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 1679 395 165 433 0 682 0

[startup+0.042467 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18704
/proc/meminfo: memFree=31259868/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=10212 CPUtime=0.03 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) R 18702 18704 18125 0 -1 4202496 1397 0 0 0 3 0 0 0 20 0 1 0 275293825 10457088 1349 33554432000 4194304 5965102 140733628550464 140736343092840 4350459 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 2553 1350 285 433 0 1556 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10212

[startup+0.100294 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18704
/proc/meminfo: memFree=31259868/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=15360 CPUtime=0.09 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) R 18702 18704 18125 0 -1 4202496 2946 0 0 0 9 0 0 0 20 0 1 0 275293825 15728640 2832 33554432000 4194304 5965102 140733628550464 140736343092840 4351139 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 3840 2833 479 433 0 2843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15360

[startup+0.30017 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18704
/proc/meminfo: memFree=31259868/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=0.4 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 19047 0 0 0 35 5 0 0 20 0 3 0 275293825 194609152 17870 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 17870 203 433 0 47076 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 190048

[startup+0.700171 s]
/proc/loadavg: 3.84 3.97 3.91 4/178 18704
/proc/meminfo: memFree=31259868/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=1.2 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 21250 0 0 0 114 6 0 0 20 0 3 0 275293825 194609152 18496 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 18496 204 433 0 47076 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 190048

[startup+1.50031 s]
/proc/loadavg: 3.84 3.97 3.91 5/181 18707
/proc/meminfo: memFree=31187164/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=2.8 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 22465 0 0 0 274 6 0 0 20 0 3 0 275293825 194609152 18297 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 18297 205 433 0 47076 0
[pid=18704/tid=18706] ppid=18702 vsize=190048 CPUtime=1.3 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 9138 0 0 0 127 3 0 0 20 0 3 0 275293842 194609152 18297 33554432000 4194304 5965102 140733628550464 140652601739800 5139761 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=190048 CPUtime=1.31 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 7970 0 0 0 128 3 0 0 20 0 3 0 275293842 194609152 18297 33554432000 4194304 5965102 140733628550464 140652591249528 4388979 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 190048

[startup+3.10034 s]
/proc/loadavg: 3.84 3.97 3.91 5/181 18707
/proc/meminfo: memFree=31186272/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=5.99 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 22599 0 0 0 593 6 0 0 20 0 3 0 275293825 194609152 18431 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 18431 205 433 0 47076 0
[pid=18704/tid=18706] ppid=18702 vsize=190048 CPUtime=2.9 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 9225 0 0 0 287 3 0 0 20 0 3 0 275293842 194609152 18431 33554432000 4194304 5965102 140733628550464 140652601739800 5134447 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=190048 CPUtime=2.91 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 8017 0 0 0 288 3 0 0 20 0 3 0 275293842 194609152 18431 33554432000 4194304 5965102 140733628550464 140652591249864 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 190048

[startup+6.30029 s]
/proc/loadavg: 3.86 3.97 3.91 5/181 18707
/proc/meminfo: memFree=31184164/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=12.39 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 22959 0 0 0 1233 6 0 0 20 0 3 0 275293825 194609152 18791 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 18791 205 433 0 47076 0
[pid=18704/tid=18706] ppid=18702 vsize=190048 CPUtime=6.09 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 9519 0 0 0 606 3 0 0 20 0 3 0 275293842 194609152 18791 33554432000 4194304 5965102 140733628550464 140652601739800 4421095 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=190048 CPUtime=6.1 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 8083 0 0 0 607 3 0 0 20 0 3 0 275293842 194609152 18791 33554432000 4194304 5965102 140733628550464 140652591249720 4401177 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 190048

[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.91 5/181 18707
/proc/meminfo: memFree=31165752/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=25.19 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 23978 0 0 0 2512 7 0 0 20 0 3 0 275293825 194609152 19810 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 19810 205 433 0 47076 0
[pid=18704/tid=18706] ppid=18702 vsize=190048 CPUtime=12.47 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 10232 0 0 0 1244 3 0 0 20 0 3 0 275293842 194609152 19810 33554432000 4194304 5965102 140733628550464 140652601739720 5139822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=190048 CPUtime=12.48 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 8389 0 0 0 1245 3 0 0 20 0 3 0 275293842 194609152 19810 33554432000 4194304 5965102 140733628550464 140652591249768 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 190048

[startup+25.5003 s]
/proc/loadavg: 3.90 3.97 3.91 5/181 18707
/proc/meminfo: memFree=31071496/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=190048 CPUtime=50.78 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 48641 0 0 0 5060 18 0 0 20 0 3 0 275293825 194609152 29963 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 47512 29963 205 433 0 47076 0
[pid=18704/tid=18706] ppid=18702 vsize=190048 CPUtime=25.24 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 26571 0 0 0 2517 7 0 0 20 0 3 0 275293842 194609152 29963 33554432000 4194304 5965102 140733628550464 140652601739800 4446421 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=190048 CPUtime=25.24 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 16713 0 0 0 2514 10 0 0 20 0 3 0 275293842 194609152 29963 33554432000 4194304 5965102 140733628550464 140652591249768 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 190048

[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.91 5/181 18707
/proc/meminfo: memFree=30888192/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=321120 CPUtime=101.97 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 82947 0 0 0 10146 51 0 0 20 0 3 0 275293825 328826880 52317 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 80280 52317 206 433 0 79844 0
[pid=18704/tid=18706] ppid=18702 vsize=321120 CPUtime=50.77 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 40813 0 0 0 5066 11 0 0 20 0 3 0 275293842 328826880 52317 33554432000 4194304 5965102 140733628550464 140652601739800 5134981 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=321120 CPUtime=50.78 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 36777 0 0 0 5039 39 0 0 20 0 3 0 275293842 328826880 52317 33554432000 4194304 5965102 140733628550464 140652591249720 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 321120

[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.91 5/181 18707
/proc/meminfo: memFree=30563604/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=453816 CPUtime=204.37 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 118525 0 0 0 20332 105 0 0 20 0 3 0 275293825 464707584 87089 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 113454 87089 206 433 0 113018 0
[pid=18704/tid=18706] ppid=18702 vsize=453816 CPUtime=101.84 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 50551 0 0 0 10167 17 0 0 20 0 3 0 275293842 464707584 87089 33554432000 4194304 5965102 140733628550464 140652601739128 4401556 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=453816 CPUtime=101.85 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 62617 0 0 0 10096 89 0 0 20 0 3 0 275293842 464707584 87089 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.37
Current children cumulated vsize (KiB) 453816

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18710
/proc/meminfo: memFree=30352840/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=519752 CPUtime=324.3 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 132001 0 0 0 32306 124 0 0 20 0 3 0 275293825 532226048 101716 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 129938 101716 206 433 0 129502 0
[pid=18704/tid=18706] ppid=18702 vsize=519752 CPUtime=161.67 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 56080 0 0 0 16145 22 0 0 20 0 3 0 275293842 532226048 101716 33554432000 4194304 5965102 140733628550464 140652601739064 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=519752 CPUtime=161.67 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 70564 0 0 0 16063 104 0 0 20 0 3 0 275293842 532226048 101716 33554432000 4194304 5965102 140733628550464 140652591249480 4401559 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.3
Current children cumulated vsize (KiB) 519752

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 18710
/proc/meminfo: memFree=30093840/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=586096 CPUtime=444.24 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 166111 0 0 0 44246 178 0 0 20 0 3 0 275293825 600162304 133435 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 146524 133435 206 433 0 146088 0
[pid=18704/tid=18706] ppid=18702 vsize=586096 CPUtime=221.51 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 61138 0 0 0 22125 26 0 0 20 0 3 0 275293842 600162304 133435 33554432000 4194304 5965102 140733628550464 140652601739256 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=586096 CPUtime=221.47 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 99616 0 0 0 21990 157 0 0 20 0 3 0 275293842 600162304 133435 33554432000 4194304 5965102 140733628550464 140652591249720 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.24
Current children cumulated vsize (KiB) 586096

[startup+282.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/180 18711
/proc/meminfo: memFree=29822068/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=783404 CPUtime=564.2 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 204735 0 0 0 56176 244 0 0 20 0 3 0 275293825 802205696 171836 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 195851 171836 206 433 0 195415 0
[pid=18704/tid=18706] ppid=18702 vsize=783404 CPUtime=281.36 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 68423 0 0 0 28105 31 0 0 20 0 3 0 275293842 802205696 171836 33554432000 4194304 5965102 140733628550464 140652601739800 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=783404 CPUtime=281.28 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 130955 0 0 0 27908 220 0 0 20 0 3 0 275293842 802205696 171836 33554432000 4194304 5965102 140733628550464 140652591249720 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.2
Current children cumulated vsize (KiB) 783404

[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 18712
/proc/meminfo: memFree=29582892/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=915844 CPUtime=684.14 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 232465 0 0 0 68119 295 0 0 20 0 3 0 275293825 937824256 199446 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 228961 199446 206 433 0 228525 0
[pid=18704/tid=18706] ppid=18702 vsize=915844 CPUtime=341.18 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 68932 0 0 0 34086 32 0 0 20 0 3 0 275293842 937824256 199446 33554432000 4194304 5965102 140733628550464 140652601740104 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=915844 CPUtime=341.1 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 158176 0 0 0 33839 271 0 0 20 0 3 0 275293842 937824256 199446 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.14
Current children cumulated vsize (KiB) 915844

[startup+402.3 s]
/proc/loadavg: 4.05 4.00 3.92 5/181 18712
/proc/meminfo: memFree=29400752/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=981784 CPUtime=804.11 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 259266 0 0 0 80081 330 0 0 20 0 3 0 275293825 1005346816 227232 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 245446 227232 206 433 0 245010 0
[pid=18704/tid=18706] ppid=18702 vsize=981784 CPUtime=401.03 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 70610 0 0 0 40069 34 0 0 20 0 3 0 275293842 1005346816 227232 33554432000 4194304 5965102 140733628550464 140652601739672 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=981784 CPUtime=400.95 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 183299 0 0 0 39788 307 0 0 20 0 3 0 275293842 1005346816 227232 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.11
Current children cumulated vsize (KiB) 981784

[startup+462.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 18712
/proc/meminfo: memFree=29293644/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1113472 CPUtime=924.09 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 280724 0 0 0 92039 370 0 0 20 0 3 0 275293825 1140195328 248690 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 278368 248690 206 433 0 277932 0
[pid=18704/tid=18706] ppid=18702 vsize=1113472 CPUtime=460.87 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 70631 0 0 0 46052 35 0 0 20 0 3 0 275293842 1140195328 248690 33554432000 4194304 5965102 140733628550464 140652601739672 4393813 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1113472 CPUtime=460.79 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 204736 0 0 0 45732 347 0 0 20 0 3 0 275293842 1140195328 248690 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.09
Current children cumulated vsize (KiB) 1113472

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18712
/proc/meminfo: memFree=29207928/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1180656 CPUtime=1044.08 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 301887 0 0 0 103996 412 0 0 20 0 3 0 275293825 1208991744 269853 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 295164 269853 206 433 0 294728 0
[pid=18704/tid=18706] ppid=18702 vsize=1180656 CPUtime=520.72 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 70755 0 0 0 52037 35 0 0 20 0 3 0 275293842 1208991744 269853 33554432000 4194304 5965102 140733628550464 140652601739672 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1180656 CPUtime=520.64 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 225775 0 0 0 51674 390 0 0 20 0 3 0 275293842 1208991744 269853 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.08
Current children cumulated vsize (KiB) 1180656

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18713
/proc/meminfo: memFree=29100696/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1246516 CPUtime=1164.06 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 328394 0 0 0 115949 457 0 0 20 0 3 0 275293825 1276432384 296360 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 311629 296360 206 433 0 311193 0
[pid=18704/tid=18706] ppid=18702 vsize=1246516 CPUtime=580.56 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 78471 0 0 0 58012 44 0 0 20 0 3 0 275293842 1276432384 296360 33554432000 4194304 5965102 140733628550464 140652601739256 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1246516 CPUtime=580.49 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 244566 0 0 0 57623 426 0 0 20 0 3 0 275293842 1276432384 296360 33554432000 4194304 5965102 140733628550464 140652591249720 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.06
Current children cumulated vsize (KiB) 1246516

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18713
/proc/meminfo: memFree=28988752/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1379500 CPUtime=1284.05 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 353497 0 0 0 127902 503 0 0 20 0 3 0 275293825 1412608000 321463 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 344875 321463 206 433 0 344439 0
[pid=18704/tid=18706] ppid=18702 vsize=1379500 CPUtime=640.42 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 84632 0 0 0 63990 52 0 0 20 0 3 0 275293842 1412608000 321463 33554432000 4194304 5965102 140733628550464 140652601739064 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1379500 CPUtime=640.34 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 263508 0 0 0 63567 467 0 0 20 0 3 0 275293842 1412608000 321463 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.05
Current children cumulated vsize (KiB) 1379500

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18713
/proc/meminfo: memFree=28801416/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1445344 CPUtime=1404.02 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 371203 0 0 0 139870 532 0 0 20 0 3 0 275293825 1480032256 339169 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 361336 339169 206 433 0 360900 0
[pid=18704/tid=18706] ppid=18702 vsize=1445344 CPUtime=700.26 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 85224 0 0 0 69973 53 0 0 20 0 3 0 275293842 1480032256 339169 33554432000 4194304 5965102 140733628550464 140652601739064 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1445344 CPUtime=700.18 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 280622 0 0 0 69522 496 0 0 20 0 3 0 275293842 1480032256 339169 33554432000 4194304 5965102 140733628550464 140652591249720 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.02
Current children cumulated vsize (KiB) 1445344

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 18716
/proc/meminfo: memFree=28605516/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1511160 CPUtime=1524.01 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 389186 0 0 0 151847 554 0 0 20 0 3 0 275293825 1547427840 357149 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 377790 357149 206 433 0 377354 0
[pid=18704/tid=18706] ppid=18702 vsize=1511160 CPUtime=760.11 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 86382 0 0 0 75956 55 0 0 20 0 3 0 275293842 1547427840 357149 33554432000 4194304 5965102 140733628550464 140652601739064 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1511160 CPUtime=760.03 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 297447 0 0 0 75484 519 0 0 20 0 3 0 275293842 1547427840 357149 33554432000 4194304 5965102 140733628550464 140652591249720 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.01
Current children cumulated vsize (KiB) 1511160

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18716
/proc/meminfo: memFree=28501516/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1509536 CPUtime=1643.98 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 389733 0 0 0 163843 555 0 0 20 0 3 0 275293825 1545764864 357375 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 377384 357375 206 433 0 376948 0
[pid=18704/tid=18706] ppid=18702 vsize=1509536 CPUtime=819.95 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 86913 0 0 0 81939 56 0 0 20 0 3 0 275293842 1545764864 357375 33554432000 4194304 5965102 140733628550464 140652601740216 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1509536 CPUtime=819.87 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 297463 0 0 0 81467 520 0 0 20 0 3 0 275293842 1545764864 357375 33554432000 4194304 5965102 140733628550464 140652591249720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.98
Current children cumulated vsize (KiB) 1509536

[startup+882.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/181 18716
/proc/meminfo: memFree=28385420/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1509832 CPUtime=1763.96 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 389815 0 0 0 175841 555 0 0 20 0 3 0 275293825 1546067968 357457 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 377458 357457 206 433 0 377022 0
[pid=18704/tid=18706] ppid=18702 vsize=1509832 CPUtime=879.8 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 86955 0 0 0 87922 58 0 0 20 0 3 0 275293842 1546067968 357457 33554432000 4194304 5965102 140733628550464 140652601740216 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1509832 CPUtime=879.72 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 297503 0 0 0 87451 521 0 0 20 0 3 0 275293842 1546067968 357457 33554432000 4194304 5965102 140733628550464 140652591249480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.96
Current children cumulated vsize (KiB) 1509832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.06 4.01 3.93 3/177 18718
/proc/meminfo: memFree=29898572/32873844 swapFree=6080/6080
[pid=18704] ppid=18702 vsize=1509832 CPUtime=1800.17 cores=1,3,5,7
/proc/18704/stat : 18704 (pwbo2.0) S 18702 18704 18125 0 -1 4202496 389855 0 0 0 179462 555 0 0 20 0 3 0 275293825 1546067968 357497 33554432000 4194304 5965102 140733628550464 140733628549984 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18704/statm: 377458 357497 206 433 0 377022 0
[pid=18704/tid=18706] ppid=18702 vsize=1509832 CPUtime=897.86 cores=1,3,5,7
/proc/18704/task/18706/stat : 18706 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 86977 0 0 0 89728 58 0 0 20 0 3 0 275293842 1546067968 357497 33554432000 4194304 5965102 140733628550464 140652601740216 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1509832 CPUtime=897.78 cores=1,3,5,7
/proc/18704/task/18707/stat : 18707 (pwbo2.0) R 18702 18704 18125 0 -1 4202560 297521 0 0 0 89257 521 0 0 20 0 3 0 275293842 1546067968 357497 33554432000 4194304 5965102 140733628550464 140652591249480 4389386 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1509832

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18704 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=16876
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=898103
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.495
CPU time (s): 1800.17
CPU user time (s): 1794.62
CPU system time (s): 5.55
CPU usage (%): 199.909
Max. virtual memory (cumulated for all children) (KiB): 1511160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.02
system time used= 5.8981
maximum resident set size= 1430540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2243
involuntary context switches= 1925

runsolver used 2.12068 second user time and 5.05623 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-27 06:08:13
IDJOB=3703638
IDBENCH=2258
IDSOLVER=2279
FILE ID=node139/3703638-1338091693
RUNJOBID= node139-1338087173-18142
PBS_JOBID= 14624436
Free space on /tmp= 71652 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703638-1338091693/watcher-3703638-1338091693 -o /tmp/evaluation-result-3703638-1338091693/solver-3703638-1338091693 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703638-1338091693.opb

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

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=1359009009

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31260256 kB
Buffers:          294676 kB
Cached:           408808 kB
SwapCached:          284 kB
Active:           667448 kB
Inactive:         117952 kB
Active(anon):      76208 kB
Inactive(anon):     8052 kB
Active(file):     591240 kB
Inactive(file):   109900 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67106400 kB
Dirty:             15700 kB
Writeback:             0 kB
AnonPages:         87540 kB
Mapped:            12584 kB
Shmem:                 8 kB
Slab:             688892 kB
SReclaimable:     130960 kB
SUnreclaim:       557932 kB
KernelStack:        1472 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     182184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node139 at 2012-05-27 06:23:15