Trace number 455040

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-8 1800.07 1800.6

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
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-16
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

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/455040-1178035974/instance-455040-1178035974.opb
0.00/0.00	c File size is 79211 bytes.
0.01/0.03	c Highest Coefficient sum: 200
0.01/0.03	c Parsing was ok!!
0.01/0.03	c Total parsing time: 0.034 s
0.01/0.04	c Var: 6324 Constr: 12550 6224/202/6124 Lit: 43468 Watch. Lit: 37146
0.01/0.04	c Obj. Vars: 100 (1.58128 % of total variables)
20.88/20.90	c Pre-processing Time: 20.895 s
20.88/20.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.88/20.90	c        0   6324    12550    43468    3    37146  102242      0      0 20.89
20.88/20.90	c Switching off LPR mode.
20.88/20.91	o -1	20.906
20.88/20.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.88/20.92	c        0   6324    12551    43568    3    37149  102309      1      0 20.91
20.88/20.92	o -2	20.917
20.88/20.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.88/20.93	c        0   6324    12552    43668    3    37153  102409      2      0 20.92
20.88/20.93	o -3	20.929
20.88/20.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.88/20.95	c        0   6324    12553    43768    3    37158  102542      3      0 20.93
20.88/20.95	o -4	20.943
20.98/21.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.98/21.09	c        6   6324    12560    44553    3    37176  102576     10      0 20.95
20.98/21.09	c      106   6324    12660    56351    4    37376  112834    110      5 21.03
20.98/21.09	o -5	21.081
33.88/33.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.88/33.99	c      270   6324    12825    78166    6    37711  102609    275     12 21.08
33.88/33.99	c      370   6324    12925    90744    7    37911  112870    375     17 21.15
33.88/33.99	c      620   6324    13175   123736    9    38411  124158    625     29 21.28
33.88/33.99	c     1095   6324    13650   185702   13    39361  136574   1100     51 21.46
33.88/33.99	c     1908   6324    14463   285568   19    40987  150232   1913     87 21.71
33.88/33.99	c     3228   6324    15783   450243   28    43627  165256   3233    145 22.12
33.88/33.99	c     5309   6324    17864   691649   38    47789  181782   5314    233 22.73
33.88/33.99	c     8532   6324    21087  1031694   48    54235  199961   8537    361 23.57
33.88/33.99	c    13468   6324    26023  1595621   61    64107  219958  13473    529 25.42
33.88/33.99	c    20974   6324    33529  2529578   75    79119  241954  20979    671 31.23
33.88/33.99	o -6	33.981
42.37/42.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.37/42.47	c    24127   6324    36683  2909695   79    85433  102642  24133    709 33.99
42.37/42.47	c    24227   6324    36783  2922650   79    85633  112907  24233    709 34.15
42.37/42.47	c    24477   6324    37033  2955100   79    86133  124198  24483    710 34.43
42.37/42.47	c    24952   6324    37508  3011898   80    87083  136618  24958    716 34.82
42.37/42.47	c    25765   6324    38321  3117209   81    88709  150280  25771    725 35.50
42.37/42.47	c    27085   6324    39641  3281345   82    91349  165309  27091    742 36.48
42.37/42.47	c    29166   6324    41722  3565521   85    95511  181840  29172    762 38.26
42.37/42.47	c    32389   6324    44945  3943894   87   101957  200025  32395    770 42.02
42.37/42.47	o -7	42.457
749.58/749.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
749.58/749.81	c    32760   6324    45317  4000815   88   102708  102676  32767    771 42.46
749.58/749.81	c    32860   6324    45417  4016195   88   102908  112944  32867    770 42.64
749.58/749.81	c    33110   6324    45667  4044230   88   103408  124239  33117    771 42.94
749.58/749.81	c    33585   6324    46142  4097539   88   104358  136663  33592    774 43.37
749.58/749.81	c    34398   6324    46955  4184569   89   105984  150330  34405    783 43.93
749.58/749.81	c    35718   6324    48275  4320984   89   108624  165364  35725    798 44.73
749.58/749.81	c    37799   6324    50356  4543959   90   112786  181901  37806    824 45.85
749.58/749.81	c    41022   6324    53579  4905142   91   119232  200092  41029    816 50.26
749.58/749.81	c    45958   6324    58515  5598382   95   129104  220102  45965    805 57.06
749.58/749.81	c    53464   6324    66021  6583258   99   144116  242113  53471    801 66.67
749.58/749.81	c    64826   6324    77383  7907804  102   166840  266325  64833    777 83.37
749.58/749.81	c    81970   6324    94527  9911758  104   201128  292958  81977    747 109.67
749.58/749.81	c   107789   6324   120346 13301098  110   252766  322254 107796    598 180.09
749.58/749.81	c   146621   6324   159178 18182175  114   330430  354480 146628    512 286.00
749.58/749.81	c   204973   6324   217530 26492636  121   447134  389929 204980    395 517.95
749.58/749.81	o -8	749.6
1799.97/1800.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.52	c   241467   6324   254025 30950605  121   520132  102709 241475    322 749.61
1799.97/1800.52	c   241567   6324    25889  1796208   69    63832  112980  13339    186 1295.25
1799.97/1800.52	c   241817   6324    26139  1823852   69    64332  124279  13589    186 1295.64
1799.97/1800.52	c   242292   6324    26614  1877243   70    65282  136707  14064    186 1296.17
1799.97/1800.52	c   243105   6324    27427  1984419   72    66908  150378  14877    187 1297.03
1799.97/1800.52	c   244425   6324    28747  2127986   74    69548  165416  16197    188 1298.84
1799.97/1800.52	c   246506   6324    30828  2360226   76    73710  181958  18278    189 1301.15
1799.97/1800.52	c   249729   6324    34051  2697958   79    80156  200154  21501    191 1303.81
1799.97/1800.52	c   254665   6324    38987  3267530   83    90028  220170  26437    194 1307.83
1799.97/1800.52	c   262171   6324    46493  4163565   89   105040  242188  33943    199 1316.85
1799.97/1800.52	c   273532   6324    57854  5636098   97   127762  266407  45304    205 1331.34
1799.97/1800.52	c   290676   6324    74998  7685627  102   162050  293048  62448    213 1359.25
1799.97/1800.52	c   316495   6324   100817 10968174  108   213688  322353  88267    224 1407.61
1799.97/1800.52	c   355327   6324   139649 16289011  116   291352  354589 127099    234 1512.43
1799.97/1800.52	c   413679   6324   198001 23774444  120   408056  390048 185451    238 1732.24
1799.97/1800.52	c Resources Exceeded
1799.97/1800.52	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
1799.97/1800.52	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 -x54 -x55
1799.97/1800.52	v -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 -x81
1799.97/1800.52	v -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x176 -x166 -x111 -x173 -x177 -x133
1799.97/1800.52	v -x121 -x150 -x174 -x182 -x127 -x149 -x161 -x199 -x129 -x187 -x115 -x106 -x180 -x132 -x184 -x153 -x168 -x147 -x128 -x104 -x108
1799.97/1800.52	v -x116 -x117 -x120 -x124 -x139 -x155 -x170 -x172 -x178 -x193 -x101 x185 x109 -x200 -x162 x141 -x154 -x138 -x114 -x136 -x194
1799.97/1800.52	v -x123 -x189 -x186 -x190 -x143 -x134 -x105 x112 -x135 -x140 -x146 -x152 -x102 -x169 -x151 -x191 x145 -x188 -x175 -x179 -x164
1799.97/1800.52	v -x195 -x192 -x159 -x119 -x113 x122 -x125 -x130 -x144 -x103 -x107 -x171 -x110 -x137 -x163 -x197 -x198 -x131 -x142 -x156 -x167
1799.97/1800.52	v x181 -x196 -x158 x148 -x157 -x126 -x165 -x118 -x183 -x160
1799.97/1800.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.52	c   53   427843    245   453645   212165 25441236 199615    237 1800.00
1799.97/1800.52	c Objective: -8
1799.97/1800.52	s SATISFIABLE
1799.97/1800.52	c Total time: 1800 s

Verifier Data (download as text)

OK	-8

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-455040-1178035974 -o ROOT/results/node19/solver-455040-1178035974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455040-1178035974/instance-455040-1178035974.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.94 0.97 3/77 626
/proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=11816 CPUtime=0
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 251514773 12099584 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 2954 346 291 324 0 2003 0

[startup+0.0228659 s]
/proc/loadavg: 0.78 0.94 0.97 3/77 626
/proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=5104 CPUtime=0.01
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 639 0 0 0 1 0 0 0 18 0 1 0 251514773 5226496 608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1276 608 301 324 0 325 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5104

[startup+0.102874 s]
/proc/loadavg: 0.78 0.94 0.97 3/77 626
/proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=0.09
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 9 0 0 0 18 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7316

[startup+0.302897 s]
/proc/loadavg: 0.78 0.94 0.97 3/77 626
/proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=0.29
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 29 0 0 0 19 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7316

[startup+0.702943 s]
/proc/loadavg: 0.78 0.94 0.97 3/77 626
/proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=0.69
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 69 0 0 0 22 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7316

[startup+1.50103 s]
/proc/loadavg: 0.78 0.94 0.97 2/78 627
/proc/meminfo: memFree=1823312/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=1.49
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 148 1 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7316

[startup+3.1012 s]
/proc/loadavg: 0.80 0.94 0.97 2/78 627
/proc/meminfo: memFree=1823184/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=3.09
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 308 1 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7316

[startup+6.30222 s]
/proc/loadavg: 0.80 0.94 0.97 2/78 627
/proc/meminfo: memFree=1823016/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=6.29
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 628 1 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7316

[startup+12.7012 s]
/proc/loadavg: 0.83 0.94 0.97 2/78 627
/proc/meminfo: memFree=1823160/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=7316 CPUtime=12.69
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 1267 2 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 1829 1190 306 324 0 898 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7316

[startup+25.5016 s]
/proc/loadavg: 0.85 0.94 0.97 2/78 627
/proc/meminfo: memFree=1802688/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=28880 CPUtime=25.49
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 6907 0 0 0 2540 9 0 0 25 0 1 0 251514773 29573120 6591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 7220 6591 312 324 0 6289 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28880

[startup+51.1014 s]
/proc/loadavg: 0.90 0.94 0.97 2/78 627
/proc/meminfo: memFree=1756608/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=74776 CPUtime=51.08
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 18377 0 0 0 5088 20 0 0 25 0 1 0 251514773 76570624 18061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 18694 18061 312 324 0 17763 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74776

[startup+102.306 s]
/proc/loadavg: 0.96 0.95 0.97 3/78 627
/proc/meminfo: memFree=1695872/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=134756 CPUtime=102.26
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 33374 0 0 0 10186 40 0 0 25 0 1 0 251514773 137990144 33058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 33689 33058 312 324 0 32758 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 134756

[startup+162.301 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 627
/proc/meminfo: memFree=1654016/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=177060 CPUtime=162.25
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 43941 0 0 0 16170 55 0 0 25 0 1 0 251514773 181309440 43625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 44265 43625 312 324 0 43334 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 177060

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 627
/proc/meminfo: memFree=1611904/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=218492 CPUtime=222.22
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 54311 0 0 0 22150 72 0 0 25 0 1 0 251514773 223735808 53995 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 54623 53995 312 324 0 53692 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 218492

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1577728/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=252908 CPUtime=282.21
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 62907 0 0 0 28137 84 0 0 25 0 1 0 251514773 258977792 62591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 63227 62591 312 324 0 62296 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 252908

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1551296/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=278924 CPUtime=342.19
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 69419 0 0 0 34127 92 0 0 25 0 1 0 251514773 285618176 69103 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 69731 69103 312 324 0 68800 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 278924

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1518144/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=312448 CPUtime=402.17
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 77790 0 0 0 40113 104 0 0 25 0 1 0 251514773 319946752 77474 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 78112 77474 312 324 0 77181 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 312448

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1489536/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=340644 CPUtime=462.16
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 84837 0 0 0 46101 115 0 0 25 0 1 0 251514773 348819456 84521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 85161 84521 312 324 0 84230 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 340644

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1462336/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=367984 CPUtime=522.14
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 91673 0 0 0 52089 125 0 0 25 0 1 0 251514773 376815616 91357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 91996 91357 312 324 0 91065 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 367984

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1446720/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=383232 CPUtime=582.12
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 95499 0 0 0 58081 131 0 0 25 0 1 0 251514773 392429568 95183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 95808 95183 312 324 0 94877 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 383232

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 627
/proc/meminfo: memFree=1429760/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=400012 CPUtime=642.11
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 99690 0 0 0 64072 139 0 0 25 0 1 0 251514773 409612288 99374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 100003 99374 312 324 0 99072 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 400012


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

/proc/meminfo: memFree=1402112/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1061.98
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 106045 153 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 427320

[startup+1122.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/78 627
/proc/meminfo: memFree=1402112/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1121.97
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 112043 154 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 427320

[startup+1182.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/78 627
/proc/meminfo: memFree=1402048/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1181.94
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 118040 154 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 427320

[startup+1242.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 627
/proc/meminfo: memFree=1402048/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1241.93
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 124038 155 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 427320

[startup+1302.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 627
/proc/meminfo: memFree=1401984/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1301.92
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 130035 157 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 427320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 627
/proc/meminfo: memFree=1401984/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1361.9
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 136024 166 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 427320

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 627
/proc/meminfo: memFree=1401920/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1421.88
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 142017 171 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 427320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 627
/proc/meminfo: memFree=1401920/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1481.86
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 148010 176 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 427320

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 627
/proc/meminfo: memFree=1401856/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1541.84
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 154003 181 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 427320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 627
/proc/meminfo: memFree=1401920/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1601.83
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 159998 185 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 427320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 627
/proc/meminfo: memFree=1401856/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1661.81
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 165993 188 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 427320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1721.79
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 171986 193 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 427320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401536/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1781.77
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 177981 196 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 427320

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1791.37
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 178941 196 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 427320

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1794.57
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179260 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 427320

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1797.77
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179580 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 427320

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1799.37
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179740 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 427320

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1799.77
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179780 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (KiB) 427320

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 629
/proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956
[pid=626] ppid=624 vsize=427320 CPUtime=1799.97
/proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179800 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7913541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/626/statm: 106830 106217 312 324 0 105899 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 427320

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.07
CPU user time (s): 1798.03
CPU system time (s): 2.04269
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 428264

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

runsolver used 1.39879 second user time and 4.07338 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue May  1 16:12:54 UTC 2007

IDJOB= 455040
IDBENCH= 48237
IDSOLVER= 163
FILE ID= node19/455040-1178035974

PBS_JOBID= 4728443

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/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455040-1178035974/instance-455040-1178035974.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-455040-1178035974 -o ROOT/results/node19/solver-455040-1178035974 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455040-1178035974/instance-455040-1178035974.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  1a8c058c181490cb899ec7074b22bfb3

RANDOM SEED= 760782028

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1827376 kB
Buffers:         68296 kB
Cached:          71992 kB
SwapCached:       7816 kB
Active:         120704 kB
Inactive:        48976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827376 kB
SwapTotal:     4192956 kB
SwapFree:      4153596 kB
Dirty:            6848 kB
Writeback:           0 kB
Mapped:          35812 kB
Slab:            44392 kB
Committed_AS:  8038396 kB
PageTables:       1796 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 node19 on Tue May  1 16:42:55 UTC 2007