Trace number 433501

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)27 1800.03 1800.51

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.02	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.02	c Memory Limit set to 1800 MB
0.00/0.02	c Instance file /tmp/evaluation/433501-1177960114/instance-433501-1177960114.opb
0.00/0.02	c File size is 2769108 bytes.
0.38/0.49	c Highest Coefficient sum: 2847
0.38/0.49	c Parsing was ok!!
0.38/0.49	c Total parsing time: 0.48 s
0.38/0.50	c Var: 2847 Constr: 4902 4902/0/0 Lit: 315162 Watch. Lit: 9804
0.38/0.50	c Obj. Vars: 2847 (100 % of total variables)
2.77/2.85	c Formula reductions applied at preprocessing
2.77/2.85	c Pre-processing Time: 2.833 s
3.98/4.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.02	c        0   1908     3027   189144   62     6054    1008      0      0 2.83
3.98/4.02	c Initial Lower Bound: 22
3.98/4.02	c Initial Path Cost: 6
3.98/4.02	o 36	4.004
17.67/17.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.67/17.75	c        1   1908     3029   191218   63     7936    2008      2      0 4.00
17.67/17.75	o 33	17.73 * 
32.27/32.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.27/32.36	c        1   1908     3030   193126   63     9819    2008      3      0 17.73
32.27/32.36	o 32	32.342 * 
56.07/56.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
56.07/56.14	c        1   1908     3031   195034   64    11703    2008      4      0 32.34
56.07/56.14	o 31	56.109 * 
77.76/77.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.76/77.85	c       22   1908     3074   206153   67    13672    2008     47      0 56.11
77.76/77.85	o 30	77.816 * 
163.53/163.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
163.53/163.65	c       60   1908     3150   221112   70    15708    2008    123      0 77.82
163.53/163.65	c      160   1908     3349   244828   73    16106    2209    322      1 108.57
163.53/163.65	c      411   1908     3851   307302   79    17110    2430    824      2 155.29
163.53/163.65	o 29	163.596 * 
176.63/176.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.63/176.79	c      412   1908     3854   309344   80    19001    2008    827      2 163.60
176.63/176.79	o 28	176.733 * 
1191.47/1191.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1191.47/1191.86	c      412   1908     3855   311252   80    20889    2008    828      2 176.73
1191.47/1191.86	c      512   1908     4055   328239   80    21289    2209   1028      2 201.64
1191.47/1191.86	c      762   1908     4555   356958   78    22289    2430   1528      2 267.22
1191.47/1191.86	c     1239   1908     5509   430063   78    24197    2674   2482      3 325.36
1191.47/1191.86	c     2053   1908     4741   328303   69    11368    2942   1714      4 439.15
1191.47/1191.86	c     3376   1908     4889   302780   61    11664    3237   1862      5 599.75
1191.47/1191.86	c     5458   1908     6347   532986   83    14580    3561   3320      6 848.67
1191.47/1191.86	c     8687   1908     7115   470292   66    16116    3918   4088      7 1133.63
1191.47/1191.86	o 27	1191.54 * 
1800.02/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.50	c     9247   1908     5135   380824   74    14043    2008   2108      7 1191.54
1800.02/1800.50	c     9350   1908     5341   393308   73    14455    2209   2314      7 1231.37
1800.02/1800.50	c     9605   1908     5851   410083   70    15475    2430   2824      7 1269.68
1800.02/1800.50	c    10083   1908     4545   320137   70    10977    2674   1518      6 1442.48
1800.02/1800.50	c    10897   1908     6173   418432   67    14233    2942   3146      6 1616.62
1800.02/1800.50	c Caught signal: 15
1800.02/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 x29
1800.02/1800.50	v -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
1800.02/1800.50	v -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
1800.02/1800.50	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.02/1800.50	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.02/1800.50	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.02/1800.50	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.02/1800.50	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.02/1800.50	v -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1800.02/1800.50	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.02/1800.50	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.02/1800.50	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.02/1800.50	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.02/1800.50	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1800.02/1800.50	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.02/1800.50	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.02/1800.50	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.02/1800.50	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.02/1800.50	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.02/1800.50	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.02/1800.50	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.02/1800.50	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.02/1800.50	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1800.02/1800.50	v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.02/1800.50	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.02/1800.50	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.02/1800.50	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1800.02/1800.50	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.02/1800.50	v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.02/1800.50	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.02/1800.50	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.02/1800.50	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.02/1800.50	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.02/1800.50	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.02/1800.50	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.02/1800.50	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.02/1800.50	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.02/1800.50	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1800.02/1800.50	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1800.02/1800.50	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.02/1800.50	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.02/1800.50	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905
1800.02/1800.50	v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
1800.02/1800.50	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.02/1800.50	v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
1800.02/1800.50	v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.02/1800.50	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1800.02/1800.50	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
1800.02/1800.50	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.02/1800.50	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.02/1800.50	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.02/1800.50	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.02/1800.50	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.02/1800.50	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.02/1800.50	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.02/1800.50	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1800.02/1800.50	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1800.02/1800.50	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.02/1800.50	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1800.02/1800.50	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1800.02/1800.50	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1800.02/1800.50	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1800.02/1800.50	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.02/1800.50	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297
1800.02/1800.50	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
1800.02/1800.50	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
1800.02/1800.50	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
1800.02/1800.50	v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1800.02/1800.50	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382
1800.02/1800.50	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
1800.02/1800.50	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1800.02/1800.50	v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1800.02/1800.50	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1800.02/1800.50	v -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
1800.02/1800.50	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1800.02/1800.50	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1800.02/1800.50	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.02/1800.50	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1800.02/1800.50	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1800.02/1800.50	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1800.02/1800.50	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.02/1800.50	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1800.02/1800.50	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.02/1800.50	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.02/1800.50	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1800.02/1800.50	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.02/1800.50	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.02/1800.50	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1800.02/1800.50	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1800.02/1800.50	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1800.02/1800.50	v -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1800.02/1800.50	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1800.02/1800.50	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1800.02/1800.50	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807
1800.02/1800.50	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
1800.02/1800.50	v x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841
1800.02/1800.50	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
1800.02/1800.50	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875
1800.02/1800.50	v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892
1800.02/1800.50	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
1800.02/1800.50	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1800.02/1800.50	v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943
1800.02/1800.50	v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1800.02/1800.50	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1800.02/1800.50	v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1800.02/1800.50	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
1800.02/1800.50	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028
1800.02/1800.50	v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1800.02/1800.50	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062
1800.02/1800.50	v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1800.02/1800.50	v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096
1800.02/1800.50	v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113
1800.02/1800.50	v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
1800.02/1800.50	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147
1800.02/1800.50	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164
1800.02/1800.50	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
1800.02/1800.50	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198
1800.02/1800.50	v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
1800.02/1800.50	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
1800.02/1800.50	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
1800.02/1800.50	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
1800.02/1800.50	v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283
1800.02/1800.50	v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
1800.02/1800.50	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317
1800.02/1800.50	v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334
1800.02/1800.50	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351
1800.02/1800.50	v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1800.02/1800.50	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1800.02/1800.50	v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
1800.02/1800.50	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1800.02/1800.50	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1800.02/1800.50	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
1800.02/1800.50	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1800.02/1800.50	v -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1800.02/1800.50	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.02/1800.50	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
1800.02/1800.50	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1800.02/1800.50	v -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1800.02/1800.50	v -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1800.02/1800.50	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.02/1800.50	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.02/1800.50	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1800.02/1800.50	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1800.02/1800.50	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1800.02/1800.50	v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1800.02/1800.50	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691
1800.02/1800.50	v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
1800.02/1800.50	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1800.02/1800.50	v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1800.02/1800.50	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1800.02/1800.50	v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776
1800.02/1800.50	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1800.02/1800.50	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1800.02/1800.50	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1800.02/1800.50	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844
1800.02/1800.50	v -x2845 -x2846 -x2847
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c   21    11693    430    16988     5269   340191   2242      6 1800.03
1800.02/1800.50	c Objective: 27
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	c Total time: 1800.03 s

Verifier Data (download as text)

OK	27

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-433501-1177960114 -o ROOT/results/node7/solver-433501-1177960114 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433501-1177960114/instance-433501-1177960114.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.92 0.98 0.94 3/77 27978
/proc/meminfo: memFree=1860024/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=18528 CPUtime=0
/proc/27978/stat : 27978 (runsolver) D 27976 27978 27225 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 272049052 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 244671114535 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/27978/statm: 4632 284 249 14 0 2626 0

[startup+0.0668691 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 27978
/proc/meminfo: memFree=1860024/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=7196 CPUtime=0.04
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 584 0 0 0 4 0 0 0 18 0 1 0 272049052 7368704 554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27978/statm: 1799 554 350 324 0 192 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7196

[startup+0.10187 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 27978
/proc/meminfo: memFree=1860024/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=7584 CPUtime=0.08
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 711 0 0 0 8 0 0 0 18 0 1 0 272049052 7766016 681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10584398 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27978/statm: 1896 681 399 324 0 289 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7584

[startup+0.301891 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 27978
/proc/meminfo: memFree=1860024/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=9408 CPUtime=0.28
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1451 0 0 0 28 0 0 0 19 0 1 0 272049052 9633792 1421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10876696 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27978/statm: 2352 1421 681 324 0 745 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9408

[startup+0.701941 s]
/proc/loadavg: 0.92 0.98 0.94 3/77 27978
/proc/meminfo: memFree=1860024/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=13952 CPUtime=0.68
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 3547 0 0 0 67 1 0 0 23 0 1 0 272049052 14286848 2840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545296 0 0 4096 16384 0 0 0 17 0 0 0
/proc/27978/statm: 3488 2840 306 324 0 2558 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13952

[startup+1.50202 s]
/proc/loadavg: 0.92 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1849840/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=13332 CPUtime=1.48
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4619 0 0 0 146 2 0 0 25 0 1 0 272049052 13651968 2700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 3333 2700 306 324 0 2403 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13332

[startup+3.10118 s]
/proc/loadavg: 0.93 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1850160/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=13332 CPUtime=3.08
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 8501 0 0 0 303 5 0 0 25 0 1 0 272049052 13651968 2731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 3333 2731 335 324 0 2403 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13332

[startup+6.30152 s]
/proc/loadavg: 0.93 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1847792/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=17512 CPUtime=6.27
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 44388 0 0 0 606 21 0 0 25 0 1 0 272049052 17932288 3330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134800264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4378 3330 395 324 0 3448 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17512

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1848176/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=18788 CPUtime=12.67
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 56158 0 0 0 1239 28 0 0 25 0 1 0 272049052 19238912 3429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4697 3429 395 324 0 3767 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18788

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1848240/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=18236 CPUtime=25.47
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 82180 0 0 0 2507 40 0 0 25 0 1 0 272049052 18673664 3375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4559 3375 395 324 0 3629 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18236

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1848176/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=15252 CPUtime=51.06
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 144857 0 0 0 5036 70 0 0 25 0 1 0 272049052 15618048 3289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 3813 3289 395 324 0 2883 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 15252

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1848048/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=17584 CPUtime=102.26
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 263388 0 0 0 10093 133 0 0 25 0 1 0 272049052 18006016 3397 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202698 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4396 3397 395 324 0 3466 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17584

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1847920/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=18264 CPUtime=162.23
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 429633 0 0 0 16007 216 0 0 25 0 1 0 272049052 18702336 3495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4566 3495 395 324 0 3636 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 18264

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1846960/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=19280 CPUtime=222.22
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 600246 0 0 0 21923 299 0 0 25 0 1 0 272049052 19742720 3636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4820 3636 395 324 0 3890 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 19280

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1847216/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=19940 CPUtime=282.21
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 780702 0 0 0 27829 392 0 0 25 0 1 0 272049052 20418560 3614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10853454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4985 3614 395 324 0 4055 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 19940

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1845808/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=20484 CPUtime=342.19
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1078820 0 0 0 33679 540 0 0 25 0 1 0 272049052 20975616 3976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5121 3976 395 324 0 4191 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 20484

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1844272/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21768 CPUtime=402.17
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1338117 0 0 0 39556 661 0 0 25 0 1 0 272049052 22290432 4266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5442 4266 395 324 0 4512 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 21768

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1844912/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21624 CPUtime=462.16
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1477731 0 0 0 45475 741 0 0 25 0 1 0 272049052 22142976 4173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5406 4173 395 324 0 4476 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 21624

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1844848/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=18584 CPUtime=522.14
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1600869 0 0 0 51405 809 0 0 25 0 1 0 272049052 19030016 4122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4646 4122 395 324 0 3716 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 18584

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1844848/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21396 CPUtime=582.13
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1730045 0 0 0 57332 881 0 0 25 0 1 0 272049052 21909504 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5349 4214 395 324 0 4419 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 21396

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1844848/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21040 CPUtime=642.12
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 1849996 0 0 0 63263 949 0 0 25 0 1 0 272049052 21544960 4168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10853454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5260 4168 395 324 0 4330 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 21040


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1843888/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21644 CPUtime=882.05
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 3111294 0 0 0 86672 1533 0 0 25 0 1 0 272049052 22163456 4350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5411 4350 395 324 0 4481 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 21644

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 27979
/proc/meminfo: memFree=1843184/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21200 CPUtime=942.04
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 3424385 0 0 0 92515 1689 0 0 25 0 1 0 272049052 21708800 4425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5300 4429 395 324 0 4370 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 21200

[startup+1002.3 s]
/proc/loadavg: 1.09 1.01 0.95 2/78 27979
/proc/meminfo: memFree=1843184/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22324 CPUtime=1002.02
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 3736329 0 0 0 98359 1843 0 0 25 0 1 0 272049052 22859776 4581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5581 4581 395 324 0 4651 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 22324

[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 0.95 2/78 27979
/proc/meminfo: memFree=1843504/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22180 CPUtime=1062.01
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 3886594 0 0 0 104275 1926 0 0 25 0 1 0 272049052 22712320 4542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5545 4542 395 324 0 4615 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 22180

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843504/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22036 CPUtime=1121.99
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4044149 0 0 0 110190 2009 0 0 25 0 1 0 272049052 22564864 4472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333133 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5509 4472 395 324 0 4579 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 22036

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843568/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=19768 CPUtime=1181.97
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4195498 0 0 0 116102 2095 0 0 25 0 1 0 272049052 20242432 4418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 4942 4418 395 324 0 4012 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 19768

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843504/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=23112 CPUtime=1241.96
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4347773 0 0 0 122024 2172 0 0 25 0 1 0 272049052 23666688 4554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694631 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5778 4554 395 324 0 4848 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 23112

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843248/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22456 CPUtime=1301.95
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4496874 0 0 0 127943 2252 0 0 25 0 1 0 272049052 22994944 4538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5614 4538 395 324 0 4684 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 22456

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843248/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21468 CPUtime=1361.93
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4614040 0 0 0 133881 2312 0 0 25 0 1 0 272049052 21983232 4429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135153475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5367 4432 396 324 0 4437 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 21468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843056/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=23248 CPUtime=1421.92
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4717674 0 0 0 139824 2368 0 0 25 0 1 0 272049052 23805952 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5812 4572 395 324 0 4882 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 23248

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27979
/proc/meminfo: memFree=1843184/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=23364 CPUtime=1481.9
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4820666 0 0 0 145761 2429 0 0 25 0 1 0 272049052 23924736 4517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5841 4517 395 324 0 4911 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 23364

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27981
/proc/meminfo: memFree=1843248/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22088 CPUtime=1541.88
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 4931441 0 0 0 151698 2490 0 0 25 0 1 0 272049052 22618112 4545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5522 4545 395 324 0 4592 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 22088

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27981
/proc/meminfo: memFree=1843376/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22068 CPUtime=1601.87
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 5022665 0 0 0 157647 2540 0 0 25 0 1 0 272049052 22597632 4490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5517 4490 395 324 0 4587 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 22068

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27981
/proc/meminfo: memFree=1843184/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21960 CPUtime=1661.85
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 5123279 0 0 0 163588 2597 0 0 25 0 1 0 272049052 22487040 4495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5490 4495 395 324 0 4560 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 21960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27981
/proc/meminfo: memFree=1843056/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21612 CPUtime=1721.84
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 5216410 0 0 0 169535 2649 0 0 25 0 1 0 272049052 22130688 4402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331946 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5403 4402 395 324 0 4473 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 21612

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27981
/proc/meminfo: memFree=1843504/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=21948 CPUtime=1781.82
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 5307758 0 0 0 175476 2706 0 0 25 0 1 0 272049052 22474752 4462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5487 4462 395 324 0 4557 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 21948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 27981
/proc/meminfo: memFree=1843440/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22336 CPUtime=1800.02
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 5337276 0 0 0 177281 2721 0 0 25 0 1 0 272049052 22872064 4438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5584 4438 395 324 0 4654 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22336

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/78 27981
/proc/meminfo: memFree=1843440/2055920 swapFree=4157088/4192956
[pid=27978] ppid=27976 vsize=22336 CPUtime=1800.02
/proc/27978/stat : 27978 (bsolo3.0.17) R 27976 27978 27225 0 -1 4194304 5337276 0 0 0 177281 2721 0 0 25 0 1 0 272049052 22872064 4438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27978/statm: 5584 4438 395 324 0 4654 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22336

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1772.82
CPU system time (s): 27.2169
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 24428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.82
system time used= 27.2169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5337279
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= 20
involuntary context switches= 2818

runsolver used 1.36679 second user time and 4.15437 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Apr 30 19:08:34 UTC 2007

IDJOB= 433501
IDBENCH= 2888
IDSOLVER= 199
FILE ID= node7/433501-1177960114

PBS_JOBID= 4727719

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  acd1698068c8e97cbd0c7cd62fe047fc

RANDOM SEED= 685658865

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1860624 kB
Buffers:         28436 kB
Cached:          97764 kB
SwapCached:      15580 kB
Active:          41580 kB
Inactive:       107792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860624 kB
SwapTotal:     4192956 kB
SwapFree:      4157088 kB
Dirty:            9300 kB
Writeback:           0 kB
Mapped:          30300 kB
Slab:            31396 kB
Committed_AS:  9008140 kB
PageTables:       1860 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= 66555 MiB

End job on node7 on Mon Apr 30 19:38:37 UTC 2007