Trace number 455475

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)-12 1800.22 1800.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
MD5SUM996170804397234947041ed4d87d3aa0
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-59
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

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/455475-1178044109/instance-455475-1178044109.opb
0.00/0.00	c File size is 75371 bytes.
0.00/0.03	c Highest Coefficient sum: 400
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.029 s
0.00/0.04	c Var: 5456 Constr: 10714 5256/402/5056 Lit: 36592 Watch. Lit: 31138
0.00/0.04	c Obj. Vars: 200 (3.66569 % of total variables)
2.29/2.31	c Pre-processing Time: 2.312 s
2.29/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.31	c        0   5456    10714    36592    3    31138   54477      0      0 2.31
2.29/2.31	c Switching off LPR mode.
2.29/2.32	o -1	2.322
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c        0   5456    10715    36792    3    31141   54610      1      0 2.32
2.29/2.33	o -2	2.331
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c        0   5456    10716    36992    3    31145   54810      2      0 2.33
2.29/2.34	o -3	2.34
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   5456    10717    37192    3    31150   55077      3      0 2.34
2.29/2.35	o -4	2.349
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c        0   5456    10718    37392    3    31156   55410      4      0 2.35
2.29/2.36	o -5	2.359
2.29/2.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.37	c        0   5456    10719    37592    3    31163   55810      5      0 2.36
2.29/2.37	o -6	2.368
2.29/2.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.38	c        0   5456    10720    37792    3    31171   56277      6      0 2.37
2.29/2.38	o -7	2.377
2.29/2.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.39	c        0   5456    10721    37992    3    31180   56810      7      0 2.38
2.29/2.39	o -8	2.39
2.69/2.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.79	c        2   5456    10724    38635    3    31194   56877     10      0 2.39
2.69/2.79	c      102   5456    10824    62399    5    31394   62565    110     40 2.52
2.69/2.79	c      352   5456    11074   133144   12    31894   68822    360    128 2.75
2.69/2.79	o -9	2.794
22.27/22.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.27/22.40	c      538   5456    11261   171687   15    32277   56943    547    192 2.80
22.27/22.40	c      638   5456    11361   196404   17    32477   62638    647    212 3.01
22.27/22.40	c      888   5456    11611   267973   23    32977   68902    897    266 3.33
22.27/22.40	c     1363   5456    12086   396297   32    33927   75793   1372    336 4.05
22.27/22.40	c     2176   5456    12899   625138   48    35553   83373   2185    414 5.25
22.27/22.40	c     3496   5456    14219   996625   70    38193   91711   3505    474 7.36
22.27/22.40	c     5577   5456    16300  1595916   97    42355  100883   5586    506 11.00
22.27/22.40	c     8800   5456    19523  2467116  126    48801  110972   8809    623 14.11
22.27/22.40	c    13736   5456    24459  4022817  164    58673  122070  13745    702 19.55
22.27/22.40	o -10	22.377
688.84/689.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
688.84/689.13	c    16684   5456    27408  5054497  184    64581   57010  16694    745 22.38
688.84/689.13	c    16784   5456    27508  5079200  184    64781   62712  16794    740 22.65
688.84/689.13	c    17035   5456    27759  5152918  185    65283   68984  17045    734 23.21
688.84/689.13	c    17510   5456    28234  5272356  186    66233   75883  17520    722 24.24
688.84/689.13	c    18323   5456    29047  5491641  189    67859   83472  18333    705 25.98
688.84/689.13	c    19643   5456    30367  5844795  192    70499   91820  19653    696 28.21
688.84/689.13	c    21724   5456    32448  6441829  198    74661  101003  21734    681 31.89
688.84/689.13	c    24947   5456    35671  7367475  206    81107  111104  24957    677 36.81
688.84/689.13	c    29883   5456    40607  8869722  218    90979  122215  29893    698 42.77
688.84/689.13	c    37389   5456    48113 10516601  218   105991  134437  37399    770 48.55
688.84/689.13	c    48750   5456    59474 13209541  222   128713  147881  48760    710 68.63
688.84/689.13	c    65894   5456    76618 17973177  234   163001  162670  65904    580 113.56
688.84/689.13	c    91713   5456   102437 25791443  251   214639  178938  91723    453 202.33
688.84/689.14	c   130545   5456   141269 36647595  259   292303  196832 130555    354 367.78
688.84/689.14	c   188897   5456   199621 53973945  270   409007  216516 188907    293 642.63
688.84/689.14	o -11	688.883
1150.49/1150.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1150.49/1150.97	c   199742   5456   210467 57373428  272   430710   57077 199753    289 688.89
1150.49/1150.97	c   199842   5456    23822  4060140  170    57365   62785  13108    197 1011.93
1150.49/1150.97	c   200092   5456    24072  4122647  171    57865   69064  13358    197 1012.63
1150.49/1150.97	c   200567   5456    24547  4252415  173    58815   75971  13833    197 1013.90
1150.49/1150.97	c   201380   5456    25360  4477576  176    60441   83569  14646    198 1015.99
1150.49/1150.97	c   202700   5456    26680  4853064  181    63081   91926  15966    198 1019.33
1150.49/1150.97	c   204781   5456    28761  5410505  188    67243  101119  18047    200 1023.47
1150.49/1150.97	c   208004   5456    31984  6337854  198    73689  111231  21270    202 1028.68
1150.49/1150.97	c   212940   5456    36920  7826371  211    83561  122355  26206    205 1034.71
1150.49/1150.97	c   220446   5456    44426  9593260  215    98573  134591  33712    210 1047.50
1150.49/1150.97	c   231807   5456    55787 13010510  233   121295  148051  45073    214 1079.03
1150.49/1150.97	c   248951   5456    72931 17986960  246   155583  162857  62217    220 1127.65
1150.49/1150.97	o -12	1150.57
1800.09/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.70	c   258316   5456    82297 20769636  252   174327   55343  71583    224 1150.58
1800.09/1800.70	c   258416   5456    22846  3552832  155    55414   60878  12132    221 1166.20
1800.09/1800.70	c   258666   5456    23096  3619215  156    55914   66966  12382    221 1166.72
1800.09/1800.70	c   259141   5456    23571  3742876  158    56864   73663  12857    221 1167.61
1800.09/1800.70	c   259954   5456    24384  3950211  162    58490   81030  13670    222 1168.89
1800.09/1800.70	c   261274   5456    25704  4304947  167    61130   89134  14990    223 1171.26
1800.09/1800.70	c   263355   5456    27785  4873793  175    65292   98048  17071    224 1174.53
1800.09/1800.70	c   266578   5456    31008  5757934  185    71738  107853  20294    226 1178.83
1800.09/1800.70	c   271514   5456    35944  7133731  198    81610  118639  25230    229 1184.17
1800.09/1800.70	c   279020   5456    43450  8987060  206    96622  130503  32736    232 1199.25
1800.09/1800.70	c   290381   5456    54811 12066962  220   119344  143554  44097    238 1215.58
1800.09/1800.70	c   307525   5456    71955 17035708  236   153632  157910  61241    243 1262.98
1800.09/1800.70	c   333344   5456    97774 23182674  237   205270  173702  87060    255 1306.35
1800.09/1800.70	c   372176   5456   136606 32998812  241   282934  191073 125892    264 1408.59
1800.09/1800.70	c   430528   5456   194958 48368179  248   399638  210181 184244    257 1669.00
1800.09/1800.70	c Caught signal: 15
1800.09/1800.70	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
1800.09/1800.70	v -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 -x56
1800.09/1800.70	v -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 -x82
1800.09/1800.70	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.09/1800.70	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.09/1800.70	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.09/1800.70	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.09/1800.70	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.09/1800.70	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x276 -x366 -x211 -x273 -x277 -x233 -x321 -x250 -x274 -x382 -x212
1800.09/1800.70	v -x222 -x247 -x248 -x258 -x272 -x322 -x201 x227 x249 -x261 x399 -x221 x229 -x287 x215 -x206 -x205 x232 -x343 -x355 -x367 -x377
1800.09/1800.70	v -x202 -x280 -x374 -x332 -x384 -x253 -x368 -x347 -x328 -x237 -x265 -x203 -x285 -x309 -x400 -x362 -x341 -x254 -x238 -x266 -x290
1800.09/1800.70	v -x204 -x214 x236 -x224 -x208 -x294 -x216 -x223 -x353 -x372 -x386 -x389 -x354 -x324 -x228 x390 -x243 -x317 -x282 -x298 -x342
1800.09/1800.70	v -x381 -x234 -x269 -x289 -x340 x251 -x291 -x345 -x288 -x210 -x267 -x316 -x336 -x352 -x391 -x207 -x304 -x275 -x279 -x264 -x219
1800.09/1800.70	v -x295 -x235 -x392 -x359 -x379 -x225 -x252 -x299 -x383 -x209 -x344 -x315 -x320 -x302 -x371 -x259 -x318 -x351 -x313 -x325 -x263
1800.09/1800.70	v -x270 -x397 -x333 -x308 -x330 x373 -x327 -x395 -x281 -x346 -x369 -x380 -x213 -x268 -x396 -x278 -x242 -x293 -x319 -x364 -x335
1800.09/1800.70	v -x284 -x358 -x256 -x226 -x244 -x365 -x217 -x218 -x300 -x337 -x376 -x311 -x326 -x339 -x307 x329 -x246 -x312 -x348 -x286 -x310
1800.09/1800.70	v -x314 -x338 x296 -x230 -x241 -x220 -x361 -x357 -x245 -x301 -x305 -x388 -x349 -x257 -x393 -x323 -x356 -x292 -x334 -x306 -x231
1800.09/1800.70	v -x297 -x370 -x283 -x260 -x350 -x239 -x360 -x271 -x255 -x240 -x394 -x303 -x331 -x398 -x387 -x262 -x375 -x363 -x378 -x385
1800.09/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.70	c   61   461543    139   511051   224076 56367390 213362    256 1800.10
1800.09/1800.70	c Objective: -12
1800.09/1800.70	s SATISFIABLE
1800.09/1800.70	c Total time: 1800.1 s

Verifier Data (download as text)

OK	-12

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-455475-1178044109 -o ROOT/results/node58/solver-455475-1178044109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455475-1178044109/instance-455475-1178044109.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.89 1.09 1.08 3/64 14929
/proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=11812 CPUtime=0
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 252320558 12095488 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 2953 334 281 324 0 2003 0

[startup+0.097933 s]
/proc/loadavg: 0.89 1.09 1.08 3/64 14929
/proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=6816 CPUtime=0.09
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1094 0 0 0 9 0 0 0 18 0 1 0 252320558 6979584 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 1704 1044 306 324 0 773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6816

[startup+0.101933 s]
/proc/loadavg: 0.89 1.09 1.08 3/64 14929
/proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=6816 CPUtime=0.09
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1094 0 0 0 9 0 0 0 18 0 1 0 252320558 6979584 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 1704 1044 306 324 0 773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6816

[startup+0.301966 s]
/proc/loadavg: 0.89 1.09 1.08 3/64 14929
/proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=6816 CPUtime=0.29
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1095 0 0 0 29 0 0 0 19 0 1 0 252320558 6979584 1045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 1704 1045 306 324 0 773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6816

[startup+0.701033 s]
/proc/loadavg: 0.89 1.09 1.08 3/64 14929
/proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=6816 CPUtime=0.69
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1095 0 0 0 69 0 0 0 22 0 1 0 252320558 6979584 1045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 1704 1045 306 324 0 773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6816

[startup+1.50117 s]
/proc/loadavg: 0.89 1.09 1.08 2/65 14930
/proc/meminfo: memFree=1819336/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=6816 CPUtime=1.49
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1095 0 0 0 149 0 0 0 25 0 1 0 252320558 6979584 1045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 1704 1045 306 324 0 773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6816

[startup+3.10143 s]
/proc/loadavg: 0.90 1.08 1.08 2/65 14930
/proc/meminfo: memFree=1819208/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=9404 CPUtime=3.09
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1998 0 0 0 305 4 0 0 25 0 1 0 252320558 9629696 1712 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 2351 1712 313 324 0 1420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9404

[startup+6.30198 s]
/proc/loadavg: 0.90 1.08 1.08 2/65 14930
/proc/meminfo: memFree=1811080/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=16996 CPUtime=6.28
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 3904 0 0 0 623 5 0 0 25 0 1 0 252320558 17403904 3618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14929/statm: 4249 3618 313 324 0 3318 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16996

[startup+12.701 s]
/proc/loadavg: 0.92 1.08 1.08 2/65 14930
/proc/meminfo: memFree=1795608/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=32676 CPUtime=12.67
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 7828 0 0 0 1258 9 0 0 25 0 1 0 252320558 33460224 7542 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5312194 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 8169 7542 313 324 0 7238 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 32676

[startup+25.5012 s]
/proc/loadavg: 0.93 1.08 1.07 2/65 14930
/proc/meminfo: memFree=1749344/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=77236 CPUtime=25.47
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 18956 0 0 0 2529 18 0 0 25 0 1 0 252320558 79089664 18670 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 19309 18670 313 324 0 18378 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 77236

[startup+51.1015 s]
/proc/loadavg: 1.01 1.09 1.08 2/65 14930
/proc/meminfo: memFree=1674912/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=153128 CPUtime=51.04
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 37950 0 0 0 5071 33 0 0 25 0 1 0 252320558 156803072 37664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 38282 37664 313 324 0 37351 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 153128

[startup+102.306 s]
/proc/loadavg: 1.00 1.07 1.07 2/65 14930
/proc/meminfo: memFree=1591904/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=234112 CPUtime=102.22
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 58172 0 0 0 10169 53 0 0 25 0 1 0 252320558 239730688 57886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 58528 57886 313 324 0 57597 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 234112

[startup+162.301 s]
/proc/loadavg: 1.00 1.06 1.07 2/65 14930
/proc/meminfo: memFree=1532320/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=293860 CPUtime=162.21
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 73140 0 0 0 16151 70 0 0 25 0 1 0 252320558 300912640 72854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 73465 72854 313 324 0 72534 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 293860

[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/65 14930
/proc/meminfo: memFree=1467680/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=357948 CPUtime=222.19
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 89154 0 0 0 22132 87 0 0 25 0 1 0 252320558 366538752 88868 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 89487 88868 313 324 0 88556 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 357948

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.05 2/65 14930
/proc/meminfo: memFree=1406496/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=419784 CPUtime=282.17
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 104602 0 0 0 28112 105 0 0 25 0 1 0 252320558 429858816 104316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 104946 104316 313 324 0 104015 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 419784

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/65 14930
/proc/meminfo: memFree=1347872/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=477356 CPUtime=342.15
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 119009 0 0 0 34095 120 0 0 25 0 1 0 252320558 488812544 118723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 119339 118723 313 324 0 118408 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 477356

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/65 14930
/proc/meminfo: memFree=1319392/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=506640 CPUtime=402.13
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 126309 0 0 0 40084 129 0 0 25 0 1 0 252320558 518799360 126023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 126660 126023 313 324 0 125729 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 506640

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/65 14930
/proc/meminfo: memFree=1268704/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=556652 CPUtime=462.11
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 138815 0 0 0 46067 144 0 0 25 0 1 0 252320558 570011648 138529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 139163 138529 313 324 0 138232 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 556652

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.03 2/65 14930
/proc/meminfo: memFree=1224736/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=601368 CPUtime=522.09
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 150006 0 0 0 52053 156 0 0 25 0 1 0 252320558 615800832 149720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 150342 149720 313 324 0 149411 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 601368

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 14930
/proc/meminfo: memFree=1164832/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=660488 CPUtime=582.07
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 164777 0 0 0 58036 171 0 0 25 0 1 0 252320558 676339712 164491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 165122 164491 313 324 0 164191 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 660488

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 14930
/proc/meminfo: memFree=1111840/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=712800 CPUtime=642.06
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 177873 0 0 0 64020 186 0 0 25 0 1 0 252320558 729907200 177587 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 178200 177587 313 324 0 177269 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 712800


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066848/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=881.98
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 87997 201 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 757684

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066848/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=941.96
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 93995 201 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 757684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066848/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1001.94
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 99993 201 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 757684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1061.91
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 105986 205 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 757684

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1121.9
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 111979 211 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 757684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1181.88
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 117975 213 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 757684

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1241.86
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 123968 218 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 757684

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1301.84
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 129963 221 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 757684

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1361.82
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 135955 227 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 757684

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1421.81
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 141949 232 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5304022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 757684

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1481.78
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 147943 235 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 757684

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1541.76
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 153936 240 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 757684

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1601.74
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 159932 242 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 757684

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066656/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1661.73
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 165928 245 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 757684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757684 CPUtime=1721.71
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 171922 249 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189421 188808 313 324 0 188490 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 757684

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066400/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757744 CPUtime=1781.69
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189516 0 0 0 177916 253 0 0 25 0 1 0 252320558 775929856 188823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189436 188823 313 324 0 188505 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 757744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066464/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=757744 CPUtime=1800.09
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189516 0 0 0 179756 253 0 0 25 0 1 0 252320558 775929856 188823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 189436 188823 313 324 0 188505 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 757744

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14932
/proc/meminfo: memFree=1066464/2055920 swapFree=4184476/4192956
[pid=14929] ppid=14927 vsize=0 CPUtime=1800.18
/proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194308 189517 0 0 0 179756 262 0 0 25 0 1 0 252320558 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/14929/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.22
CPU user time (s): 1797.57
CPU system time (s): 2.6516
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 758588

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

runsolver used 1.3368 second user time and 3.59645 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue May  1 18:28:29 UTC 2007

IDJOB= 455475
IDBENCH= 48266
IDSOLVER= 163
FILE ID= node58/455475-1178044109

PBS_JOBID= 4728404

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  996170804397234947041ed4d87d3aa0

RANDOM SEED= 925696706

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.265
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.265
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:       1822760 kB
Buffers:         78740 kB
Cached:          75276 kB
SwapCached:       2180 kB
Active:         125164 kB
Inactive:        43648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822760 kB
SwapTotal:     4192956 kB
SwapFree:      4184476 kB
Dirty:            6828 kB
Writeback:           0 kB
Mapped:          19892 kB
Slab:            50416 kB
Committed_AS:  4460276 kB
PageTables:       1392 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 node58 on Tue May  1 18:58:32 UTC 2007