Trace number 354726

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.16SAT (TO)27 1800.07 1801.11

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

Verifier Data (download as text)

OK	27

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-354726-1176723384 -o ROOT/results/node67/solver-354726-1176723384 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354726-1176723384/instance-354726-1176723384.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.93 1.01 0.99 3/64 18874
/proc/meminfo: memFree=1697656/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=2520 CPUtime=0
/proc/18874/stat : 18874 (bsolo3.0.16) D 18872 18874 18474 0 -1 4194304 58 0 0 0 0 0 0 0 20 0 1 0 148327914 2580480 41 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6890276 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/18874/statm: 630 41 32 324 0 8 0

[startup+0.0373679 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 18874
/proc/meminfo: memFree=1697656/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=2520 CPUtime=0
/proc/18874/stat : 18874 (bsolo3.0.16) D 18872 18874 18474 0 -1 4194304 58 0 0 0 0 0 0 0 20 0 1 0 148327914 2580480 41 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6890276 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/18874/statm: 630 41 32 324 0 8 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2520

[startup+0.10138 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 18874
/proc/meminfo: memFree=1697656/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=14616 CPUtime=0
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 413 0 0 0 0 0 0 0 18 0 1 0 148327914 14966784 381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134529510 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 3654 387 287 324 0 2046 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14616

[startup+0.301416 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 18874
/proc/meminfo: memFree=1697656/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=8752 CPUtime=0.2
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1172 0 0 0 20 0 0 0 19 0 1 0 148327914 8962048 1140 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 2188 1140 574 324 0 580 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 8752

[startup+0.701488 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 18874
/proc/meminfo: memFree=1697656/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=13952 CPUtime=0.6
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3551 0 0 0 59 1 0 0 22 0 1 0 148327914 14286848 2842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 3488 2842 308 324 0 2557 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13952

[startup+1.50164 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 18875
/proc/meminfo: memFree=1687152/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=13332 CPUtime=1.39
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 4623 0 0 0 138 1 0 0 25 0 1 0 148327914 13651968 2702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 3333 2702 308 324 0 2402 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 13332

[startup+3.10193 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18875
/proc/meminfo: memFree=1687792/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=14612 CPUtime=3
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 9452 0 0 0 296 4 0 0 25 0 1 0 148327914 14962688 3049 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 3653 3049 333 324 0 2722 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 14612

[startup+6.30252 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 18875
/proc/meminfo: memFree=1685296/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=17848 CPUtime=6.2
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 44590 0 0 0 601 19 0 0 25 0 1 0 148327914 18276352 3370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 4462 3370 394 324 0 3531 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 17848

[startup+12.7017 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 18875
/proc/meminfo: memFree=1685432/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=19156 CPUtime=12.59
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 56972 0 0 0 1234 25 0 0 25 0 1 0 148327914 19615744 3451 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694892 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 4789 3451 394 324 0 3858 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 19156

[startup+25.501 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 18875
/proc/meminfo: memFree=1685752/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=15256 CPUtime=25.39
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 84264 0 0 0 2501 38 0 0 25 0 1 0 148327914 15622144 3289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135447851 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 3814 3289 394 324 0 2883 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 15256

[startup+51.1017 s]
/proc/loadavg: 0.97 1.01 0.99 2/65 18875
/proc/meminfo: memFree=1685304/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=17628 CPUtime=50.95
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 148662 0 0 0 5022 73 0 0 25 0 1 0 148327914 18051072 3376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7323449 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 4407 3376 394 324 0 3476 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 17628

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18875
/proc/meminfo: memFree=1685560/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=15304 CPUtime=102.12
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 272690 0 0 0 10074 138 0 0 25 0 1 0 148327914 15671296 3301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134705751 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 3826 3301 394 324 0 2895 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 15304

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18875
/proc/meminfo: memFree=1684728/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=18924 CPUtime=162.07
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 478516 0 0 0 15969 238 0 0 25 0 1 0 148327914 19378176 3676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 4731 3676 394 324 0 3800 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 18924

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1683064/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=17708 CPUtime=222.02
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 725280 0 0 0 21845 357 0 0 25 0 1 0 148327914 18132992 3901 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134709794 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 4427 3901 394 324 0 3496 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 17708

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1682744/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=21232 CPUtime=281.98
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 922447 0 0 0 27748 450 0 0 25 0 1 0 148327914 21741568 4157 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694892 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5308 4157 394 324 0 4377 0
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (KiB) 21232

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1682424/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=21520 CPUtime=341.93
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1025421 0 0 0 33687 506 0 0 25 0 1 0 148327914 22036480 4154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700770 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5380 4154 394 324 0 4449 0
Current children cumulated CPU time (s) 341.93
Current children cumulated vsize (KiB) 21520

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1682232/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=20580 CPUtime=401.89
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1235764 0 0 0 39589 600 0 0 25 0 1 0 148327914 21073920 4185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5145 4185 394 324 0 4214 0
Current children cumulated CPU time (s) 401.89
Current children cumulated vsize (KiB) 20580

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1681912/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=21660 CPUtime=461.86
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1500382 0 0 0 45469 717 0 0 25 0 1 0 148327914 22179840 4299 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690040 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5415 4299 394 324 0 4484 0
Current children cumulated CPU time (s) 461.86
Current children cumulated vsize (KiB) 21660

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680248/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=23332 CPUtime=521.81
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1680610 0 0 0 51376 805 0 0 25 0 1 0 148327914 23891968 4654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134689980 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5833 4654 394 324 0 4902 0
Current children cumulated CPU time (s) 521.81
Current children cumulated vsize (KiB) 23332

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680184/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=24296 CPUtime=581.77
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1816094 0 0 0 57302 875 0 0 25 0 1 0 148327914 24879104 4670 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700674 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 6074 4670 394 324 0 5143 0
Current children cumulated CPU time (s) 581.77
Current children cumulated vsize (KiB) 24296

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680248/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=20304 CPUtime=641.73
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 1986805 0 0 0 63212 961 0 0 25 0 1 0 148327914 20791296 4551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134709763 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5076 4551 394 324 0 4145 0
Current children cumulated CPU time (s) 641.73
Current children cumulated vsize (KiB) 20304


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680824/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22696 CPUtime=881.6
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2380830 0 0 0 86979 1181 0 0 25 0 1 0 148327914 23240704 4668 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135326715 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5674 4668 394 324 0 4743 0
Current children cumulated CPU time (s) 881.6
Current children cumulated vsize (KiB) 22696

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680824/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=21932 CPUtime=941.58
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2460901 0 0 0 92927 1231 0 0 25 0 1 0 148327914 22458368 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134968379 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5483 4538 394 324 0 4552 0
Current children cumulated CPU time (s) 941.58
Current children cumulated vsize (KiB) 21932

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680760/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22064 CPUtime=1001.56
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2529145 0 0 0 98883 1273 0 0 25 0 1 0 148327914 22593536 4548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694892 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5516 4548 394 324 0 4585 0
Current children cumulated CPU time (s) 1001.56
Current children cumulated vsize (KiB) 22064

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680760/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=21788 CPUtime=1061.54
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2601156 0 0 0 104839 1315 0 0 25 0 1 0 148327914 22310912 4547 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331966 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5447 4547 394 324 0 4516 0
Current children cumulated CPU time (s) 1061.54
Current children cumulated vsize (KiB) 21788

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680760/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22196 CPUtime=1121.51
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2681659 0 0 0 110789 1362 0 0 25 0 1 0 148327914 22728704 4551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694892 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5549 4551 394 324 0 4618 0
Current children cumulated CPU time (s) 1121.51
Current children cumulated vsize (KiB) 22196

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680760/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22092 CPUtime=1181.49
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2755520 0 0 0 116738 1411 0 0 25 0 1 0 148327914 22622208 4553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694906 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5523 4553 394 324 0 4592 0
Current children cumulated CPU time (s) 1181.49
Current children cumulated vsize (KiB) 22092

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680632/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22140 CPUtime=1241.47
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2833987 0 0 0 122683 1464 0 0 25 0 1 0 148327914 22671360 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694906 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5535 4538 394 324 0 4604 0
Current children cumulated CPU time (s) 1241.47
Current children cumulated vsize (KiB) 22140

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680632/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22064 CPUtime=1301.45
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2913492 0 0 0 128626 1519 0 0 25 0 1 0 148327914 22593536 4544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5516 4544 394 324 0 4585 0
Current children cumulated CPU time (s) 1301.45
Current children cumulated vsize (KiB) 22064

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680632/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22636 CPUtime=1361.43
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 2988771 0 0 0 134577 1566 0 0 25 0 1 0 148327914 23179264 4588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694890 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5659 4588 394 324 0 4728 0
Current children cumulated CPU time (s) 1361.43
Current children cumulated vsize (KiB) 22636

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 18877
/proc/meminfo: memFree=1680696/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22372 CPUtime=1421.4
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3068466 0 0 0 140527 1613 0 0 25 0 1 0 148327914 22908928 4573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5593 4573 394 324 0 4662 0
Current children cumulated CPU time (s) 1421.4
Current children cumulated vsize (KiB) 22372

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/71 18943
/proc/meminfo: memFree=1679352/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22884 CPUtime=1481.37
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3148008 0 0 0 146475 1662 0 0 25 0 1 0 148327914 23433216 4539 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134792591 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5721 4539 394 324 0 4790 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 22884

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680248/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=20088 CPUtime=1541.35
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3232225 0 0 0 152408 1727 0 0 25 0 1 0 148327914 20570112 4497 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5022 4497 394 324 0 4091 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 20088

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680248/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=20088 CPUtime=1601.34
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3323063 0 0 0 158354 1780 0 0 25 0 1 0 148327914 20570112 4497 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135445437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5022 4497 394 324 0 4091 0
Current children cumulated CPU time (s) 1601.34
Current children cumulated vsize (KiB) 20088

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680248/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=21760 CPUtime=1661.31
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3408026 0 0 0 164304 1827 0 0 25 0 1 0 148327914 22282240 4516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5440 4516 394 324 0 4509 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 21760

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680248/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22152 CPUtime=1721.28
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3494446 0 0 0 170252 1876 0 0 25 0 1 0 148327914 22683648 4531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5679 4533 394 324 0 4748 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 22152

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680184/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22724 CPUtime=1781.27
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3583596 0 0 0 176194 1933 0 0 25 0 1 0 148327914 23269376 4573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694909 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5681 4573 394 324 0 4750 0
Current children cumulated CPU time (s) 1781.27
Current children cumulated vsize (KiB) 22724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680056/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22944 CPUtime=1800.06
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3613010 0 0 0 178056 1950 0 0 25 0 1 0 148327914 23494656 4592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5736 4592 394 324 0 4805 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 22944

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

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

[startup+1801.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 19075
/proc/meminfo: memFree=1680056/2055920 swapFree=4183964/4192956
[pid=18874] ppid=18872 vsize=22944 CPUtime=1800.06
/proc/18874/stat : 18874 (bsolo3.0.16) R 18872 18874 18474 0 -1 4194304 3613010 0 0 0 178056 1950 0 0 25 0 1 0 148327914 23494656 4592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18874/statm: 5736 4592 394 324 0 4805 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 22944

Child status: 15
Real time (s): 1801.11
CPU time (s): 1800.07
CPU user time (s): 1780.57
CPU system time (s): 19.509
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 24776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.57
system time used= 19.509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3613011
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= 11
involuntary context switches= 6890

runsolver used 1.79973 second user time and 4.76128 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Apr 16 11:36:24 UTC 2007

IDJOB= 354726
IDBENCH= 2888
IDSOLVER= 163
FILE ID= node67/354726-1176723384

PBS_JOBID= 4559487

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  acd1698068c8e97cbd0c7cd62fe047fc

RANDOM SEED= 130569998

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1698064 kB
Buffers:         20720 kB
Cached:         268032 kB
SwapCached:       3580 kB
Active:         164628 kB
Inactive:       134980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1698064 kB
SwapTotal:     4192956 kB
SwapFree:      4183964 kB
Dirty:            7092 kB
Writeback:           0 kB
Mapped:          16368 kB
Slab:            44184 kB
Committed_AS:   213828 kB
PageTables:       1456 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= 66541 MiB

End job on node67 on Mon Apr 16 12:06:27 UTC 2007