Trace number 433496

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)38 1800.05 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex7.b.opb
MD5SUMa226ce89d775a348c35d29e51d9044b6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1108
Total number of constraints2313
Number of constraints which are clauses2313
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint295
Number of terms in the objective function 1108
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 1108
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 1108
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb
0.00/0.00	c File size is 598740 bytes.
0.09/0.11	c Highest Coefficient sum: 1108
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.109 s
0.09/0.11	c Var: 1108 Constr: 2313 2313/0/0 Lit: 73571 Watch. Lit: 4610
0.09/0.11	c Obj. Vars: 1108 (100 % of total variables)
0.49/0.55	c Formula reductions applied at preprocessing
0.49/0.55	c Pre-processing Time: 0.554 s
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c        0    966     1799    67169   37     3598     599      0      0 0.55
0.79/0.82	c Initial Lower Bound: 35
0.79/0.82	c Initial Path Cost: 13
0.79/0.82	o 53	0.818
3.09/3.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.11	c        0    966     1800    68135   37     4526    1599      1      0 0.82
3.09/3.11	o 42	3.106 * 
7.28/7.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.35	c        0    966     1801    69101   38     5465    2599      2      0 3.11
7.28/7.35	o 41	7.346 * 
8.78/8.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.78/8.81	c       32    966     1866    74680   40     6533    2599     67      4 7.35
8.78/8.81	o 40	8.802 * 
9.68/9.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.78	c       33    966     1869    75716   40     7478    2599     70      3 8.80
9.68/9.78	o 39	9.775 * 
26.28/26.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.28/26.32	c       34    966     1872    76764   41     8424    2599     73      3 9.78
26.28/26.32	c      136    966     2076    86556   41     8832    2859    277      8 15.33
26.28/26.32	o 38	26.306 * 
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c      339    966     2483   101484   40    10587    2599    684     12 26.31
1800.03/1800.50	c      439    966     2683   107522   40    10987    2859    884     13 33.13
1800.03/1800.50	c      690    966     3185   119842   37    11991    3145   1386     15 45.56
1800.03/1800.50	c     1166    966     4136   144291   34    13893    3460   2337     16 70.30
1800.03/1800.50	c     1979    966     3850   122565   31     8641    3807   2051     18 109.88
1800.03/1800.50	c     3299    966     4406   130977   29     9753    4188   2607     19 166.78
1800.03/1800.50	c     5383    966     3993   153211   38     8927    4607   2194     19 272.39
1800.03/1800.50	c     8609    966     5486   184783   33    11913    5068   3687     18 453.23
1800.03/1800.50	c    13548    966     4497   152316   33     9935    5575   2698     18 720.71
1800.03/1800.50	c    21057    966     4630   174483   37    10201    6133   2831     19 1100.63
1800.03/1800.50	c    32419    966     7902   243190   30    16745    6747   6103     19 1621.55
1800.03/1800.50	c Caught signal: 15
1800.03/1800.50	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
1800.03/1800.50	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.03/1800.50	v -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
1800.03/1800.50	v -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
1800.03/1800.50	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.03/1800.50	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.03/1800.50	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.03/1800.50	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.03/1800.50	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.03/1800.50	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.03/1800.50	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.03/1800.50	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.03/1800.50	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.03/1800.50	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315
1800.03/1800.50	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.03/1800.50	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.03/1800.50	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.03/1800.50	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.03/1800.50	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420
1800.03/1800.50	v -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.03/1800.50	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.03/1800.50	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.03/1800.50	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.03/1800.50	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.03/1800.50	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.03/1800.50	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.03/1800.50	v -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.03/1800.50	v -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.03/1800.50	v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.03/1800.50	v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.03/1800.50	v -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.03/1800.50	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.03/1800.50	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.03/1800.50	v -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.03/1800.50	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.03/1800.50	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.03/1800.50	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.03/1800.50	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.03/1800.50	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840
1800.03/1800.50	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.03/1800.50	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.03/1800.50	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.03/1800.50	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.03/1800.50	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.03/1800.50	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966
1800.03/1800.50	v -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.03/1800.50	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006
1800.03/1800.50	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.03/1800.50	v -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.03/1800.50	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1800.03/1800.50	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.03/1800.50	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.03/1800.50	v -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 -x1108
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   17    35460    825    38330     6872   218805   5073     19 1800.04
1800.03/1800.50	c Objective: 38
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	c Total time: 1800.04 s

Verifier Data (download as text)

OK	38

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-433496-1177960076 -o ROOT/results/node60/solver-433496-1177960076 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.95 0.93 3/64 1383
/proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12324 CPUtime=0
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243917600 12619776 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3081 334 279 324 0 2004 0

[startup+0.0227821 s]
/proc/loadavg: 0.85 0.95 0.93 3/64 1383
/proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=4788 CPUtime=0.01
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 449 0 0 0 1 0 0 0 18 0 1 0 243917600 4902912 419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 1197 419 305 324 0 120 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4788

[startup+0.101789 s]
/proc/loadavg: 0.85 0.95 0.93 3/64 1383
/proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=5568 CPUtime=0.09
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 755 0 0 0 9 0 0 0 18 0 1 0 243917600 5701632 725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 1392 725 411 324 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5568

[startup+0.301809 s]
/proc/loadavg: 0.85 0.95 0.93 3/64 1383
/proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=6424 CPUtime=0.29
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1157 0 0 0 29 0 0 0 19 0 1 0 243917600 6578176 980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 1606 980 306 324 0 676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6424

[startup+0.701848 s]
/proc/loadavg: 0.85 0.95 0.93 3/64 1383
/proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=7888 CPUtime=0.68
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 16721 0 0 0 63 5 0 0 22 0 1 0 243917600 8077312 1396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 1972 1396 346 324 0 1042 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7888

[startup+1.50193 s]
/proc/loadavg: 0.85 0.95 0.93 2/65 1384
/proc/meminfo: memFree=1862832/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=10516 CPUtime=1.48
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 24486 0 0 0 140 8 0 0 25 0 1 0 243917600 10768384 1582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2629 1582 394 324 0 1699 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10516

[startup+3.10108 s]
/proc/loadavg: 0.85 0.95 0.93 2/65 1384
/proc/meminfo: memFree=1862640/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=7888 CPUtime=3.09
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 56883 0 0 0 287 22 0 0 25 0 1 0 243917600 8077312 1448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 1972 1448 394 324 0 1042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7888

[startup+6.3014 s]
/proc/loadavg: 0.86 0.95 0.93 2/65 1384
/proc/meminfo: memFree=1862848/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=9848 CPUtime=6.29
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 93871 0 0 0 588 41 0 0 25 0 1 0 243917600 10084352 1541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2462 1547 394 324 0 1532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9848

[startup+12.701 s]
/proc/loadavg: 0.87 0.95 0.93 2/65 1384
/proc/meminfo: memFree=1862408/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=10208 CPUtime=12.68
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 196776 0 0 0 1183 85 0 0 25 0 1 0 243917600 10452992 1622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2552 1622 395 324 0 1622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10208

[startup+25.5013 s]
/proc/loadavg: 0.90 0.96 0.93 2/65 1384
/proc/meminfo: memFree=1862408/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=10564 CPUtime=25.47
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 367503 0 0 0 2385 162 0 0 25 0 1 0 243917600 10817536 1663 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135210295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2641 1668 395 324 0 1711 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10564

[startup+51.1018 s]
/proc/loadavg: 0.93 0.96 0.93 2/65 1384
/proc/meminfo: memFree=1861640/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=8780 CPUtime=51.07
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 679386 0 0 0 4809 298 0 0 25 0 1 0 243917600 8990720 1672 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2195 1672 395 324 0 1265 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8780

[startup+102.305 s]
/proc/loadavg: 0.97 0.96 0.93 2/65 1384
/proc/meminfo: memFree=1860488/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11444 CPUtime=102.26
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1113654 0 0 0 9729 497 0 0 25 0 1 0 243917600 11718656 2035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135279189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2861 2038 395 324 0 1931 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11444

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1384
/proc/meminfo: memFree=1860616/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12384 CPUtime=162.24
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1446852 0 0 0 15555 669 0 0 25 0 1 0 243917600 12681216 2071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3096 2071 395 324 0 2166 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12384

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1384
/proc/meminfo: memFree=1859976/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12448 CPUtime=222.22
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1723852 0 0 0 21412 810 0 0 25 0 1 0 243917600 12746752 2200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135304705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3112 2200 395 324 0 2182 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 12448

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1384
/proc/meminfo: memFree=1859784/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12136 CPUtime=282.21
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1980591 0 0 0 27284 937 0 0 25 0 1 0 243917600 12427264 2226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135153475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3034 2230 395 324 0 2104 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 12136

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1384
/proc/meminfo: memFree=1859464/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12940 CPUtime=342.2
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2235557 0 0 0 33152 1068 0 0 25 0 1 0 243917600 13250560 2325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3235 2325 395 324 0 2305 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12940

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 1384
/proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12948 CPUtime=402.18
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2444851 0 0 0 39036 1182 0 0 25 0 1 0 243917600 13258752 2331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3237 2331 395 324 0 2307 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 12948

[startup+462.301 s]
/proc/loadavg: 1.03 0.99 0.94 2/65 1384
/proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12684 CPUtime=462.17
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2639444 0 0 0 44934 1283 0 0 25 0 1 0 243917600 12988416 2340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135314116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3171 2340 395 324 0 2241 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 12684

[startup+522.301 s]
/proc/loadavg: 1.12 1.02 0.95 2/65 1384
/proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=12876 CPUtime=522.14
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2829286 0 0 0 50834 1380 0 0 25 0 1 0 243917600 13185024 2327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3219 2327 395 324 0 2289 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 12876

[startup+582.301 s]
/proc/loadavg: 1.12 1.03 0.95 2/65 1384
/proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13136 CPUtime=582.13
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 3047879 0 0 0 56726 1487 0 0 25 0 1 0 243917600 13451264 2370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3284 2370 395 324 0 2354 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 13136

[startup+642.302 s]
/proc/loadavg: 1.04 1.02 0.95 2/65 1384
/proc/meminfo: memFree=1859272/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13188 CPUtime=642.12
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 3255519 0 0 0 62620 1592 0 0 25 0 1 0 243917600 13504512 2335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3297 2335 395 324 0 2367 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 13188


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858952/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13960 CPUtime=882.05
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 4364079 0 0 0 86052 2153 0 0 25 0 1 0 243917600 14295040 2388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3490 2388 395 324 0 2560 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 13960

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858888/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13732 CPUtime=942.04
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 4827397 0 0 0 91834 2370 0 0 25 0 1 0 243917600 14061568 2402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135267334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3433 2402 395 324 0 2503 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 13732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858760/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14156 CPUtime=1002.03
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 5297907 0 0 0 97613 2590 0 0 25 0 1 0 243917600 14495744 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3539 2476 395 324 0 2609 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 14156

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14204 CPUtime=1062.01
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 5609126 0 0 0 103453 2748 0 0 25 0 1 0 243917600 14544896 2477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3551 2477 395 324 0 2621 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 14204

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14276 CPUtime=1122
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 5906376 0 0 0 109304 2896 0 0 25 0 1 0 243917600 14618624 2472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3569 2472 395 324 0 2639 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 14276

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858696/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14240 CPUtime=1181.98
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 6274863 0 0 0 115122 3076 0 0 25 0 1 0 243917600 14581760 2489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3560 2489 395 324 0 2630 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 14240

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11676 CPUtime=1241.97
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 6645027 0 0 0 120939 3258 0 0 25 0 1 0 243917600 11956224 2395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2919 2395 395 324 0 1989 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 11676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11672 CPUtime=1301.95
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 6995666 0 0 0 126757 3438 0 0 25 0 1 0 243917600 11952128 2394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2918 2394 395 324 0 1988 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 11672

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13904 CPUtime=1361.94
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 7332435 0 0 0 132583 3611 0 0 25 0 1 0 243917600 14237696 2436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3476 2436 395 324 0 2546 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 13904

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11668 CPUtime=1421.93
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 7669691 0 0 0 138407 3786 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2917 2393 395 324 0 1987 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 11668

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11668 CPUtime=1481.91
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 7981291 0 0 0 144249 3942 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2917 2393 395 324 0 1987 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 11668

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11668 CPUtime=1541.9
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 8273131 0 0 0 150103 4087 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2917 2393 395 324 0 1987 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 11668

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858504/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=11668 CPUtime=1601.88
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 8553658 0 0 0 155963 4225 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 2917 2393 395 324 0 1987 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 11668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13800 CPUtime=1661.86
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 8810242 0 0 0 161833 4353 0 0 25 0 1 0 243917600 14131200 2457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3450 2457 395 324 0 2520 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 13800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14068 CPUtime=1721.85
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9060975 0 0 0 167706 4479 0 0 25 0 1 0 243917600 14405632 2473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3517 2473 395 324 0 2587 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 14068

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=13980 CPUtime=1781.84
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9302158 0 0 0 173580 4604 0 0 25 0 1 0 243917600 14315520 2435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3495 2435 395 324 0 2565 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 13980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858504/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14244 CPUtime=1800.03
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9373478 0 0 0 175363 4640 0 0 25 0 1 0 243917600 14585856 2470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135235178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3561 2470 395 324 0 2631 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 14244

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1384
/proc/meminfo: memFree=1858504/2055920 swapFree=4183296/4192956
[pid=1383] ppid=1381 vsize=14244 CPUtime=1800.03
/proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9373478 0 0 0 175363 4640 0 0 25 0 1 0 243917600 14585856 2470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135235178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1383/statm: 3561 2470 395 324 0 2631 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 14244

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1753.64
CPU system time (s): 46.4059
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 15288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.64
system time used= 46.4059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9373481
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= 12
involuntary context switches= 2700

runsolver used 1.3228 second user time and 3.60245 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Apr 30 19:07:56 UTC 2007

IDJOB= 433496
IDBENCH= 2883
IDSOLVER= 199
FILE ID= node60/433496-1177960076

PBS_JOBID= 4727708

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-433496-1177960076 -o ROOT/results/node60/solver-433496-1177960076 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a226ce89d775a348c35d29e51d9044b6

RANDOM SEED= 665404067

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1867920 kB
Buffers:          9144 kB
Cached:         104848 kB
SwapCached:       3580 kB
Active:          33508 kB
Inactive:        90252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1867920 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:            7300 kB
Writeback:           0 kB
Mapped:          15840 kB
Slab:            50252 kB
Committed_AS:  2710168 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node60 on Mon Apr 30 19:37:59 UTC 2007