Trace number 454380

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)-126 1800.13 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
MD5SUM0945390fcac05113ffd57d1199a19e21
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-126
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -126
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31640
Sum of products size (including duplicates)63280
Number of different products15820
Sum of products size31640

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454380-1178025320/instance-454380-1178025320.opb
0.00/0.00	c File size is 416926 bytes.
0.09/0.20	c Highest Coefficient sum: 1000
0.09/0.20	c Parsing was ok!!
0.09/0.20	c Total parsing time: 0.197 s
0.19/0.25	c Var: 32640 Constr: 65280 32640/1000/31640 Lit: 253120 Watch. Lit: 189840
0.19/0.25	c Obj. Vars: 1000 (3.06373 % of total variables)
1.29/1.34	c Pre-processing Time: 1.339 s
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c        0   1000    15820    47460    3    31640    5273      0      0 1.34
1.29/1.34	c Switching off LPR mode.
1.29/1.35	o -125	1.346
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c        0   1000    15821    48460    3    31767    6273      1      0 1.35
1.29/1.36	o -126	1.363
1800.00/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.50	c       27   1000    15849    73017    4    31949    6273     29     19 1.36
1800.00/1800.50	c      128   1000    15950   160964   10    32151    6901    130     89 1.43
1800.00/1800.50	c      379   1000    16201   379535   23    32653    7592    381    241 1.57
1800.00/1800.50	c      854   1000    16676   793217   47    33603    8352    856    463 1.84
1800.00/1800.50	c     1667   1000    17489  1501255   85    35229    9188   1669    710 2.35
1800.00/1800.50	c     2988   1000    18810  2651708  140    37871   10107   2990    927 3.22
1800.00/1800.50	c     5070   1000    20892  4464568  213    42035   11118   5072   1023 4.96
1800.00/1800.50	c     8294   1000    24116  7271992  301    48483   12230   8296   1009 8.22
1800.00/1800.50	c    13230   1000    29052 11569259  398    58355   13454  13232    981 13.47
1800.00/1800.50	c    20736   1000    36558 18105347  495    73367   14800  20738    786 26.37
1800.00/1800.50	c    32097   1000    47919 27998939  584    96089   16281  32099    613 52.33
1800.00/1800.50	c    49241   1000    24340  7465657  306    48806   17910   8520    514 95.64
1800.00/1800.50	c    75062   1000    50161 29949449  597   100448   19702  34341    419 179.06
1800.00/1800.50	c   113894   1000    46586 26831979  575    93298   21673  30766    400 284.66
1800.00/1800.50	c   172246   1000    61522 39846700  647   123170   23841  45702    325 528.80
1800.00/1800.50	c   259879   1000    59846 38403243  641   119818   26226  44026    258 1005.67
1800.00/1800.50	c   391432   1000    50348 30113891  598   100822   28849  34528    229 1705.93
1800.00/1800.50	c Caught signal: 15
1800.00/1800.50	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.00/1800.50	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.00/1800.50	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.00/1800.50	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.00/1800.50	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.00/1800.50	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.00/1800.50	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.00/1800.50	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.00/1800.50	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
1800.00/1800.50	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.00/1800.50	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.00/1800.50	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.00/1800.50	v -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.00/1800.50	v -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315
1800.00/1800.50	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.00/1800.50	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357
1800.00/1800.50	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378
1800.00/1800.50	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.00/1800.50	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.00/1800.50	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.00/1800.50	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.00/1800.50	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.00/1800.50	v -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.00/1800.50	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.00/1800.50	v -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.00/1800.50	v -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567
1800.00/1800.50	v -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.00/1800.50	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.00/1800.50	v -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631
1800.00/1800.50	v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652
1800.00/1800.50	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1800.00/1800.50	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 x694
1800.00/1800.50	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 -x715
1800.00/1800.50	v -x716 x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736
1800.00/1800.50	v -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1800.00/1800.50	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1800.00/1800.50	v -x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 x798 x799 -x800
1800.00/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.00/1800.50	v -x822 -x823 -x824 -x825 -x826 x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 x843
1800.00/1800.50	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864
1800.00/1800.50	v x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 x875 x876 x877 x878 -x879 -x880 -x881 -x882 x883 -x884 x885 -x886
1800.00/1800.50	v -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 x895 -x896 x897 x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 -x908
1800.00/1800.50	v x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 x919 -x920 x921 x922 x923 -x924 x925 -x926 -x927 -x928 -x929 x930
1800.00/1800.50	v x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 -x941 x942 -x943 x944 x945 x946 x947 x948 x949 x950 -x951 -x952 -x953
1800.00/1800.50	v -x954 -x955 -x956 x957 x958 x959 -x960 x961 x962 -x963 x964 x965 -x966 -x967 x968 x969 x970 -x971 x972 x973 -x974 x975 x976
1800.00/1800.50	v -x977 -x978 x979 x980 -x981 x982 -x983 -x984 x985 x986 x987 x988 x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000
1800.00/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.50	c   18   418329  68763   527688    67411 44964797  51591    232 1800.02
1800.00/1800.50	c Objective: -126
1800.00/1800.50	s SATISFIABLE
1800.00/1800.50	c Total time: 1800.02 s

Verifier Data (download as text)

OK	-126

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-454380-1178025320 -o ROOT/results/node11/solver-454380-1178025320 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454380-1178025320/instance-454380-1178025320.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.98 0.97 0.99 3/77 20505
/proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=12144 CPUtime=0
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 243580980 12435456 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134526651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 3036 336 281 324 0 2003 0

[startup+0.099732 s]
/proc/loadavg: 0.98 0.97 0.99 3/77 20505
/proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=9532 CPUtime=0.09
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 1705 0 0 0 8 1 0 0 18 0 1 0 243580980 9760768 1674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 2383 1674 343 324 0 1350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9532

[startup+0.101732 s]
/proc/loadavg: 0.98 0.97 0.99 3/77 20505
/proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=9532 CPUtime=0.09
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 1732 0 0 0 8 1 0 0 18 0 1 0 243580980 9760768 1701 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 2383 1701 344 324 0 1350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9532

[startup+0.301755 s]
/proc/loadavg: 0.98 0.97 0.99 3/77 20505
/proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=21796 CPUtime=0.29
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 4886 0 0 0 27 2 0 0 19 0 1 0 243580980 22319104 4713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 5449 4713 307 324 0 4518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21796

[startup+0.701803 s]
/proc/loadavg: 0.98 0.97 0.99 3/77 20505
/proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=21796 CPUtime=0.69
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 4886 0 0 0 67 2 0 0 23 0 1 0 243580980 22319104 4713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 5449 4713 307 324 0 4518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21796

[startup+1.5019 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1784848/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=24472 CPUtime=1.49
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 5987 0 0 0 143 6 0 0 25 0 1 0 243580980 25059328 5366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 6118 5366 313 324 0 5187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24472

[startup+3.10108 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1771792/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=50632 CPUtime=3.09
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 12526 0 0 0 300 9 0 0 25 0 1 0 243580980 51847168 11905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 12658 11905 313 324 0 11727 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50632

[startup+6.30147 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1724880/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=92252 CPUtime=6.28
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 22930 0 0 0 615 13 0 0 25 0 1 0 243580980 94466048 22309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 23063 22309 313 324 0 22132 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92252

[startup+12.7022 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1652816/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=159848 CPUtime=12.69
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 39852 0 0 0 1247 22 0 0 25 0 1 0 243580980 163684352 39231 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 39962 39231 313 324 0 39031 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 159848

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1565912/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=243104 CPUtime=25.48
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 60651 0 0 0 2515 33 0 0 25 0 1 0 243580980 248938496 60030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 60776 60030 313 324 0 59845 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 243104

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1439704/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=368376 CPUtime=51.08
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 91972 0 0 0 5059 49 0 0 25 0 1 0 243580980 377217024 91351 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 92094 91351 313 324 0 91163 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 368376

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1245528/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=560016 CPUtime=102.26
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 139931 0 0 0 10152 74 0 0 25 0 1 0 243580980 573456384 139262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 140004 139262 313 324 0 139073 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 560016

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1245528/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=560016 CPUtime=162.24
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 139931 0 0 0 16146 78 0 0 25 0 1 0 243580980 573456384 139262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 140004 139262 313 324 0 139073 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 560016

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1207832/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=597596 CPUtime=222.23
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 149383 0 0 0 22137 86 0 0 25 0 1 0 243580980 611938304 148662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 149399 148662 313 324 0 148468 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 597596

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1207832/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=597596 CPUtime=282.21
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 149383 0 0 0 28131 90 0 0 25 0 1 0 243580980 611938304 148662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 149399 148662 313 324 0 148468 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 597596

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1186584/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=619656 CPUtime=342.2
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 34122 98 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 154914 154171 313 324 0 153983 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 619656

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1185816/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=619656 CPUtime=402.17
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 40117 100 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 154914 154171 313 324 0 153983 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 619656

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1185816/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=619656 CPUtime=462.17
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 46113 104 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 154914 154171 313 324 0 153983 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 619656

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 20506
/proc/meminfo: memFree=1185816/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=619656 CPUtime=522.15
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 52109 106 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 154914 154171 313 324 0 153983 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 619656

[startup+582.302 s]
/proc/loadavg: 1.11 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1161432/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=643936 CPUtime=582.13
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161086 0 0 0 58102 111 0 0 25 0 1 0 243580980 659390464 160256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 160984 160256 313 324 0 160053 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 643936

[startup+642.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1161432/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=643936 CPUtime=642.12
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161086 0 0 0 64098 114 0 0 25 0 1 0 243580980 659390464 160256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 160984 160256 313 324 0 160053 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 643936


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1161176/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=644196 CPUtime=882.05
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161203 0 0 0 88081 124 0 0 25 0 1 0 243580980 659656704 160317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 161049 160317 313 324 0 160118 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 644196

[startup+942.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 20506
/proc/meminfo: memFree=1161176/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=644196 CPUtime=942.03
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161203 0 0 0 94075 128 0 0 25 0 1 0 243580980 659656704 160317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 161049 160317 313 324 0 160118 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 644196

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 20506
/proc/meminfo: memFree=1161176/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=644196 CPUtime=1002.02
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161203 0 0 0 100070 132 0 0 25 0 1 0 243580980 659656704 160317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 161049 160317 313 324 0 160118 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 644196

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670448 CPUtime=1062
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 106063 137 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167612 166875 313 324 0 166681 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 670448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670448 CPUtime=1121.99
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 112058 141 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167612 166875 313 324 0 166681 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 670448

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670448 CPUtime=1181.97
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 118053 144 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167612 166875 313 324 0 166681 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 670448

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670448 CPUtime=1241.95
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 124048 147 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167612 166875 313 324 0 166681 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 670448

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670448 CPUtime=1301.94
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 130044 150 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167612 166875 313 324 0 166681 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 670448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1143576/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=661704 CPUtime=1361.92
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 136039 153 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 165426 164699 313 324 0 164495 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 661704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1143576/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=661704 CPUtime=1421.91
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 142036 155 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 165426 164699 313 324 0 164495 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 661704

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1143576/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=661704 CPUtime=1481.88
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 148031 157 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 165426 164699 313 324 0 164495 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 661704

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1143640/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=661704 CPUtime=1541.87
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 154028 159 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 165426 164699 313 324 0 164495 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 661704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670228 CPUtime=1601.86
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 160024 162 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167557 166809 313 324 0 166626 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 670228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670228 CPUtime=1661.84
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 166019 165 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167557 166809 313 324 0 166626 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 670228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670228 CPUtime=1721.82
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 172014 168 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167557 166809 313 324 0 166626 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 670228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=670228 CPUtime=1781.8
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 178009 171 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 167557 166809 313 324 0 166626 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 670228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20506
/proc/meminfo: memFree=1106200/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=699104 CPUtime=1800
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 177266 0 0 0 179824 176 0 0 25 0 1 0 243580980 715882496 174028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 174776 174028 313 324 0 173845 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 699104

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 20507
/proc/meminfo: memFree=1720336/2055920 swapFree=4147120/4192956
[pid=20505] ppid=20503 vsize=0 CPUtime=1800.11
/proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194308 177267 0 0 0 179824 187 0 0 25 0 1 0 243580980 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/20505/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.13
CPU user time (s): 1798.25
CPU system time (s): 1.87971
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 699344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 1.87971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 36513

runsolver used 1.38679 second user time and 3.99339 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue May  1 13:15:20 UTC 2007

IDJOB= 454380
IDBENCH= 48193
IDSOLVER= 163
FILE ID= node11/454380-1178025320

PBS_JOBID= 4728369

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454380-1178025320/instance-454380-1178025320.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-454380-1178025320 -o ROOT/results/node11/solver-454380-1178025320 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454380-1178025320/instance-454380-1178025320.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0945390fcac05113ffd57d1199a19e21

RANDOM SEED= 975418733

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1803184 kB
Buffers:         46628 kB
Cached:         112476 kB
SwapCached:      14160 kB
Active:         107412 kB
Inactive:        78432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803184 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            7160 kB
Writeback:           0 kB
Mapped:          33272 kB
Slab:            52300 kB
Committed_AS:  6916948 kB
PageTables:       1856 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node11 on Tue May  1 13:45:23 UTC 2007