Trace number 3703704

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)73 1800.44 900.337

General information on the benchmark

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

Verifier Data

OK	73

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-3703704-1338093398/watcher-3703704-1338093398 -o /tmp/evaluation-result-3703704-1338093398/solver-3703704-1338093398 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703704-1338093398.opb 

running on 4 cores: 0,2,4,6

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.68 3.93 3.93 3/178 20935
/proc/meminfo: memFree=28384800/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=4692 CPUtime=0 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) R 20933 20935 20135 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 1 0 275465218 4804608 365 33554432000 4194304 5965102 140734209631392 140734887979912 4420666 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 1173 366 169 433 0 649 0

[startup+0.0822601 s]
/proc/loadavg: 3.68 3.93 3.93 3/178 20935
/proc/meminfo: memFree=28384800/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=173728 CPUtime=0.12 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 6137 0 0 0 11 1 0 0 20 0 3 0 275465218 177897472 5935 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43432 5936 205 433 0 42996 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 173728

[startup+0.100354 s]
/proc/loadavg: 3.68 3.93 3.93 3/178 20935
/proc/meminfo: memFree=28384800/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=173928 CPUtime=0.16 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 6171 0 0 0 15 1 0 0 20 0 3 0 275465218 178102272 5969 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43482 5969 205 433 0 43046 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 173928

[startup+0.300278 s]
/proc/loadavg: 3.68 3.93 3.93 3/178 20935
/proc/meminfo: memFree=28384800/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=173928 CPUtime=0.55 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 6514 0 0 0 54 1 0 0 20 0 3 0 275465218 178102272 6311 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43482 6312 207 433 0 43046 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 173928

[startup+0.700227 s]
/proc/loadavg: 3.68 3.93 3.93 3/178 20935
/proc/meminfo: memFree=28384800/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=173928 CPUtime=1.36 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 6804 0 0 0 134 2 0 0 20 0 3 0 275465218 178102272 6601 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43482 6601 207 433 0 43046 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 173928

[startup+1.50028 s]
/proc/loadavg: 3.68 3.93 3.93 5/181 20938
/proc/meminfo: memFree=28353108/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=174072 CPUtime=2.95 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 8113 0 0 0 293 2 0 0 20 0 3 0 275465218 178249728 7910 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43518 7910 207 433 0 43082 0
[pid=20935/tid=20937] ppid=20933 vsize=174072 CPUtime=1.45 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 2238 0 0 0 144 1 0 0 20 0 3 0 275465221 178249728 7910 33554432000 4194304 5965102 140734209631392 139898396993576 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=174072 CPUtime=1.45 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 4694 0 0 0 144 1 0 0 20 0 3 0 275465221 178249728 7910 33554432000 4194304 5965102 140734209631392 139898386504040 4393852 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 174072

[startup+3.10023 s]
/proc/loadavg: 3.68 3.93 3.93 5/181 20938
/proc/meminfo: memFree=28339344/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=173928 CPUtime=6.16 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 9090 0 0 0 613 3 0 0 20 0 3 0 275465218 178102272 8861 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43482 8861 207 433 0 43046 0
[pid=20935/tid=20937] ppid=20933 vsize=173928 CPUtime=3.05 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 3079 0 0 0 303 2 0 0 20 0 3 0 275465221 178102272 8861 33554432000 4194304 5965102 140734209631392 139898396994488 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=173928 CPUtime=3.06 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 4830 0 0 0 304 2 0 0 20 0 3 0 275465221 178102272 8861 33554432000 4194304 5965102 140734209631392 139898386503992 4401619 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 173928

[startup+6.30021 s]
/proc/loadavg: 3.71 3.93 3.93 5/181 20938
/proc/meminfo: memFree=28323748/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=173928 CPUtime=12.56 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 10443 0 0 0 1252 4 0 0 20 0 3 0 275465218 178102272 10214 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43482 10214 207 433 0 43046 0
[pid=20935/tid=20937] ppid=20933 vsize=173928 CPUtime=6.25 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 4083 0 0 0 623 2 0 0 20 0 3 0 275465221 178102272 10214 33554432000 4194304 5965102 140734209631392 139898396993880 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=173928 CPUtime=6.25 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 5179 0 0 0 623 2 0 0 20 0 3 0 275465221 178102272 10214 33554432000 4194304 5965102 140734209631392 139898386503928 4401611 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 173928

[startup+12.7003 s]
/proc/loadavg: 3.73 3.94 3.93 5/181 20938
/proc/meminfo: memFree=28285356/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=174252 CPUtime=25.35 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 16168 0 0 0 2528 7 0 0 20 0 3 0 275465218 178434048 15939 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43563 15939 207 433 0 43127 0
[pid=20935/tid=20937] ppid=20933 vsize=174252 CPUtime=12.66 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 8981 0 0 0 1261 5 0 0 20 0 3 0 275465221 178434048 15939 33554432000 4194304 5965102 140734209631392 139898396993528 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=174252 CPUtime=12.65 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 6006 0 0 0 1262 3 0 0 20 0 3 0 275465221 178434048 15939 33554432000 4194304 5965102 140734209631392 139898386503992 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 174252

[startup+25.5004 s]
/proc/loadavg: 3.79 3.94 3.93 5/181 20938
/proc/meminfo: memFree=28228632/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=174736 CPUtime=50.94 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 24440 0 0 0 5083 11 0 0 20 0 3 0 275465218 178929664 24211 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 43684 24211 207 433 0 43248 0
[pid=20935/tid=20937] ppid=20933 vsize=174736 CPUtime=25.45 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 15044 0 0 0 2537 8 0 0 20 0 3 0 275465221 178929664 24211 33554432000 4194304 5965102 140734209631392 139898396993336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=174736 CPUtime=25.45 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 8215 0 0 0 2541 4 0 0 20 0 3 0 275465221 178929664 24211 33554432000 4194304 5965102 140734209631392 139898386503992 4410260 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 174736

[startup+51.1003 s]
/proc/loadavg: 3.86 3.94 3.93 5/181 20938
/proc/meminfo: memFree=28159904/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=240332 CPUtime=102.14 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 33664 0 0 0 10196 18 0 0 20 0 3 0 275465218 246099968 33337 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 60083 33337 207 433 0 59647 0
[pid=20935/tid=20937] ppid=20933 vsize=240332 CPUtime=51.05 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 20345 0 0 0 5095 10 0 0 20 0 3 0 275465221 246099968 33337 33554432000 4194304 5965102 140734209631392 139898396994488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=240332 CPUtime=51.05 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 12138 0 0 0 5096 9 0 0 20 0 3 0 275465221 246099968 33337 33554432000 4194304 5965102 140734209631392 139898386503992 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 240332

[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.93 5/181 20938
/proc/meminfo: memFree=28019332/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=307592 CPUtime=204.5 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 54508 0 0 0 20417 33 0 0 20 0 3 0 275465218 314974208 54336 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 76898 54336 207 433 0 76462 0
[pid=20935/tid=20937] ppid=20933 vsize=307592 CPUtime=102.24 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 31741 0 0 0 10206 18 0 0 20 0 3 0 275465221 314974208 54336 33554432000 4194304 5965102 140734209631392 139898396993336 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=307592 CPUtime=102.25 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 21586 0 0 0 10207 18 0 0 20 0 3 0 275465221 314974208 54336 33554432000 4194304 5965102 140734209631392 139898386503992 4393958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 307592

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.93 5/181 20938
/proc/meminfo: memFree=27849732/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=373532 CPUtime=324.43 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 78338 0 0 0 32391 52 0 0 20 0 3 0 275465218 382496768 78240 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 93383 78240 207 433 0 92947 0
[pid=20935/tid=20937] ppid=20933 vsize=373532 CPUtime=162.21 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 43742 0 0 0 16195 26 0 0 20 0 3 0 275465221 382496768 78240 33554432000 4194304 5965102 140734209631392 139898396993336 4392397 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=373532 CPUtime=162.24 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 33415 0 0 0 16192 32 0 0 20 0 3 0 275465221 382496768 78240 33554432000 4194304 5965102 140734209631392 139898386503992 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 373532

[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.93 5/182 20942
/proc/meminfo: memFree=27647648/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=505504 CPUtime=444.4 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 104855 0 0 0 44367 73 0 0 20 0 3 0 275465218 517636096 105936 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 126376 105936 207 433 0 125940 0
[pid=20935/tid=20937] ppid=20933 vsize=505504 CPUtime=222.21 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 63709 0 0 0 22181 40 0 0 20 0 3 0 275465221 517636096 105936 33554432000 4194304 5965102 140734209631392 139898396993336 4220675 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=505504 CPUtime=222.22 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 39965 0 0 0 22182 40 0 0 20 0 3 0 275465221 517636096 105936 33554432000 4194304 5965102 140734209631392 139898386503992 4393958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.4
Current children cumulated vsize (KiB) 505504

[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.93 5/181 20942
/proc/meminfo: memFree=27626360/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=571172 CPUtime=564.38 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 109992 0 0 0 56363 75 0 0 20 0 3 0 275465218 584880128 111073 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 142793 111073 207 433 0 142357 0
[pid=20935/tid=20937] ppid=20933 vsize=571172 CPUtime=282.21 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 68824 0 0 0 28178 43 0 0 20 0 3 0 275465221 584880128 111073 33554432000 4194304 5965102 140734209631392 139898396993528 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=571172 CPUtime=282.22 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 39987 0 0 0 28181 41 0 0 20 0 3 0 275465221 584880128 111073 33554432000 4194304 5965102 140734209631392 139898386503752 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 571172

[startup+342.3 s]
/proc/loadavg: 4.03 3.98 3.93 5/181 20942
/proc/meminfo: memFree=27547428/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=636848 CPUtime=684.36 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 128426 0 0 0 68350 86 0 0 20 0 3 0 275465218 652132352 129507 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 159212 129507 207 433 0 158776 0
[pid=20935/tid=20937] ppid=20933 vsize=636848 CPUtime=342.22 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 87238 0 0 0 34167 55 0 0 20 0 3 0 275465221 652132352 129508 33554432000 4194304 5965102 140734209631392 139898396993528 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=636848 CPUtime=342.22 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 40007 0 0 0 34180 42 0 0 20 0 3 0 275465221 652132352 129508 33554432000 4194304 5965102 140734209631392 139898386503752 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 636848

[startup+402.3 s]
/proc/loadavg: 4.01 3.98 3.93 5/181 20942
/proc/meminfo: memFree=27468156/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=636988 CPUtime=804.35 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 133495 0 0 0 80345 90 0 0 20 0 3 0 275465218 652275712 134576 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 159247 134576 207 433 0 158811 0
[pid=20935/tid=20937] ppid=20933 vsize=636988 CPUtime=402.22 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 92268 0 0 0 40162 60 0 0 20 0 3 0 275465221 652275712 134576 33554432000 4194304 5965102 140734209631392 139898396993528 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=636988 CPUtime=402.22 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 40046 0 0 0 40179 43 0 0 20 0 3 0 275465221 652275712 134576 33554432000 4194304 5965102 140734209631392 139898386503752 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 636988

[startup+462.3 s]
/proc/loadavg: 4.00 3.98 3.93 5/181 20942
/proc/meminfo: memFree=27341232/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=637252 CPUtime=924.29 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 133784 0 0 0 92339 90 0 0 20 0 3 0 275465218 652546048 135263 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 159313 135263 207 433 0 158877 0
[pid=20935/tid=20937] ppid=20933 vsize=637252 CPUtime=462.19 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 92425 0 0 0 46158 61 0 0 20 0 3 0 275465221 652546048 135263 33554432000 4194304 5965102 140734209631392 139898396993528 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=637252 CPUtime=462.22 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 40178 0 0 0 46178 44 0 0 20 0 3 0 275465221 652546048 135263 33554432000 4194304 5965102 140734209631392 139898386503752 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 637252

[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.93 5/181 20943
/proc/meminfo: memFree=27220980/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=637792 CPUtime=1044.23 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 150332 0 0 0 104312 111 0 0 20 0 3 0 275465218 653099008 151813 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 159448 151813 207 433 0 159012 0
[pid=20935/tid=20937] ppid=20933 vsize=637792 CPUtime=522.17 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 97446 0 0 0 52153 64 0 0 20 0 3 0 275465221 653099008 151813 33554432000 4194304 5965102 140734209631392 139898396993336 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=637792 CPUtime=522.2 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 51705 0 0 0 52158 62 0 0 20 0 3 0 275465221 653099008 151813 33554432000 4194304 5965102 140734209631392 139898386503992 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 637792

[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.93 5/181 20943
/proc/meminfo: memFree=27176992/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=768864 CPUtime=1164.17 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 154249 0 0 0 116302 115 0 0 20 0 3 0 275465218 787316736 155776 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 192216 155776 207 433 0 191780 0
[pid=20935/tid=20937] ppid=20933 vsize=768864 CPUtime=582.16 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 100545 0 0 0 58149 67 0 0 20 0 3 0 275465221 787316736 155776 33554432000 4194304 5965102 140734209631392 139898396993336 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=768864 CPUtime=582.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 52523 0 0 0 58153 65 0 0 20 0 3 0 275465221 787316736 155776 33554432000 4194304 5965102 140734209631392 139898386503992 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.17
Current children cumulated vsize (KiB) 768864

[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.93 5/181 20943
/proc/meminfo: memFree=27138196/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=769000 CPUtime=1284.15 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 163740 0 0 0 128292 123 0 0 20 0 3 0 275465218 787456000 165291 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 192250 165291 207 433 0 191814 0
[pid=20935/tid=20937] ppid=20933 vsize=769000 CPUtime=642.15 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 110012 0 0 0 64139 76 0 0 20 0 3 0 275465221 787456000 165291 33554432000 4194304 5965102 140734209631392 139898396993528 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=769000 CPUtime=642.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 52547 0 0 0 64152 66 0 0 20 0 3 0 275465221 787456000 165291 33554432000 4194304 5965102 140734209631392 139898386503752 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.15
Current children cumulated vsize (KiB) 769000

[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.93 5/181 20943
/proc/meminfo: memFree=27073344/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=834836 CPUtime=1404.12 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 170219 0 0 0 140282 130 0 0 20 0 3 0 275465218 854872064 171770 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 208709 171770 207 433 0 208273 0
[pid=20935/tid=20937] ppid=20933 vsize=834836 CPUtime=702.15 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 116415 0 0 0 70131 84 0 0 20 0 3 0 275465221 854872064 171770 33554432000 4194304 5965102 140734209631392 139898396993528 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=834836 CPUtime=702.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 52623 0 0 0 70151 67 0 0 20 0 3 0 275465221 854872064 171770 33554432000 4194304 5965102 140734209631392 139898386503752 4410278 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.12
Current children cumulated vsize (KiB) 834836

[startup+762.307 s]
/proc/loadavg: 4.05 4.00 3.94 5/181 20943
/proc/meminfo: memFree=26915652/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=900536 CPUtime=1524.12 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 195989 0 0 0 152259 153 0 0 20 0 3 0 275465218 922148864 197540 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 225134 197540 207 433 0 224698 0
[pid=20935/tid=20937] ppid=20933 vsize=900536 CPUtime=762.15 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 139986 0 0 0 76111 104 0 0 20 0 3 0 275465221 922148864 197540 33554432000 4194304 5965102 140734209631392 139898396993528 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=900536 CPUtime=762.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 54822 0 0 0 76146 72 0 0 20 0 3 0 275465221 922148864 197540 33554432000 4194304 5965102 140734209631392 139898386503992 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.12
Current children cumulated vsize (KiB) 900536

[startup+822.3 s]
/proc/loadavg: 4.05 4.01 3.94 5/182 20947
/proc/meminfo: memFree=26812480/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=966072 CPUtime=1644.08 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 215193 0 0 0 164230 178 0 0 20 0 3 0 275465218 989257728 216744 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 241518 216745 207 433 0 241082 0
[pid=20935/tid=20937] ppid=20933 vsize=966072 CPUtime=822.15 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 149235 0 0 0 82103 112 0 0 20 0 3 0 275465221 989257728 216745 33554432000 4194304 5965102 140734209631392 139898396993528 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=966072 CPUtime=822.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 64778 0 0 0 82127 91 0 0 20 0 3 0 275465221 989257728 216745 33554432000 4194304 5965102 140734209631392 139898386503992 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.08
Current children cumulated vsize (KiB) 966072

[startup+882.3 s]
/proc/loadavg: 4.02 4.00 3.94 5/181 20947
/proc/meminfo: memFree=26716484/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=1032416 CPUtime=1764.06 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 233870 0 0 0 176212 194 0 0 20 0 3 0 275465218 1057193984 235421 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 258104 235421 207 433 0 257668 0
[pid=20935/tid=20937] ppid=20933 vsize=1032416 CPUtime=882.16 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 164681 0 0 0 88090 126 0 0 20 0 3 0 275465221 1057193984 235421 33554432000 4194304 5965102 140734209631392 139898396993528 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=1032416 CPUtime=882.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 68008 0 0 0 88122 96 0 0 20 0 3 0 275465221 1057193984 235421 33554432000 4194304 5965102 140734209631392 139898386504136 4401619 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.06
Current children cumulated vsize (KiB) 1032416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.94 3/177 20948
/proc/meminfo: memFree=27465208/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=1032416 CPUtime=1800.07 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 233895 0 0 0 179813 194 0 0 20 0 3 0 275465218 1057193984 235446 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 258104 235446 207 433 0 257668 0
[pid=20935/tid=20937] ppid=20933 vsize=1032416 CPUtime=900.16 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 164706 0 0 0 89890 126 0 0 20 0 3 0 275465221 1057193984 235446 33554432000 4194304 5965102 140734209631392 139898396993528 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=1032416 CPUtime=900.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 68008 0 0 0 89922 96 0 0 20 0 3 0 275465221 1057193984 235446 33554432000 4194304 5965102 140734209631392 139898386504136 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1032416

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

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

[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.94 3/177 20948
/proc/meminfo: memFree=27465208/32873648 swapFree=7104/7104
[pid=20935] ppid=20933 vsize=1032416 CPUtime=1800.07 cores=0,2,4,6
/proc/20935/stat : 20935 (pwbo2.0) S 20933 20935 20135 0 -1 4202496 233895 0 0 0 179813 194 0 0 20 0 3 0 275465218 1057193984 235446 33554432000 4194304 5965102 140734209631392 140734209630912 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20935/statm: 258104 235446 207 433 0 257668 0
[pid=20935/tid=20937] ppid=20933 vsize=1032416 CPUtime=900.16 cores=0,2,4,6
/proc/20935/task/20937/stat : 20937 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 164706 0 0 0 89890 126 0 0 20 0 3 0 275465221 1057193984 235446 33554432000 4194304 5965102 140734209631392 139898396993528 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20935/tid=20938] ppid=20933 vsize=1032416 CPUtime=900.18 cores=0,2,4,6
/proc/20935/task/20938/stat : 20938 (pwbo2.0) R 20933 20935 20135 0 -1 4202560 68008 0 0 0 89922 96 0 0 20 0 3 0 275465221 1057193984 235446 33554432000 4194304 5965102 140734209631392 139898386504136 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1032416

Child status: 0
Real time (s): 900.337
CPU time (s): 1800.44
CPU user time (s): 1798.18
CPU system time (s): 2.26166
CPU usage (%): 199.974
Max. virtual memory (cumulated for all children) (KiB): 1032416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.26166
maximum resident set size= 941796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233898
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= 565
involuntary context switches= 1882

runsolver used 2.68159 second user time and 4.25635 second system time

The end

Launcher Data

Begin job on node127 at 2012-05-27 06:36:38
IDJOB=3703704
IDBENCH=2884
IDSOLVER=2279
FILE ID=node127/3703704-1338093398
RUNJOBID= node127-1338087073-20151
PBS_JOBID= 14624433
Free space on /tmp= 71172 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703704-1338093398/watcher-3703704-1338093398 -o /tmp/evaluation-result-3703704-1338093398/solver-3703704-1338093398 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703704-1338093398.opb

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

MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721
RANDOM SEED=1718110799

node127.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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
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.348
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.348
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.94
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.348
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.348
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.91
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.348
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.348
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.348
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:       32873648 kB
MemFree:        28384800 kB
Buffers:          363576 kB
Cached:          3258932 kB
SwapCached:            0 kB
Active:          1115092 kB
Inactive:        2544352 kB
Active(anon):      38568 kB
Inactive(anon):        0 kB
Active(file):    1076524 kB
Inactive(file):  2544352 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11264 kB
Writeback:            16 kB
AnonPages:         43372 kB
Mapped:            14896 kB
Shmem:               200 kB
Slab:             689828 kB
SReclaimable:     134104 kB
SUnreclaim:       555724 kB
KernelStack:        1448 kB
PageTables:         3940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     168524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71168 MiB
End job on node127 at 2012-05-27 06:51:40