Trace number 454056

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)-65 1800.29 1800.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
MD5SUM3262a45f0e59552e467da6c31a32418a
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-70
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -70
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 constraint60
Maximum length of a constraint109
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)75586
Sum of products size (including duplicates)151172
Number of different products37793
Sum of products size75586

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454056-1178020667/instance-454056-1178020667.opb
0.00/0.00	c File size is 976560 bytes.
0.39/0.46	c Highest Coefficient sum: 1000
0.39/0.46	c Parsing was ok!!
0.39/0.46	c Total parsing time: 0.458 s
0.49/0.59	c Var: 76586 Constr: 153172 76586/1000/75586 Lit: 604688 Watch. Lit: 453516
0.49/0.59	c Obj. Vars: 1000 (1.30572 % of total variables)
6.59/6.67	c Pre-processing Time: 6.669 s
6.59/6.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.59/6.67	c        0   1000    37793   113379    3    75586   12597      0      0 6.67
6.59/6.67	c Switching off LPR mode.
6.59/6.69	o -64	6.688
6.59/6.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.59/6.70	c        0   1000    37794   114379    3    75652   13597      1      0 6.69
6.59/6.70	o -65	6.694
1800.05/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.60	c        3   1000    37798   118179    3    75725   13597      5      0 6.70
1800.05/1800.60	c      103   1000    37898   211340    5    75925   14957    105     15 6.75
1800.05/1800.60	c      354   1000    38149   445161   11    76427   16453    356     51 6.88
1800.05/1800.60	c      829   1000    38624   887729   22    77377   18099    831    115 7.20
1800.05/1800.60	c     1644   1000    39439  1646843   41    79007   19909   1646    210 7.80
1800.05/1800.60	c     2965   1000    40760  2877205   70    81649   21900   2967    336 8.81
1800.05/1800.60	c     5046   1000    42841  4815303  112    85811   24091   5048    453 11.12
1800.05/1800.60	c     8269   1000    46064  7817300  169    92257   26501   8271    488 16.93
1800.05/1800.60	c    13206   1000    51001 12416847  243   102131   29152  13208    502 26.27
1800.05/1800.60	c    20712   1000    58507 19408279  331   117143   32068  20714    434 47.67
1800.05/1800.60	c    32074   1000    69869 29987718  429   139867   35275  32076    372 86.13
1800.05/1800.60	c    49218   1000    87013 45955213  528   174155   38803  49220    319 154.03
1800.05/1800.60	c    75038   1000   112833 70002320  620   225795   42684  75040    278 269.44
1800.05/1800.61	c   113870   1000   151665 106173450  700   303459   46953 113872    215 528.32
1800.05/1800.61	c   172222   1000    99076 57191238  577   198217   51649  61283    123 1393.86
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	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.05/1800.61	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.05/1800.61	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.05/1800.61	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
1800.05/1800.61	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.05/1800.61	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.05/1800.61	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.05/1800.61	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.05/1800.61	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.05/1800.61	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.05/1800.61	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.05/1800.61	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.05/1800.61	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.05/1800.61	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.05/1800.61	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.05/1800.61	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.05/1800.61	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.05/1800.61	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.05/1800.61	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.05/1800.61	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.05/1800.61	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461
1800.05/1800.61	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.05/1800.61	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503
1800.05/1800.61	v x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.05/1800.61	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545
1800.05/1800.61	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.05/1800.61	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.05/1800.61	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.05/1800.61	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.05/1800.61	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.05/1800.61	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 x669 -x670 -x671
1800.05/1800.61	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.05/1800.61	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.05/1800.61	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.05/1800.61	v -x735 -x736 -x737 x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755
1800.05/1800.61	v -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.05/1800.61	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.05/1800.61	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.05/1800.61	v -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.05/1800.61	v -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 x859 -x860
1800.05/1800.61	v -x861 x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.05/1800.61	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.05/1800.61	v -x903 x904 x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.05/1800.61	v x924 -x925 -x926 -x927 x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945
1800.05/1800.61	v x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 -x965 x966 -x967
1800.05/1800.61	v -x968 -x969 -x970 x971 -x972 x973 x974 -x975 x976 -x977 x978 x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 x989
1800.05/1800.61	v x990 x991 x992 x993 x994 x995 x996 -x997 x998 x999 x1000
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c   16   207610  21501   235790   134464 90145405  96671    115 1800.05
1800.05/1800.61	c Objective: -65
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-65

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-454056-1178020667 -o ROOT/results/node60/solver-454056-1178020667 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454056-1178020667/instance-454056-1178020667.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.78 0.95 0.98 3/64 14922
/proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=12692 CPUtime=0
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 249976655 12996608 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5995683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 3173 333 279 324 0 2004 0

[startup+0.0686221 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 14922
/proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=8684 CPUtime=0.06
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 1337 0 0 0 6 0 0 0 18 0 1 0 249976655 8892416 1307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 2171 1307 325 324 0 1002 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8684

[startup+0.101625 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 14922
/proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=10332 CPUtime=0.09
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 1781 0 0 0 9 0 0 0 18 0 1 0 249976655 10579968 1751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 2583 1752 343 324 0 1414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10332

[startup+0.301644 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 14922
/proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=20656 CPUtime=0.29
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 4557 0 0 0 27 2 0 0 19 0 1 0 249976655 21151744 4359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 5164 4360 442 324 0 3995 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20656

[startup+0.701684 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 14922
/proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=46208 CPUtime=0.69
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11073 0 0 0 64 5 0 0 22 0 1 0 249976655 47316992 10636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 11552 10636 305 324 0 10622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46208

[startup+1.50176 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 14923
/proc/meminfo: memFree=1859960/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=46208 CPUtime=1.49
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11073 0 0 0 144 5 0 0 25 0 1 0 249976655 47316992 10636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 11552 10636 305 324 0 10622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46208

[startup+3.10192 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 14923
/proc/meminfo: memFree=1859832/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=46208 CPUtime=3.09
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11073 0 0 0 304 5 0 0 25 0 1 0 249976655 47316992 10636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 11552 10636 305 324 0 10622 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46208

[startup+6.30123 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 14923
/proc/meminfo: memFree=1857336/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=48776 CPUtime=6.29
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11844 0 0 0 618 11 0 0 25 0 1 0 249976655 49946624 11257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 12194 11257 307 324 0 11264 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48776

[startup+12.7019 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 14923
/proc/meminfo: memFree=1794936/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=116304 CPUtime=12.68
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 29660 0 0 0 1251 17 0 0 25 0 1 0 249976655 119095296 28173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 29076 28173 311 324 0 28146 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116304

[startup+25.5011 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 14923
/proc/meminfo: memFree=1715968/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=191912 CPUtime=25.48
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 48561 0 0 0 2523 25 0 0 25 0 1 0 249976655 196517888 47074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 47978 47074 311 324 0 47048 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191912

[startup+51.1016 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 14923
/proc/meminfo: memFree=1594816/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=313828 CPUtime=51.07
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 79040 0 0 0 5066 41 0 0 25 0 1 0 249976655 321359872 77553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 78457 77553 311 324 0 77527 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 313828

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 14923
/proc/meminfo: memFree=1396288/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=509424 CPUtime=102.26
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 127913 0 0 0 10161 65 0 0 25 0 1 0 249976655 521650176 126426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 127356 126429 311 324 0 126426 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 509424

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 14923
/proc/meminfo: memFree=1229056/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=680136 CPUtime=162.24
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 170603 0 0 0 16140 84 0 0 25 0 1 0 249976655 696459264 169116 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 170034 169116 311 324 0 169104 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 680136

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/71 15079
/proc/meminfo: memFree=1067064/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=836104 CPUtime=222.15
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 209604 0 0 0 22110 105 0 0 25 0 1 0 249976655 856170496 208117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 209026 208117 311 324 0 208096 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 836104

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=907840/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=998784 CPUtime=282.12
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 250258 0 0 0 28087 125 0 0 25 0 1 0 249976655 1022754816 248771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 249696 248771 311 324 0 248766 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 998784

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=756160/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1147836 CPUtime=342.1
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 287531 0 0 0 34066 144 0 0 25 0 1 0 249976655 1175384064 286044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 286959 286044 311 324 0 286029 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 1147836

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=666176/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1238132 CPUtime=402.09
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 310095 0 0 0 40052 157 0 0 25 0 1 0 249976655 1267847168 308608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 309533 308608 311 324 0 308603 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 1238132

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=591488/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1312576 CPUtime=462.07
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 328701 0 0 0 46042 165 0 0 25 0 1 0 249976655 1344077824 327214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 328144 327214 311 324 0 327214 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1312576

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=526528/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1378060 CPUtime=522.05
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 345072 0 0 0 52031 174 0 0 25 0 1 0 249976655 1411133440 343585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 344515 343585 311 324 0 343585 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 1378060

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=582.04
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 58016 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1501360

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=642.03
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 64015 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1501360


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=881.96
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 88008 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 1501360

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=941.95
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 94007 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1501360

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1001.94
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 100005 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1501360

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1061.92
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 106003 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1501360

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1121.91
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 112002 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1501360

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1181.89
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 118000 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1501360

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1241.88
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 123999 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1501360

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1301.87
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 129998 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1501360

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1361.85
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 135996 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1501360

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1421.83
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 141994 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1501360

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1481.81
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 147992 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1501360

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1541.8
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 153991 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1501360

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1601.78
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 159989 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1501360

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1661.78
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 165988 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1501360

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1721.76
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 171986 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1501360

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1781.74
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 177984 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1501360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=1501360 CPUtime=1800.05
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 179815 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 375340 374410 311 324 0 374410 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1501360

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 15121
/proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956
[pid=14922] ppid=14920 vsize=0 CPUtime=1800.23
/proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194308 376022 0 0 0 179815 208 0 0 25 0 1 0 249976655 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14922/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.85
CPU time (s): 1800.29
CPU user time (s): 1798.16
CPU system time (s): 2.13368
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1501844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.13368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376022
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= 13
involuntary context switches= 3109

runsolver used 1.26181 second user time and 3.71443 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 11:57:47 UTC 2007

IDJOB= 454056
IDBENCH= 48171
IDSOLVER= 199
FILE ID= node60/454056-1178020667

PBS_JOBID= 4728378

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454056-1178020667/instance-454056-1178020667.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-454056-1178020667 -o ROOT/results/node60/solver-454056-1178020667 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454056-1178020667/instance-454056-1178020667.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  3262a45f0e59552e467da6c31a32418a

RANDOM SEED= 244297265

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1901848 kB
Buffers:         22700 kB
Cached:          62676 kB
SwapCached:       3228 kB
Active:          35048 kB
Inactive:        59408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1901848 kB
SwapTotal:     4192956 kB
SwapFree:      4183252 kB
Dirty:            7692 kB
Writeback:           0 kB
Mapped:          15184 kB
Slab:            45624 kB
Committed_AS:  3471544 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node60 on Tue May  1 12:27:50 UTC 2007