Trace number 453020

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.17OPT3 588.438 588.595

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
MD5SUMafe3df18e5a0f1ba7fdc86d94afdb427
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.172973
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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/453020-1178012203/instance-453020-1178012203.opb
0.00/0.00	c File size is 8050 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.01
0.00/0.01	c Switching off LPR mode.
545.35/545.58	c      101    616     1019     9496    9     3440    5691    101   5611 0.02
545.35/545.58	c      251    616     1169    20113   17     3707    6261    251   8366 0.03
545.35/545.58	c      477    616     1395    39500   28     4168    6888    477   8672 0.06
545.35/545.58	c      815    616     1733    60397   34     4823    7577    815   9476 0.09
545.35/545.58	c     1324    616     2242    94415   42     5824    8335   1324   9068 0.15
545.35/545.58	c     2087    616     3005   141115   46     7308    9169   2087   8957 0.23
545.35/545.58	c     3234    616     4152   207778   50     9594   10086   3234   7283 0.44
545.35/545.58	c     4956    616     5874   308409   52    13085   11095   4956   5398 0.92
545.35/545.58	c     7541    616     8459   459264   54    18262   12205   7541   3696 2.04
545.35/545.58	c    11421    616    12339   717621   58    26043   13426  11421   3833 2.98
545.35/545.58	c    17243    616    11369   662262   58    24075   14769  10451   3151 5.47
545.35/545.58	c    25980    616    12608   691692   54    26554   16246  11690   2703 9.61
545.35/545.58	c    39090    613     9376   494138   52    20096   17871   8458   2013 19.41
545.35/545.58	c    58761    613    10775   644508   59    22848   19659   9857   1608 36.53
545.35/545.58	c    88271    613    19879  1262025   63    41125   21625  18961   1678 52.58
545.35/545.58	c   132541    613    18999  1229163   64    39307   23788  18081   1297 102.15
545.35/545.58	c   198951    610    20727  1268191   61    42762   26167  19809   1072 185.51
545.35/545.58	c   298571    607    13463   811550   60    28266   28784  12545    941 317.24
545.35/545.58	c   448007    604    23018  1464427   63    47293   31663  22100    833 537.53
545.35/545.58	o 241	545.433
549.75/549.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.75/549.90	c   461813    604    16233  1047203   64    33797    5189  15315    846 545.43
549.75/549.90	c   461915    604     3624   186520   51     8611    5708   2706    846 545.63
549.75/549.90	c   462167    604     3876   205581   53     9099    6279   2958    846 545.67
549.75/549.90	c   462643    604     4352   238135   54    10070    6907   3434    847 545.73
549.75/549.90	c   463456    604     5165   296225   57    11681    7598   4247    849 545.82
549.75/549.90	c   464777    604     6486   385431   59    14336    8358   5568    850 546.15
549.75/549.90	c   466858    604     8567   521806   60    18483    9194   7649    853 547.02
549.75/549.90	c   470082    604     7121   408877   57    15625   10114   6203    856 548.59
549.75/549.90	o 9	549.757
550.85/551.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
550.85/551.01	c   474208    604     5984   346918   57    13233    5189   5066    862 549.83
550.85/551.01	c   474309    564     6085   353400   58    13550    5708   5167    862 549.87
550.85/551.01	c   474559    564     6335   367903   58    14005    6279   5417    862 549.91
550.85/551.01	c   475034    564     6810   397074   58    14986    6907   5892    863 550.01
550.85/551.01	c   475849    564     7625   449735   58    16605    7598   6707    864 550.25
550.85/551.01	c   477170    564     5042   271846   53    11444    8358   4124    866 550.74
550.85/551.01	o 7	550.866
566.74/566.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
566.74/566.94	c   477507    564     5380   293442   54    12140    5181   4462    866 550.87
566.74/566.94	c   477608    564     5481   300661   54    12296    5700   4563    866 550.88
566.74/566.94	c   477859    564     5732   318142   55    12777    6271   4814    867 550.95
566.74/566.94	c   478335    564     6208   349691   56    13757    6899   5290    867 551.11
566.74/566.94	c   479148    564     7021   401347   57    15380    7589   6103    868 551.42
566.74/566.94	c   480470    564     8343   488444   58    18046    8348   7425    870 551.93
566.74/566.94	c   482551    564     6065   342713   56    13442    9183   5147    873 552.65
566.74/566.94	c   485775    564     9289   547438   58    19908   10102   8371    876 554.30
566.74/566.94	c   490711    564     9066   510109   56    19436   11113   8148    880 557.27
566.74/566.94	c   498218    564    10935   620918   56    23184   12225  10017    885 562.68
566.74/566.94	o 5	566.794
567.94/568.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
567.94/568.17	c   505892    553    12395   713650   57    26147    5179  11477    892 566.79
567.94/568.17	c   505994    553     3624   179015   49     8594    5697   2706    892 566.91
567.94/568.17	c   506247    553     3877   195721   50     9098    6267   2959    892 566.94
567.94/568.17	c   506724    553     4354   225977   51    10098    6894   3436    893 567.01
567.94/568.17	c   507537    553     5167   278241   53    11715    7584   4249    894 567.20
567.94/568.17	c   508858    553     6488   363501   56    14282    8343   5570    896 567.62
567.94/568.17	o 3	568.017
588.34/588.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
588.34/588.58	c   510051    553     7682   439230   57    16726    5179   6764    897 568.02
588.34/588.58	c   510153    532     3626   174256   48     8661    5697   2708    898 568.05
588.34/588.58	c   510404    532     3877   191144   49     9151    6267   2959    898 568.08
588.34/588.58	c   510879    532     4352   223344   51    10116    6894   3434    899 568.16
588.34/588.58	c   511692    532     5165   276741   53    11729    7584   4247    900 568.32
588.34/588.58	c   513012    532     6485   353248   54    14371    8343   5567    902 568.63
588.34/588.58	c   515095    532     8568   488330   56    18503    9178   7650    904 569.50
588.34/588.58	c   518318    532     7064   379799   53    15511   10096   6146    907 570.97
588.34/588.58	c   523254    532     6819   362948   53    15019   11106   5901    912 573.57
588.34/588.58	c   530761    523     8637   439984   50    18653   12217   7719    917 578.33
588.34/588.58	c   542122    518     7545   352363   46    16467   13439   6627    923 586.76
588.34/588.58	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 -x30 -x31
588.34/588.58	v -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 -x58 -x59 x60
588.34/588.58	v -x61 -x62 -x63 x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 -x77
588.34/588.58	v -x78 -x79 -x80 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132
588.34/588.58	v -x133 -x134 -x135 -x136 x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x97 x98 -x99 -x100
588.34/588.58	v -x101 -x102 -x103 -x104 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x153
588.34/588.58	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168
588.34/588.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
588.34/588.58	c   60   544987   3555   561394    10410   491772   9492    926 588.43
588.34/588.58	c Objective: 3
588.34/588.58	s OPTIMUM FOUND
588.34/588.58	c Total time: 588.43 s

Verifier Data (download as text)

OK	3

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-453020-1178012203 -o ROOT/results/node60/solver-453020-1178012203 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453020-1178012203/instance-453020-1178012203.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.99 0.97 0.99 3/64 864
/proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=11744 CPUtime=0
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 249130314 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 983 344 289 324 0 51 0

[startup+0.064117 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 864
/proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=4844 CPUtime=0.05
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 607 0 0 0 5 0 0 0 18 0 1 0 249130314 4960256 575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 1211 575 310 324 0 281 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4844

[startup+0.101119 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 864
/proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=5100 CPUtime=0.09
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 249130314 5222400 661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 1275 661 310 324 0 345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5100

[startup+0.30114 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 864
/proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=6520 CPUtime=0.28
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 1040 0 0 0 28 0 0 0 19 0 1 0 249130314 6676480 1008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 1630 1008 310 324 0 700 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6520

[startup+0.701179 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 864
/proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=8080 CPUtime=0.69
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 1420 0 0 0 68 1 0 0 23 0 1 0 249130314 8273920 1388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 2020 1388 310 324 0 1090 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8080

[startup+1.50126 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 865
/proc/meminfo: memFree=1761024/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=9900 CPUtime=1.49
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 1887 0 0 0 148 1 0 0 25 0 1 0 249130314 10137600 1855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 2475 1855 310 324 0 1545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9900

[startup+3.10241 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 865
/proc/meminfo: memFree=1758912/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=14920 CPUtime=3.09
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 3124 0 0 0 307 2 0 0 25 0 1 0 249130314 15278080 3092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 3730 3092 310 324 0 2800 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14920

[startup+6.30173 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 865
/proc/meminfo: memFree=1753360/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=16468 CPUtime=6.29
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 3522 0 0 0 627 2 0 0 25 0 1 0 249130314 16863232 3490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 4117 3490 310 324 0 3187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16468

[startup+12.7014 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 865
/proc/meminfo: memFree=1752208/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=18252 CPUtime=12.69
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 3981 0 0 0 1266 3 0 0 25 0 1 0 249130314 18690048 3949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 4563 3949 310 324 0 3633 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18252

[startup+25.5016 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 865
/proc/meminfo: memFree=1749968/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=20160 CPUtime=25.48
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 4454 0 0 0 2545 3 0 0 25 0 1 0 249130314 20643840 4422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 5040 4422 310 324 0 4110 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20160

[startup+51.1011 s]
/proc/loadavg: 1.11 1.00 1.00 2/65 865
/proc/meminfo: memFree=1745808/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=23848 CPUtime=51.07
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 5374 0 0 0 5102 5 0 0 25 0 1 0 249130314 24420352 5342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 5962 5342 310 324 0 5032 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23848

[startup+102.305 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 865
/proc/meminfo: memFree=1743568/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=26144 CPUtime=102.26
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 5949 0 0 0 10221 5 0 0 25 0 1 0 249130314 26771456 5917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 6536 5917 310 324 0 5606 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26144

[startup+162.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 865
/proc/meminfo: memFree=1742544/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=27120 CPUtime=162.24
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 6198 0 0 0 16219 5 0 0 25 0 1 0 249130314 27770880 6166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 6780 6166 310 324 0 5850 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27120

[startup+222.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 865
/proc/meminfo: memFree=1740944/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=28796 CPUtime=222.23
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 6617 0 0 0 22218 5 0 0 25 0 1 0 249130314 29487104 6585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 7199 6585 310 324 0 6269 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28796

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 865
/proc/meminfo: memFree=1739728/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=29952 CPUtime=282.21
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 6909 0 0 0 28216 5 0 0 25 0 1 0 249130314 30670848 6877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 7488 6877 310 324 0 6558 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29952

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1738832/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=30592 CPUtime=342.2
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7070 0 0 0 34214 6 0 0 25 0 1 0 249130314 31326208 7038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 7648 7038 310 324 0 6718 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 30592

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1738128/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=31460 CPUtime=402.18
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7285 0 0 0 40212 6 0 0 25 0 1 0 249130314 32215040 7253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 7865 7253 310 324 0 6935 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31460

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1736272/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=33364 CPUtime=462.17
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7762 0 0 0 46210 7 0 0 25 0 1 0 249130314 34164736 7730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8341 7730 310 324 0 7411 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 33364

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1736272/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=33344 CPUtime=522.15
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7762 0 0 0 52208 7 0 0 25 0 1 0 249130314 34144256 7728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8336 7728 310 324 0 7406 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 33344

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=34992 CPUtime=582.13
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58206 7 0 0 25 0 1 0 249130314 35831808 8140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8748 8140 311 324 0 7818 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 34992

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

[startup+585.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=34992 CPUtime=585.33
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58526 7 0 0 25 0 1 0 249130314 35831808 8140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8748 8140 311 324 0 7818 0
Current children cumulated CPU time (s) 585.33
Current children cumulated vsize (KiB) 34992

[startup+587.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=34988 CPUtime=586.93
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58686 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8747 8139 311 324 0 7817 0
Current children cumulated CPU time (s) 586.93
Current children cumulated vsize (KiB) 34988

[startup+587.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=34988 CPUtime=587.73
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58766 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8747 8139 311 324 0 7817 0
Current children cumulated CPU time (s) 587.73
Current children cumulated vsize (KiB) 34988

[startup+588.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=34988 CPUtime=588.13
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58806 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8747 8139 311 324 0 7817 0
Current children cumulated CPU time (s) 588.13
Current children cumulated vsize (KiB) 34988

[startup+588.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 867
/proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956
[pid=864] ppid=862 vsize=34988 CPUtime=588.34
/proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58827 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/864/statm: 8747 8139 311 324 0 7817 0
Current children cumulated CPU time (s) 588.34
Current children cumulated vsize (KiB) 34988

Child status: 0
Real time (s): 588.595
CPU time (s): 588.438
CPU user time (s): 588.356
CPU system time (s): 0.081987
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 35236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 588.356
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8208
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= 761

runsolver used 0.483926 second user time and 1.12983 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 09:36:43 UTC 2007

IDJOB= 453020
IDBENCH= 48087
IDSOLVER= 199
FILE ID= node60/453020-1178012203

PBS_JOBID= 4728309

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453020-1178012203/instance-453020-1178012203.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-453020-1178012203 -o ROOT/results/node60/solver-453020-1178012203 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453020-1178012203/instance-453020-1178012203.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  afe3df18e5a0f1ba7fdc86d94afdb427

RANDOM SEED= 904668023

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:       1766688 kB
Buffers:         32992 kB
Cached:         181708 kB
SwapCached:       3580 kB
Active:          68044 kB
Inactive:       156868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766688 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:            6592 kB
Writeback:           0 kB
Mapped:          16188 kB
Slab:            50288 kB
Committed_AS:  2956528 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node60 on Tue May  1 09:46:32 UTC 2007