Trace number 3462584

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2OPT3 176.315 176.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
MD5SUMbc362e080dfd9e6c883df7eeb6006e66
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.128979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462584-1307181322.opb
0.00/0.00	c File size is 8217 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369
0.00/0.00	c Obj. Vars: 7 (1.11111 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    630      910     3836    4     3289    5172      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
75.59/75.60	c      101    630     1101    10257    9     3756    5690    191   8416 0.01
75.59/75.60	c      252    630     1384    22678   16     4423    6260    474   8400 0.03
75.59/75.60	c      478    630     1831    44257   24     5617    6887    921   8851 0.05
75.59/75.60	c      820    630     2502    84612   33     7294    7576   1592   8200 0.10
75.59/75.60	c     1328    630     3477   150683   43     9627    8334   2567   6775 0.20
75.59/75.60	c     2092    630     4929   220820   44    13144    9168   4019   6578 0.32
75.59/75.60	c     3238    630     7079   314599   44    18196   10085   6169   6424 0.50
75.59/75.60	c     4961    630    10327   447995   43    26123   11094   9417   6132 0.81
75.59/75.60	c     7546    630     9291   375424   40    22984   12204   8381   4526 1.67
75.59/75.60	c    11426    630    10221   425643   41    24632   13425   9311   4401 2.60
75.59/75.60	c    17248    630    14258   655880   46    33479   14768  13348   4198 4.11
75.59/75.60	c    25986    629    14949   602279   40    35316   16245  14039   3796 6.84
75.59/75.60	c    39097    629    14331   602446   42    35001   17870  13421   3044 12.84
75.59/75.60	c    58767    629    14600   639375   43    34257   19658  13690   2648 22.19
75.59/75.60	c    88278    629    20089   949906   47    48074   21624  19179   2505 35.24
75.59/75.60	c   132548    629    14633   659778   45    34528   23787  13723   2101 63.07
75.59/75.60	o 25
87.20/87.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.20/87.23	c   165251    626    14044   588056   41    34490    5187  13134   2185 75.61
87.20/87.23	c   165352    626     3710   133853   36     9689    5706   2800   2184 75.68
87.20/87.23	c   165602    617     4172   156212   37    10742    6277   3262   2187 75.72
87.20/87.23	c   166077    608     5074   196229   38    13137    6905   4164   2191 75.78
87.20/87.23	c   166890    608     6582   266139   40    16726    7596   5672   2198 75.92
87.20/87.23	c   168211    608     5058   191908   37    13472    8356   4148   2206 76.24
87.20/87.23	c   170293    608     8963   364085   40    23182    9192   8053   2218 76.76
87.20/87.23	c   173517    608     9985   420271   42    25485   10112   9075   2225 77.96
87.20/87.23	c   178454    608     8224   316087   38    20046   11124   7314   2223 80.25
87.20/87.23	c   185961    607     9599   368461   38    23315   12237   8689   2262 82.19
87.20/87.23	c   197322    607     9839   420498   42    23978   13461   8929   2274 86.76
87.20/87.23	o 17
97.69/97.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.69/97.76	c   199617    607    13911   605184   43    33884    5182  13001   2288 87.24
97.69/97.76	c   199717    607     3659   134489   36     9469    5701   2749   2286 87.36
97.69/97.76	c   199967    607     4108   156292   38    10546    6272   3198   2287 87.41
97.69/97.76	c   200443    607     4926   195410   39    12306    6900   4016   2291 87.47
97.69/97.76	c   201256    607     6410   264042   41    15846    7591   5500   2296 87.63
97.69/97.76	c   202576    607     4935   181437   36    12821    8351   4025   2300 88.05
97.69/97.76	c   204657    607     8751   359757   41    22064    9187   7841   2311 88.53
97.69/97.76	c   207883    607     9698   422393   43    23274   10106   8788   2330 89.20
97.69/97.76	c   212820    607     8142   359347   44    19731   11117   7232   2350 90.56
97.69/97.76	c   220327    607    10179   419636   41    26508   12229   9269   2384 92.41
97.69/97.76	c   231688    607    12080   519055   42    29341   13452  11170   2384 97.17
97.69/97.76	o 3
176.29/176.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.29/176.30	c   234309    606    10061   418688   41    25218    5183   9151   2396 97.76
176.29/176.30	c   234409    590     3697   140642   38     9576    5702   2787   2396 97.81
176.29/176.30	c   234660    580     4162   163467   39    10678    6273   3252   2398 97.84
176.29/176.30	c   235136    580     5057   199331   39    13121    6901   4147   2401 97.92
176.29/176.30	c   235949    580     6332   254491   40    15951    7592   5422   2404 98.14
176.29/176.30	c   237270    569     4725   179038   37    12162    8352   3815   2410 98.42
176.29/176.30	c   239353    569     8557   342293   40    21604    9188   7647   2420 98.87
176.29/176.30	c   242577    569     9340   366112   39    24032   10107   8430   2428 99.90
176.29/176.30	c   247515    569     7703   302997   39    19043   11118   6793   2442 101.34
176.29/176.30	c   255022    568     9429   380723   40    23470   12230   8519   2450 104.06
176.29/176.30	c   266383    568    11081   498823   45    27706   13454  10171   2443 109.02
176.29/176.30	c   283527    566    13063   578244   44    32497   14800  12153   2461 115.17
176.29/176.30	c   309348    566    14456   655659   45    34859   16281  13546   2422 127.72
176.29/176.30	c   348182    557    10765   435220   40    26307   17910   9855   2371 146.82
176.29/176.30	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 -x19 -x20 -x21 x22 x23 -x24 -x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 -x63 x64 x65 x66 x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x127 -x128 -x129 -x130 -x131 -x132 -x133 x78 -x79 -x80 x81 -x82 -x83 -x84 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x85 x86 -x87 x88 -x89 x90 -x91 x141 -x142 -x143 -x144 -x145 -x146 -x147 x92 -x93 -x94 -x95 -x96 -x97 -x98 x148 -x149 -x150 -x151 -x152 -x153 -x154 x99 -x100 -x101 x102 -x103 -x104 -x105 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x106 -x107 -x108 x109 x110 -x111 -x112 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 -x114 -x115 -x116 -x117 x118 x119 x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 
176.29/176.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
176.29/176.30	c   52   396519   8908   433549    18220   637325  17310   2248 176.31
176.29/176.30	c Objective: 3
176.29/176.30	s OPTIMUM FOUND
176.29/176.30	c Total time: 176.313 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462584-1307181322/watcher-3462584-1307181322 -o /tmp/evaluation-result-3462584-1307181322/solver-3462584-1307181322 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462584-1307181322.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 31968
/proc/meminfo: memFree=21520584/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=11060 CPUtime=0.01 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 388 0 0 0 1 0 0 0 25 0 1 0 810547665 11325440 339 33554432000 134512640 137138936 4289746352 18446744073709551615 134598896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 2765 339 192 642 0 2121 0

[startup+0.098919 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 31968
/proc/meminfo: memFree=21520584/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=12212 CPUtime=0.09 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 649 0 0 0 9 0 0 0 25 0 1 0 810547665 12505088 600 33554432000 134512640 137138936 4289746352 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 3053 600 192 642 0 2409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12212

[startup+0.100933 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 31968
/proc/meminfo: memFree=21520584/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=12212 CPUtime=0.09 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 656 0 0 0 9 0 0 0 25 0 1 0 810547665 12505088 607 33554432000 134512640 137138936 4289746352 18446744073709551615 134598974 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 3053 608 192 642 0 2409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12212

[startup+0.300885 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 31968
/proc/meminfo: memFree=21520584/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=14124 CPUtime=0.29 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 1140 0 0 0 29 0 0 0 25 0 1 0 810547665 14462976 1091 33554432000 134512640 137138936 4289746352 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 3531 1091 192 642 0 2887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14124

[startup+0.700808 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 31968
/proc/meminfo: memFree=21520584/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=16952 CPUtime=0.69 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 1846 0 0 0 69 0 0 0 25 0 1 0 810547665 17358848 1797 33554432000 134512640 137138936 4289746352 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 4238 1797 192 642 0 3594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16952

[startup+1.50066 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 31969
/proc/meminfo: memFree=21511896/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=19388 CPUtime=1.49 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 2461 0 0 0 149 0 0 0 25 0 1 0 810547665 19853312 2412 33554432000 134512640 137138936 4289746352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 4847 2412 192 642 0 4203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19388

[startup+3.10034 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 31969
/proc/meminfo: memFree=21509788/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=20892 CPUtime=3.09 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 2840 0 0 0 308 1 0 0 25 0 1 0 810547665 21393408 2791 33554432000 134512640 137138936 4289746352 18446744073709551615 134541989 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 5223 2791 192 642 0 4579 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20892

[startup+6.30079 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 31969
/proc/meminfo: memFree=21506020/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=22124 CPUtime=6.29 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 3139 0 0 0 627 2 0 0 25 0 1 0 810547665 22654976 3090 33554432000 134512640 137138936 4289746352 18446744073709551615 134542886 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 5531 3090 192 642 0 4887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22124

[startup+12.7006 s]
/proc/loadavg: 2.08 2.05 2.00 3/522 31969
/proc/meminfo: memFree=21505080/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=22772 CPUtime=12.69 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 3312 0 0 0 1266 3 0 0 25 0 1 0 810547665 23318528 3263 33554432000 134512640 137138936 4289746352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 5693 3263 192 642 0 5049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22772

[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.00 3/522 31970
/proc/meminfo: memFree=21501856/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=25836 CPUtime=25.49 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4073 0 0 0 2545 4 0 0 25 0 1 0 810547665 26456064 4024 33554432000 134512640 137138936 4289746352 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 6459 4024 192 642 0 5815 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25836

[startup+51.1006 s]
/proc/loadavg: 2.11 2.05 2.01 3/522 31970
/proc/meminfo: memFree=21500096/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=27840 CPUtime=51.09 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4574 0 0 0 5102 7 0 0 25 0 1 0 810547665 28508160 4525 33554432000 134512640 137138936 4289746352 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 6960 4525 192 642 0 6316 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27840

[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 31972
/proc/meminfo: memFree=21495732/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28832 CPUtime=102.31 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 10215 16 0 0 25 0 1 0 810547665 29523968 4784 33554432000 134512640 137138936 4289746352 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7208 4784 192 642 0 6564 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28832

[startup+162.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/522 31973
/proc/meminfo: memFree=21493804/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=162.3 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 16206 24 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 28636

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

[startup+166.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/522 31974
/proc/meminfo: memFree=21494176/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=166.29 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 16605 24 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 134540715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 28636

[startup+172.72 s]
/proc/loadavg: 2.13 2.06 2.01 3/522 31974
/proc/meminfo: memFree=21494176/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=172.72 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 17247 25 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 172.72
Current children cumulated vsize (KiB) 28636

[startup+174.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 31974
/proc/meminfo: memFree=21494176/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=174.3 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 17405 25 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 174.3
Current children cumulated vsize (KiB) 28636

[startup+175.101 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 31974
/proc/meminfo: memFree=21494176/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=175.1 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 17485 25 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 134603153 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 175.1
Current children cumulated vsize (KiB) 28636

[startup+175.901 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 31974
/proc/meminfo: memFree=21494176/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=175.91 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 17566 25 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 175.91
Current children cumulated vsize (KiB) 28636

[startup+176.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 31974
/proc/meminfo: memFree=21494176/32951124 swapFree=58800704/67111528
[pid=31968] ppid=31966 vsize=28636 CPUtime=176.29 cores=0,2,4,6
/proc/31968/stat : 31968 (bsolo) R 31966 31968 30263 0 -1 4202496 4902 0 0 0 17604 25 0 0 25 0 1 0 810547665 29323264 4735 33554432000 134512640 137138936 4289746352 18446744073709551615 134618964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31968/statm: 7159 4735 192 642 0 6515 0
Current children cumulated CPU time (s) 176.29
Current children cumulated vsize (KiB) 28636

Child status: 0
Real time (s): 176.31
CPU time (s): 176.315
CPU user time (s): 176.055
CPU system time (s): 0.25996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.055
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4903
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= 4
involuntary context switches= 258

runsolver used 1.00685 second user time and 2.01169 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-04 11:55:22
IDJOB=3462584
IDBENCH=48000
IDSOLVER=1955
FILE ID=node142/3462584-1307181322
RUNJOBID= node142-1307174552-31321
PBS_JOBID= 13508862
Free space on /tmp= 73936 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462584-1307181322/watcher-3462584-1307181322 -o /tmp/evaluation-result-3462584-1307181322/solver-3462584-1307181322 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462584-1307181322.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bc362e080dfd9e6c883df7eeb6006e66
RANDOM SEED=39424406

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21520740 kB
Buffers:        280560 kB
Cached:         451036 kB
SwapCached:      11452 kB
Active:        9361548 kB
Inactive:      1807592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21520740 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:    10434508 kB
Mapped:          32096 kB
Slab:           116452 kB
PageTables:      74816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145432616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73932 MiB
End job on node142 at 2011-06-04 11:58:18