Trace number 455046

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)-8 1800.17 1800.88

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.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/455046-1178036157/instance-455046-1178036157.opb
0.00/0.00	c File size is 79211 bytes.
0.00/0.05	c Highest Coefficient sum: 200
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.053 s
0.00/0.06	c Var: 6324 Constr: 12550 6224/202/6124 Lit: 43468 Watch. Lit: 37146
0.00/0.06	c Obj. Vars: 100 (1.58128 % of total variables)
21.28/21.31	c Pre-processing Time: 21.306 s
21.28/21.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.28/21.31	c        0   6324    12550    43468    3    37146  102242      0      0 21.31
21.28/21.31	c Switching off LPR mode.
21.28/21.32	o -1	21.312
21.28/21.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.28/21.33	c        0   6324    12551    43568    3    37149  102309      1      0 21.32
21.28/21.33	o -2	21.32
21.28/21.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.28/21.34	c        0   6324    12552    43668    3    37153  102409      2      0 21.32
21.28/21.34	o -3	21.328
21.28/21.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.28/21.35	c        0   6324    12553    43768    3    37158  102542      3      0 21.33
21.28/21.35	o -4	21.339
21.38/21.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.38/21.48	c        6   6324    12560    44553    3    37176  102576     10      0 21.34
21.38/21.48	c      106   6324    12660    56351    4    37376  112834    110      4 21.42
21.38/21.48	o -5	21.475
34.37/34.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.37/34.43	c      270   6324    12825    78166    6    37711  102609    275     12 21.48
34.37/34.43	c      370   6324    12925    90744    7    37911  112870    375     17 21.54
34.37/34.43	c      620   6324    13175   123736    9    38411  124158    625     28 21.67
34.37/34.43	c     1095   6324    13650   185702   13    39361  136574   1100     50 21.85
34.37/34.43	c     1908   6324    14463   285568   19    40987  150232   1913     86 22.09
34.37/34.43	c     3228   6324    15783   450243   28    43627  165256   3233    143 22.49
34.37/34.43	c     5309   6324    17864   691649   38    47789  181782   5314    229 23.09
34.37/34.43	c     8532   6324    21087  1031694   48    54235  199961   8537    356 23.94
34.37/34.43	c    13468   6324    26023  1595621   61    64107  219958  13473    522 25.78
34.37/34.43	c    20974   6324    33529  2529578   75    79119  241954  20979    662 31.64
34.37/34.43	o -6	34.413
42.78/42.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.78/42.85	c    24127   6324    36683  2909695   79    85433  102642  24133    700 34.42
42.78/42.85	c    24227   6324    36783  2922650   79    85633  112907  24233    700 34.59
42.78/42.85	c    24477   6324    37033  2955100   79    86133  124198  24483    702 34.86
42.78/42.85	c    24952   6324    37508  3011898   80    87083  136618  24958    707 35.26
42.78/42.85	c    25765   6324    38321  3117209   81    88709  150280  25771    717 35.93
42.78/42.85	c    27085   6324    39641  3281345   82    91349  165309  27091    734 36.90
42.78/42.85	c    29166   6324    41722  3565521   85    95511  181840  29172    754 38.66
42.78/42.85	c    32389   6324    44945  3943894   87   101957  200025  32395    763 42.40
42.78/42.85	o -7	42.835
749.30/749.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
749.30/749.68	c    32760   6324    45317  4000815   88   102708  102676  32767    764 42.84
749.30/749.68	c    32860   6324    45417  4016195   88   102908  112944  32867    763 43.01
749.30/749.68	c    33110   6324    45667  4044230   88   103408  124239  33117    764 43.32
749.30/749.68	c    33585   6324    46142  4097539   88   104358  136663  33592    767 43.74
749.30/749.68	c    34398   6324    46955  4184569   89   105984  150330  34405    776 44.31
749.30/749.68	c    35718   6324    48275  4320984   89   108624  165364  35725    791 45.12
749.30/749.68	c    37799   6324    50356  4543959   90   112786  181901  37806    817 46.24
749.30/749.68	c    41022   6324    53579  4905142   91   119232  200092  41029    809 50.70
749.30/749.68	c    45958   6324    58515  5598382   95   129104  220102  45965    799 57.52
749.30/749.68	c    53464   6324    66021  6583258   99   144116  242113  53471    796 67.09
749.30/749.68	c    64826   6324    77383  7907804  102   166840  266325  64833    773 83.84
749.30/749.68	c    81970   6324    94527  9911758  104   201128  292958  81977    743 110.22
749.30/749.68	c   107789   6324   120346 13301098  110   252766  322254 107796    596 180.69
749.30/749.68	c   146621   6324   159178 18182175  114   330430  354480 146628    511 286.54
749.30/749.68	c   204973   6324   217530 26492636  121   447134  389929 204980    395 518.28
749.30/749.68	o -8	749.391
1800.09/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.80	c   241467   6324   254025 30950605  121   520132  102709 241475    322 749.40
1800.09/1800.80	c   241567   6324    25889  1796208   69    63832  112980  13339    185 1299.77
1800.09/1800.80	c   241817   6324    26139  1823852   69    64332  124279  13589    185 1300.16
1800.09/1800.80	c   242292   6324    26614  1877243   70    65282  136707  14064    186 1300.69
1800.09/1800.80	c   243105   6324    27427  1984419   72    66908  150378  14877    186 1301.54
1800.09/1800.80	c   244425   6324    28747  2127986   74    69548  165416  16197    187 1303.33
1800.09/1800.80	c   246506   6324    30828  2360226   76    73710  181958  18278    188 1305.61
1800.09/1800.80	c   249729   6324    34051  2697958   79    80156  200154  21501    190 1308.27
1800.09/1800.80	c   254665   6324    38987  3267530   83    90028  220170  26437    194 1312.32
1800.09/1800.80	c   262171   6324    46493  4163565   89   105040  242188  33943    198 1321.32
1800.09/1800.80	c   273532   6324    57854  5636098   97   127762  266407  45304    204 1335.80
1800.09/1800.80	c   290676   6324    74998  7685627  102   162050  293048  62448    213 1363.60
1800.09/1800.80	c   316495   6324   100817 10968174  108   213688  322353  88267    224 1411.88
1800.09/1800.80	c   355327   6324   139649 16289011  116   291352  354589 127099    234 1516.62
1800.09/1800.80	c   413679   6324   198001 23774444  120   408056  390048 185451    238 1736.01
1800.09/1800.80	c Caught signal: 15
1800.09/1800.80	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29
1800.09/1800.80	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
1800.09/1800.80	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
1800.09/1800.80	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
1800.09/1800.80	v -x121 -x150 -x174 -x182 -x127 -x149 -x161 -x199 -x129 -x187 -x115 -x106 -x180 -x132 -x184 -x153 -x168 -x147 -x128 -x104 -x108
1800.09/1800.80	v -x116 -x117 -x120 -x124 -x139 -x155 -x170 -x172 -x178 -x193 -x101 x185 x109 -x200 -x162 x141 -x154 -x138 -x114 -x136 -x194
1800.09/1800.80	v -x123 -x189 -x186 -x190 -x143 -x134 -x105 x112 -x135 -x140 -x146 -x152 -x102 -x169 -x151 -x191 x145 -x188 -x175 -x179 -x164
1800.09/1800.80	v -x195 -x192 -x159 -x119 -x113 x122 -x125 -x130 -x144 -x103 -x107 -x171 -x110 -x137 -x163 -x197 -x198 -x131 -x142 -x156 -x167
1800.09/1800.80	v x181 -x196 -x158 x148 -x157 -x126 -x165 -x118 -x183 -x160
1800.09/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.80	c   53   427178    245   452981   211500 25359179 198950    237 1800.10
1800.09/1800.80	c Objective: -8
1800.09/1800.80	s SATISFIABLE
1800.09/1800.80	c Total time: 1800.1 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/node13/watcher-455046-1178036157 -o ROOT/results/node13/solver-455046-1178036157 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455046-1178036157/instance-455046-1178036157.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.85 0.97 0.99 3/77 31607
/proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=11816 CPUtime=0
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 251533602 12099584 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 2954 344 289 324 0 2004 0

[startup+0.011624 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31607
/proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=4272 CPUtime=0
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 251533602 4374528 408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1068 408 291 324 0 118 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4272

[startup+0.101642 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31607
/proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=0.09
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 9 0 0 0 18 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7316

[startup+0.301687 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31607
/proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=0.29
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 29 0 0 0 19 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7316

[startup+0.701769 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31607
/proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=0.69
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 69 0 0 0 23 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12313333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7316

[startup+1.50294 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1763720/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=1.49
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 149 0 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7316

[startup+3.10128 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1763336/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=3.09
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 309 0 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7316

[startup+6.30196 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1763336/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=6.29
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 628 1 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7316

[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1763336/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=7316 CPUtime=12.68
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 1267 1 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 1829 1188 304 324 0 899 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7316

[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1744072/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=27844 CPUtime=25.48
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 6647 0 0 0 2542 6 0 0 25 0 1 0 251533602 28512256 6332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 6961 6332 310 324 0 6031 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27844

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1697032/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=74256 CPUtime=51.08
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 18236 0 0 0 5092 16 0 0 25 0 1 0 251533602 76038144 17921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 18564 17921 310 324 0 17634 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74256

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1636680/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=133972 CPUtime=102.25
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 33184 0 0 0 10196 29 0 0 25 0 1 0 251533602 137187328 32869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 33493 32869 310 324 0 32563 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 133972

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1594440/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=176544 CPUtime=162.23
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 43813 0 0 0 16181 42 0 0 25 0 1 0 251533602 180781056 43498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 44136 43498 310 324 0 43206 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 176544

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1552456/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=218100 CPUtime=222.21
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 54208 0 0 0 22166 55 0 0 25 0 1 0 251533602 223334400 53893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 54525 53893 310 324 0 53595 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 218100

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31608
/proc/meminfo: memFree=1518088/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=252652 CPUtime=282.18
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 62849 0 0 0 28154 64 0 0 25 0 1 0 251533602 258715648 62534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 63163 62534 310 324 0 62233 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 252652

[startup+342.302 s]
/proc/loadavg: 1.11 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1491528/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=278796 CPUtime=342.16
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 69372 0 0 0 34146 70 0 0 25 0 1 0 251533602 285487104 69057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 69699 69057 310 324 0 68769 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 278796

[startup+402.301 s]
/proc/loadavg: 1.11 1.02 1.00 2/78 31608
/proc/meminfo: memFree=1458376/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=312192 CPUtime=402.13
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 77731 0 0 0 40133 80 0 0 25 0 1 0 251533602 319684608 77416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 78048 77416 310 324 0 77118 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 312192

[startup+462.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/78 31608
/proc/meminfo: memFree=1429960/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=340388 CPUtime=462.11
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 84786 0 0 0 46123 88 0 0 25 0 1 0 251533602 348557312 84471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 85097 84471 310 324 0 84167 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 340388

[startup+522.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/78 31608
/proc/meminfo: memFree=1402568/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=367856 CPUtime=522.09
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 91656 0 0 0 52113 96 0 0 25 0 1 0 251533602 376684544 91341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 91964 91341 310 324 0 91034 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 367856

[startup+582.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 31608
/proc/meminfo: memFree=1386952/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=383232 CPUtime=582.06
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 95480 0 0 0 58107 99 0 0 25 0 1 0 251533602 392429568 95165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 95808 95165 310 324 0 94878 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 383232

[startup+642.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 31608
/proc/meminfo: memFree=1369992/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=399884 CPUtime=642.05
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 99671 0 0 0 64100 105 0 0 25 0 1 0 251533602 409481216 99356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 99971 99356 310 324 0 99041 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 399884


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=821.97
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 82083 114 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 427320

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=881.94
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 88080 114 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 427320

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=941.92
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 94077 115 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 427320

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1001.9
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 100075 115 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 427320

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342600/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1061.88
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 106072 116 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 427320

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1121.85
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 112069 116 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134560023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 427320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1181.83
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 118066 117 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 427320

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342600/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1241.8
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 124063 117 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 427320

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1301.79
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 130061 118 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 427320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1361.76
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 136058 118 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 427320

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31608
/proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1421.74
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 142055 119 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 427320

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 31608
/proc/meminfo: memFree=1342408/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1481.71
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 148052 119 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 427320

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 31608
/proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1541.69
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 154049 120 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 427320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31610
/proc/meminfo: memFree=1342280/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1601.66
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 160046 120 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 427320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31610
/proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1661.64
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 166043 121 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 427320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31610
/proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1721.62
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 172041 121 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 427320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31610
/proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1781.59
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 178037 122 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 427320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31610
/proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956
[pid=31607] ppid=31605 vsize=427320 CPUtime=1800.09
/proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 179887 122 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31607/statm: 106830 106215 310 324 0 105900 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 427320

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

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

Child status: 15
Real time (s): 1800.88
CPU time (s): 1800.17
CPU user time (s): 1798.87
CPU system time (s): 1.2938
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 428264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.2938
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= 37773

runsolver used 1.36179 second user time and 3.9364 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue May  1 16:15:58 UTC 2007

IDJOB= 455046
IDBENCH= 48237
IDSOLVER= 199
FILE ID= node13/455046-1178036157

PBS_JOBID= 4728415

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  1a8c058c181490cb899ec7074b22bfb3

RANDOM SEED= 682863740

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1767784 kB
Buffers:         77232 kB
Cached:         121360 kB
SwapCached:      12684 kB
Active:         128076 kB
Inactive:        94564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767784 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            6756 kB
Writeback:           0 kB
Mapped:          30144 kB
Slab:            50984 kB
Committed_AS:  9384604 kB
PageTables:       1872 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 node13 on Tue May  1 16:46:01 UTC 2007