Trace number 3726028

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.02SAT (TO)276 1800.12 900.326

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
MD5SUM87c08328e44aaf86c5913a3ba08592cd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark245
Best CPU time to get the best result obtained on this benchmark1.64375
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 245
Optimality of the best value was proved YES
Number of variables1264
Total number of constraints1090
Number of constraints which are clauses1090
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 constraint20
Number of terms in the objective function 1264
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 1264
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 1264
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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726028-1338655944.opb.
0.00/0.00	c Instance file HOME/instance-3726028-1338655944.opb
0.00/0.00	c File size is 75875 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      1264                                                |
0.00/0.00	c |  Number Clauses:        1090                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.12/900.31	o 307
1800.12/900.31	o 302
1800.12/900.31	o 298
1800.12/900.31	o 297
1800.12/900.31	o 289
1800.12/900.31	o 286
1800.12/900.31	o 284
1800.12/900.31	o 282
1800.12/900.31	o 278
1800.12/900.31	o 277
1800.12/900.31	o 276
1800.12/900.31	c ===============================================================================
1800.12/900.31	c Wall Clock Time: 900.31 s
1800.12/900.31	c Best Solution: 276
1800.12/900.31	s SATISFIABLE
1800.12/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 -x1227 -x1228 x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 x1261 -x1262 -x1263 x1264

Verifier Data

OK	276

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-3726028-1338655944/watcher-3726028-1338655944 -o /tmp/evaluation-result-3726028-1338655944/solver-3726028-1338655944 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726028-1338655944.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: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=4416 CPUtime=0 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) R 30190 30192 28266 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 331719300 4521984 377 33554432000 4194304 5964478 140736624034736 140734827079704 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 1104 377 168 433 0 649 0

[startup+0.055643 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175600 CPUtime=0.09 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 5812 0 0 0 6 3 0 0 20 0 3 0 331719300 179814400 5694 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43900 5694 201 433 0 43464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 175600

[startup+0.10021 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=0.18 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 5982 0 0 0 15 3 0 0 20 0 3 0 331719300 180187136 5864 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 5864 202 433 0 43555 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 175964

[startup+0.300162 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=0.58 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 6696 0 0 0 54 4 0 0 20 0 3 0 331719300 180187136 6251 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 6251 204 433 0 43555 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 175964

[startup+0.700159 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 30192
/proc/meminfo: memFree=27425348/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=1.38 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 7433 0 0 0 134 4 0 0 20 0 3 0 331719300 180187136 6943 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 6943 204 433 0 43555 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 175964

[startup+1.50028 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27389844/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=175964 CPUtime=2.98 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 8249 0 0 0 293 5 0 0 20 0 3 0 331719300 180187136 7759 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 43991 7759 204 433 0 43555 0
[pid=30192/tid=30194] ppid=30190 vsize=175964 CPUtime=1.47 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 2384 0 0 0 147 0 0 0 20 0 3 0 331719301 180187136 7759 33554432000 4194304 5964478 140736624034736 139975223527752 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=175964 CPUtime=1.47 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 4921 0 0 0 143 4 0 0 20 0 3 0 331719301 180187136 7759 33554432000 4194304 5964478 140736624034736 139975213037880 4400648 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 175964

[startup+3.10029 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27380916/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176108 CPUtime=6.18 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 10242 0 0 0 612 6 0 0 20 0 3 0 331719300 180334592 9752 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44027 9752 204 433 0 43591 0
[pid=30192/tid=30194] ppid=30190 vsize=176108 CPUtime=3.07 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 4143 0 0 0 305 2 0 0 20 0 3 0 331719301 180334592 9752 33554432000 4194304 5964478 140736624034736 139975223527416 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176108 CPUtime=3.07 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 5155 0 0 0 303 4 0 0 20 0 3 0 331719301 180334592 9752 33554432000 4194304 5964478 140736624034736 139975213037688 4409255 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 176108

[startup+6.30028 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27361456/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176108 CPUtime=12.58 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 12512 0 0 0 1250 8 0 0 20 0 3 0 331719300 180334592 11986 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44027 11986 204 433 0 43591 0
[pid=30192/tid=30194] ppid=30190 vsize=176108 CPUtime=6.25 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 5955 0 0 0 622 3 0 0 20 0 3 0 331719301 180334592 11986 33554432000 4194304 5964478 140736624034736 139975223528376 4390878 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176108 CPUtime=6.26 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 5613 0 0 0 622 4 0 0 20 0 3 0 331719301 180334592 11986 33554432000 4194304 5964478 140736624034736 139975213037688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 176108

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27324344/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176288 CPUtime=25.37 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 16061 0 0 0 2528 9 0 0 20 0 3 0 331719300 180518912 15535 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44072 15535 204 433 0 43636 0
[pid=30192/tid=30194] ppid=30190 vsize=176288 CPUtime=12.64 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 8137 0 0 0 1260 4 0 0 20 0 3 0 331719301 180518912 15535 33554432000 4194304 5964478 140736624034736 139975223527224 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176288 CPUtime=12.64 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 6980 0 0 0 1260 4 0 0 20 0 3 0 331719301 180518912 15535 33554432000 4194304 5964478 140736624034736 139975213037880 4400608 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 176288

[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27271568/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176448 CPUtime=50.97 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 21481 0 0 0 5084 13 0 0 20 0 3 0 331719300 180682752 20880 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44112 20880 204 433 0 43676 0
[pid=30192/tid=30194] ppid=30190 vsize=176448 CPUtime=25.4 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 11660 0 0 0 2533 7 0 0 20 0 3 0 331719301 180682752 20880 33554432000 4194304 5964478 140736624034736 139975223528376 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176448 CPUtime=25.41 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 8877 0 0 0 2535 6 0 0 20 0 3 0 331719301 180682752 20880 33554432000 4194304 5964478 140736624034736 139975213037928 4387951 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 176448

[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27195400/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=176688 CPUtime=102.15 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 30972 0 0 0 10195 20 0 0 20 0 3 0 331719300 180928512 30274 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 44172 30274 204 433 0 43736 0
[pid=30192/tid=30194] ppid=30190 vsize=176688 CPUtime=50.93 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 15696 0 0 0 5085 8 0 0 20 0 3 0 331719301 180928512 30274 33554432000 4194304 5964478 140736624034736 139975223527768 4222384 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=176688 CPUtime=50.94 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 14332 0 0 0 5083 11 0 0 20 0 3 0 331719301 180928512 30274 33554432000 4194304 5964478 140736624034736 139975213037928 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 176688

[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 30195
/proc/meminfo: memFree=27088384/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=242584 CPUtime=204.55 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 45102 0 0 0 20425 30 0 0 20 0 3 0 331719300 248406016 44404 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 60646 44404 204 433 0 60210 0
[pid=30192/tid=30194] ppid=30190 vsize=242584 CPUtime=102 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 25212 0 0 0 10185 15 0 0 20 0 3 0 331719301 248406016 44404 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=242584 CPUtime=102.02 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 18946 0 0 0 10186 16 0 0 20 0 3 0 331719301 248406016 44404 33554432000 4194304 5964478 140736624034736 139975213037880 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 242584

[startup+162.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26928284/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=309784 CPUtime=324.5 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 64889 0 0 0 32401 49 0 0 20 0 3 0 331719300 317218816 64724 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 77446 64724 204 433 0 77010 0
[pid=30192/tid=30194] ppid=30190 vsize=309784 CPUtime=161.82 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 31398 0 0 0 16163 19 0 0 20 0 3 0 331719301 317218816 64724 33554432000 4194304 5964478 140736624034736 139975223527224 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=309784 CPUtime=161.85 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 32547 0 0 0 16152 33 0 0 20 0 3 0 331719301 317218816 64724 33554432000 4194304 5964478 140736624034736 139975213037880 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 309784

[startup+222.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26813488/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=441136 CPUtime=444.44 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 85228 0 0 0 44374 70 0 0 20 0 3 0 331719300 451723264 85017 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 110284 85017 204 433 0 109848 0
[pid=30192/tid=30194] ppid=30190 vsize=441136 CPUtime=221.64 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 39884 0 0 0 22137 27 0 0 20 0 3 0 331719301 451723264 85017 33554432000 4194304 5964478 140736624034736 139975223527224 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=441136 CPUtime=221.68 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 44400 0 0 0 22120 48 0 0 20 0 3 0 331719301 451723264 85017 33554432000 4194304 5964478 140736624034736 139975213037880 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 441136

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26780920/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=440816 CPUtime=564.39 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 86994 0 0 0 56368 71 0 0 20 0 3 0 331719300 451395584 86009 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 110204 86009 204 433 0 109768 0
[pid=30192/tid=30194] ppid=30190 vsize=440816 CPUtime=281.48 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 41509 0 0 0 28119 29 0 0 20 0 3 0 331719301 451395584 86009 33554432000 4194304 5964478 140736624034736 139975223528264 4400115 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=440816 CPUtime=281.5 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 44541 0 0 0 28101 49 0 0 20 0 3 0 331719301 451395584 86009 33554432000 4194304 5964478 140736624034736 139975213037640 4403411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 440816

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26715244/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=506492 CPUtime=684.38 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 96109 0 0 0 68356 82 0 0 20 0 3 0 331719300 518647808 95124 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 126623 95124 204 433 0 126187 0

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

[pid=30192/tid=30195] ppid=30190 vsize=506492 CPUtime=341.35 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 53586 0 0 0 34074 61 0 0 20 0 3 0 331719301 518647808 95124 33554432000 4194304 5964478 140736624034736 139975213037688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 506492

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 30196
/proc/meminfo: memFree=26629056/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=507300 CPUtime=804.36 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 110609 0 0 0 80336 100 0 0 20 0 3 0 331719300 519475200 109624 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 126825 109624 204 433 0 126389 0
[pid=30192/tid=30194] ppid=30190 vsize=507300 CPUtime=401.18 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 42774 0 0 0 40087 31 0 0 20 0 3 0 331719301 519475200 109624 33554432000 4194304 5964478 140736624034736 139975223528264 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=507300 CPUtime=401.2 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 66891 0 0 0 40040 80 0 0 20 0 3 0 331719301 519475200 109624 33554432000 4194304 5964478 140736624034736 139975213037880 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 507300

[startup+462.3 s]
/proc/loadavg: 4.06 4.02 3.93 5/182 30200
/proc/meminfo: memFree=26516532/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=638652 CPUtime=924.34 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 128365 0 0 0 92321 113 0 0 20 0 3 0 331719300 653979648 127380 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 159663 127380 204 433 0 159227 0
[pid=30192/tid=30194] ppid=30190 vsize=638652 CPUtime=461.02 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 57247 0 0 0 46060 42 0 0 20 0 3 0 331719301 653979648 127380 33554432000 4194304 5964478 140736624034736 139975223527416 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=638652 CPUtime=461.04 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70174 0 0 0 46021 83 0 0 20 0 3 0 331719301 653979648 127380 33554432000 4194304 5964478 140736624034736 139975213037640 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 638652

[startup+522.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 30223
/proc/meminfo: memFree=26425872/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=705404 CPUtime=1044.31 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 141085 0 0 0 104310 121 0 0 20 0 3 0 331719300 722333696 140158 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 176351 140158 204 433 0 175915 0
[pid=30192/tid=30194] ppid=30190 vsize=705404 CPUtime=520.86 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 69930 0 0 0 52036 50 0 0 20 0 3 0 331719301 722333696 140158 33554432000 4194304 5964478 140736624034736 139975223527416 4400432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=705404 CPUtime=520.89 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70211 0 0 0 52005 84 0 0 20 0 3 0 331719301 722333696 140158 33554432000 4194304 5964478 140736624034736 139975213037640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 705404

[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 30223
/proc/meminfo: memFree=26376200/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=705544 CPUtime=1164.26 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 148416 0 0 0 116300 126 0 0 20 0 3 0 331719300 722477056 147587 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 176386 147587 204 433 0 175950 0
[pid=30192/tid=30194] ppid=30190 vsize=705544 CPUtime=580.68 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 77219 0 0 0 58012 56 0 0 20 0 3 0 331719301 722477056 147587 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=705544 CPUtime=580.73 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70253 0 0 0 57988 85 0 0 20 0 3 0 331719301 722477056 147587 33554432000 4194304 5964478 140736624034736 139975213037640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 705544

[startup+642.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/181 30223
/proc/meminfo: memFree=26299100/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=705684 CPUtime=1284.23 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 153708 0 0 0 128292 131 0 0 20 0 3 0 331719300 722620416 152837 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 176421 152837 204 433 0 175985 0
[pid=30192/tid=30194] ppid=30190 vsize=705684 CPUtime=640.53 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 82435 0 0 0 63992 61 0 0 20 0 3 0 331719301 722620416 152837 33554432000 4194304 5964478 140736624034736 139975223527416 4400078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=705684 CPUtime=640.55 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70329 0 0 0 63969 86 0 0 20 0 3 0 331719301 722620416 152837 33554432000 4194304 5964478 140736624034736 139975213037640 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 705684

[startup+702.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/181 30223
/proc/meminfo: memFree=26261008/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=771360 CPUtime=1404.17 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 163196 0 0 0 140278 139 0 0 20 0 3 0 331719300 789872640 162338 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 192840 162338 204 433 0 192404 0
[pid=30192/tid=30194] ppid=30190 vsize=771360 CPUtime=700.34 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 91881 0 0 0 69963 71 0 0 20 0 3 0 331719301 789872640 162338 33554432000 4194304 5964478 140736624034736 139975223527416 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=771360 CPUtime=700.38 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70371 0 0 0 69950 88 0 0 20 0 3 0 331719301 789872640 162338 33554432000 4194304 5964478 140736624034736 139975213037640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 771360

[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 30224
/proc/meminfo: memFree=26229928/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=771360 CPUtime=1524.16 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 166601 0 0 0 152274 142 0 0 20 0 3 0 331719300 789872640 165734 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 192840 165734 204 433 0 192404 0
[pid=30192/tid=30194] ppid=30190 vsize=771360 CPUtime=760.19 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 95276 0 0 0 75944 75 0 0 20 0 3 0 331719301 789872640 165734 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=771360 CPUtime=760.24 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70381 0 0 0 75935 89 0 0 20 0 3 0 331719301 789872640 165734 33554432000 4194304 5964478 140736624034736 139975213037640 4392863 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 771360

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 30224
/proc/meminfo: memFree=26160736/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837572 CPUtime=1644.13 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183302 0 0 0 164258 155 0 0 20 0 3 0 331719300 857673728 182435 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209393 182435 204 433 0 208957 0
[pid=30192/tid=30194] ppid=30190 vsize=837572 CPUtime=820.02 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111960 0 0 0 81914 88 0 0 20 0 3 0 331719301 857673728 182435 33554432000 4194304 5964478 140736624034736 139975223527416 4400109 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837572 CPUtime=820.08 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70398 0 0 0 81918 90 0 0 20 0 3 0 331719301 857673728 182435 33554432000 4194304 5964478 140736624034736 139975213037640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 837572

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 30224
/proc/meminfo: memFree=26158752/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837704 CPUtime=1764.12 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183373 0 0 0 176257 155 0 0 20 0 3 0 331719300 857808896 182506 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209426 182506 204 433 0 208990 0
[pid=30192/tid=30194] ppid=30190 vsize=837704 CPUtime=879.87 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111977 0 0 0 87898 89 0 0 20 0 3 0 331719301 857808896 182506 33554432000 4194304 5964478 140736624034736 139975223527416 4388234 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837704 CPUtime=879.92 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70452 0 0 0 87901 91 0 0 20 0 3 0 331719301 857808896 182506 33554432000 4194304 5964478 140736624034736 139975213037640 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 837704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 3/177 30225
/proc/meminfo: memFree=26703744/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837976 CPUtime=1800.12 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183433 0 0 0 179857 155 0 0 20 0 3 0 331719300 858087424 182566 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209494 182566 204 433 0 209058 0
[pid=30192/tid=30194] ppid=30190 vsize=837976 CPUtime=897.83 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111983 0 0 0 89694 89 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837976 CPUtime=897.88 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70506 0 0 0 89697 91 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975213037640 4399946 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 837976

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.00 4.00 3.93 3/177 30225
/proc/meminfo: memFree=26703744/32873844 swapFree=6608/6608
[pid=30192] ppid=30190 vsize=837976 CPUtime=1800.12 cores=0,2,4,6
/proc/30192/stat : 30192 (pwbo2.02) S 30190 30192 28266 0 -1 4202496 183433 0 0 0 179857 155 0 0 20 0 3 0 331719300 858087424 182566 33554432000 4194304 5964478 140736624034736 140736624034256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30192/statm: 209494 182566 204 433 0 209058 0
[pid=30192/tid=30194] ppid=30190 vsize=837976 CPUtime=897.83 cores=0,2,4,6
/proc/30192/task/30194/stat : 30194 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 111983 0 0 0 89694 89 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975223527416 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30192/tid=30195] ppid=30190 vsize=837976 CPUtime=897.88 cores=0,2,4,6
/proc/30192/task/30195/stat : 30195 (pwbo2.02) R 30190 30192 28266 0 -1 4202560 70506 0 0 0 89697 91 0 0 20 0 3 0 331719301 858087424 182566 33554432000 4194304 5964478 140736624034736 139975213037640 4399946 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 837976

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30192 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=933280
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=840720
# CPU time returned by wait4() is 1795.77
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.326
CPU time (s): 1800.12
CPU user time (s): 1798.57
CPU system time (s): 1.55
CPU usage (%): 199.941
Max. virtual memory (cumulated for all children) (KiB): 837976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 1.84072
maximum resident set size= 730268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183434
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= 445
involuntary context switches= 2324

runsolver used 1.74273 second user time and 4.92325 second system time

The end

Launcher Data

Begin job on node140 at 2012-06-02 18:52:25
IDJOB=3726028
IDBENCH=2881
IDSOLVER=2309
FILE ID=node140/3726028-1338655944
RUNJOBID= node140-1338651425-29649
PBS_JOBID= 14636440
Free space on /tmp= 70620 MiB

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

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

MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd
RANDOM SEED=846816023

node140.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		: 2667.094
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	: 5334.18
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		: 2667.094
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		: 2667.094
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.91
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		: 2667.094
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		: 2667.094
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		: 2667.094
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.88
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		: 2667.094
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.90
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		: 2667.094
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:        27425504 kB
Buffers:          390584 kB
Cached:          4146736 kB
SwapCached:         1664 kB
Active:          1236888 kB
Inactive:        3325088 kB
Active(anon):      16592 kB
Inactive(anon):     9416 kB
Active(file):    1220296 kB
Inactive(file):  3315672 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:             11152 kB
Writeback:             0 kB
AnonPages:         28696 kB
Mapped:            11468 kB
Shmem:                 8 kB
Slab:             747692 kB
SReclaimable:     189528 kB
SUnreclaim:       558164 kB
KernelStack:        1424 kB
PageTables:         3584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     160952 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= 70616 MiB
End job on node140 at 2012-06-02 19:07:27