Trace number 3462687

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 62.2395 62.2385

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
MD5SUM3dcbc29326e863fba53ed8c8a10116ce
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.12198
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 variables147
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a 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)343
Sum of products size (including duplicates)686
Number of different products343
Sum of products size686

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-3462687-1307181758.opb
0.00/0.00	c File size is 6272 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: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843
0.00/0.00	c Obj. Vars: 7 (1.42857 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    490      708     2982    4     2557    4020      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
33.59/33.62	c      103    490      888    10624   11     2896    4423    180   7357 0.01
33.59/33.62	c      255    490     1188    24297   20     3732    4866    480   8500 0.03
33.59/33.62	c      481    490     1632    44618   27     4836    5353    924   8907 0.05
33.59/33.62	c      819    490     2215    70250   31     6178    5889   1507   7874 0.10
33.59/33.62	c     1328    490     3184   115371   36     8402    6478   2476   8097 0.16
33.59/33.62	c     2092    490     4629   184070   39    11839    7126   3921   7418 0.28
33.59/33.62	c     3238    490     6801   281242   41    17168    7839   6093   6424 0.50
33.59/33.62	c     4960    490     5722   236935   41    13789    8623   5014   5529 0.90
33.59/33.62	c     7544    490     5853   197964   33    14633    9486   5145   5042 1.50
33.59/33.62	c    11423    490     8047   350379   43    18935   10435   7339   4704 2.43
33.59/33.62	c    17245    490     7685   301156   39    18738   11479   6977   4026 4.28
33.59/33.62	c    25982    490    12118   564869   46    28089   12627  11410   3545 7.33
33.59/33.62	c    39093    490    10337   447681   43    24788   13890   9629   3325 11.76
33.59/33.62	c    58763    489    10677   481648   45    26264   15280   9969   3457 17.00
33.59/33.62	c    88274    488     9176   398369   43    22019   16809   8468   2784 31.70
33.59/33.62	o 33
40.59/40.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.59/40.69	c    95719    488    14170   588672   41    34496    4034  13462   2846 33.62
40.59/40.69	c    95821    479     2903   104199   35     7175    4438   2195   2845 33.67
40.59/40.69	c    96072    479     3329   122883   36     8213    4882   2621   2850 33.71
40.59/40.69	c    96547    479     4192   159349   38    10412    5371   3484   2857 33.78
40.59/40.69	c    97360    479     5668   227892   40    14035    5909   4960   2870 33.92
40.59/40.69	c    98681    479     5049   191331   37    13123    6500   4341   2878 34.28
40.59/40.69	c   100762    479     5545   202601   36    14523    7151   4837   2878 35.01
40.59/40.69	c   103987    479     7777   337180   43    19553    7867   7069   2901 35.84
40.59/40.69	c   108923    479     8115   337872   41    19917    8654   7407   2931 37.15
40.59/40.69	c   116430    479     8338   329578   39    20962    9520   7630   2900 40.14
40.59/40.69	o 27
47.89/47.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.89/47.95	c   117878    479     5578   213913   38    13823    4032   4870   2896 40.69
47.89/47.95	c   117978    478     2919    99947   34     7546    4436   2211   2897 40.72
47.89/47.95	c   118228    478     3397   119354   35     8875    4880   2689   2901 40.75
47.89/47.95	c   118705    478     4274   155962   36    11152    5369   3566   2906 40.84
47.89/47.95	c   119518    478     5794   218311   37    15199    5906   5086   2913 41.03
47.89/47.95	c   120838    478     5153   194546   37    13474    6497   4445   2915 41.45
47.89/47.95	c   122919    478     5496   211894   38    13720    7147   4788   2909 42.25
47.89/47.95	c   126143    478     7719   336420   43    19001    7862   7011   2926 43.10
47.89/47.95	c   131080    477     8432   334237   39    20834    8649   7724   2935 44.65
47.89/47.95	c   138586    468     8763   349821   39    22598    9514   8055   2924 47.40
47.89/47.95	o 25
50.80/50.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.80/50.88	c   140486    468     7288   282957   38    18436    4030   6580   2929 47.95
50.80/50.88	c   140587    468     2906   100996   34     7382    4434   2198   2930 47.98
50.80/50.88	c   140837    468     3322   119654   36     8338    4878   2614   2933 48.01
50.80/50.88	c   141313    468     4176   156532   37    10539    5366   3468   2938 48.09
50.80/50.88	c   142127    468     5629   223958   39    14017    5903   4921   2946 48.24
50.80/50.88	c   143448    468     5005   203626   40    12279    6494   4297   2956 48.52
50.80/50.88	c   145530    468     5414   208115   38    13804    7144   4706   2966 49.06
50.80/50.88	c   148754    468     7499   289051   38    19093    7859   6791   2960 50.25
50.80/50.88	o 9
51.71/51.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.71/51.78	c   150759    468     6900   260420   37    17491    4030   6192   2962 50.89
51.71/51.78	c   150860    468     2925    93121   31     7596    4434   2217   2962 50.92
51.71/51.78	c   151110    468     3379   110732   32     8865    4878   2671   2965 50.95
51.71/51.78	c   151585    468     4259   146894   34    11272    5366   3551   2969 51.04
51.71/51.78	c   152398    468     5712   206743   36    14905    5903   5004   2973 51.26
51.71/51.78	c   153719    459     4871   181987   37    12400    6494   4163   2972 51.71
51.71/51.78	o 3
62.19/62.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.19/62.23	c   153997    459     5336   199673   37    13569    4028   4628   2973 51.78
62.19/62.23	c   154097    431     2931    99053   33     7581    4431   2223   2974 51.80
62.19/62.23	c   154348    431     3397   119407   35     8702    4875   2689   2978 51.83
62.19/62.23	c   154824    431     4308   159233   36    10935    5363   3600   2982 51.91
62.19/62.23	c   155638    431     5776   223084   38    14543    5900   5068   2988 52.08
62.19/62.23	c   156958    431     5130   197241   38    13040    6491   4422   2998 52.35
62.19/62.23	c   159039    431     5346   208675   39    13315    7141   4638   3005 52.92
62.19/62.23	c   162263    431     7508   303187   40    17852    7856   6800   3012 53.87
62.19/62.23	c   167199    431     4652   176766   37    11722    8642   3944   3009 55.55
62.19/62.23	c   174706    430     8863   365522   41    21502    9507   8155   3014 57.95
62.19/62.23	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 x99 -x100 -x101 -x102 -x103 -x104 -x105 x64 -x65 -x66 -x67 x68 -x69 -x70 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x71 -x72 -x73 -x74 -x75 -x76 -x77 x113 x114 x115 x116 -x117 -x118 -x119 x78 x79 -x80 -x81 -x82 -x83 -x84 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x85 -x86 -x87 -x88 -x89 -x90 -x91 x127 -x128 -x129 -x130 -x131 -x132 -x133 x92 x93 -x94 -x95 -x96 -x97 -x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
62.19/62.23	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
62.19/62.23	c   59   183086   2339   194813     7629   252944   6921   2941 62.24
62.19/62.23	c Objective: 3
62.19/62.23	s OPTIMUM FOUND
62.19/62.23	c Total time: 62.238 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-3462687-1307181758/watcher-3462687-1307181758 -o /tmp/evaluation-result-3462687-1307181758/solver-3462687-1307181758 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462687-1307181758.opb 

running on 4 cores: 1,3,5,7

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.05 2.03 2.00 2/514 15451
/proc/meminfo: memFree=19103300/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 908406544 11186176 296 33554432000 134512640 137138936 4291788688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 2731 296 192 642 0 2087 0

[startup+0.053273 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 15451
/proc/meminfo: memFree=19103300/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=11560 CPUtime=0.04 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 489 0 0 0 4 0 0 0 25 0 1 0 908406544 11837440 442 33554432000 134512640 137138936 4291788688 18446744073709551615 134603188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 2890 442 192 642 0 2246 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11560

[startup+0.10033 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 15451
/proc/meminfo: memFree=19103300/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=11948 CPUtime=0.09 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 588 0 0 0 9 0 0 0 25 0 1 0 908406544 12234752 541 33554432000 134512640 137138936 4291788688 18446744073709551615 134577155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 2987 541 192 642 0 2343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11948

[startup+0.300232 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 15451
/proc/meminfo: memFree=19103300/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=13876 CPUtime=0.29 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 1075 0 0 0 29 0 0 0 25 0 1 0 908406544 14209024 1028 33554432000 134512640 137138936 4291788688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 3469 1028 192 642 0 2825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13876

[startup+0.700225 s]
/proc/loadavg: 2.05 2.03 2.00 2/514 15451
/proc/meminfo: memFree=19103300/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=16316 CPUtime=0.69 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 1697 0 0 0 68 1 0 0 25 0 1 0 908406544 16707584 1650 33554432000 134512640 137138936 4291788688 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 4079 1650 192 642 0 3435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16316

[startup+1.50108 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 15452
/proc/meminfo: memFree=19096100/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=16804 CPUtime=1.49 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 1800 0 0 0 148 1 0 0 25 0 1 0 908406544 17207296 1753 33554432000 134512640 137138936 4291788688 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 4201 1753 192 642 0 3557 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16804

[startup+3.1008 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 15452
/proc/meminfo: memFree=19094272/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=18612 CPUtime=3.09 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 2265 0 0 0 307 2 0 0 25 0 1 0 908406544 19058688 2218 33554432000 134512640 137138936 4291788688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 4653 2218 192 642 0 4009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18612

[startup+6.30018 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 15452
/proc/meminfo: memFree=19092416/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=19884 CPUtime=6.29 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 2572 0 0 0 626 3 0 0 25 0 1 0 908406544 20361216 2525 33554432000 134512640 137138936 4291788688 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 4971 2525 192 642 0 4327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19884

[startup+12.7001 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 15452
/proc/meminfo: memFree=19089824/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=21520 CPUtime=12.69 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3001 0 0 0 1264 5 0 0 25 0 1 0 908406544 22036480 2954 33554432000 134512640 137138936 4291788688 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5380 2954 192 642 0 4736 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21520

[startup+25.5008 s]
/proc/loadavg: 2.11 2.04 2.01 3/515 15453
/proc/meminfo: memFree=19088600/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22292 CPUtime=25.49 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3195 0 0 0 2541 8 0 0 25 0 1 0 908406544 22827008 3148 33554432000 134512640 137138936 4291788688 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5573 3148 192 642 0 4929 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22292

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.00 3/515 15453
/proc/meminfo: memFree=19088076/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=51.1 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 5095 15 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 22876

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

[startup+57.5003 s]
/proc/loadavg: 2.07 2.04 2.00 3/515 15453
/proc/meminfo: memFree=19087704/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=57.49 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 5732 17 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 22876

[startup+60.7007 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 15453
/proc/meminfo: memFree=19087828/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=60.7 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 6052 18 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 60.7
Current children cumulated vsize (KiB) 22876

[startup+61.5006 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 15454
/proc/meminfo: memFree=19087704/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=61.5 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 6132 18 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 61.5
Current children cumulated vsize (KiB) 22876

[startup+61.9005 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 15454
/proc/meminfo: memFree=19087704/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=61.89 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 6171 18 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 61.89
Current children cumulated vsize (KiB) 22876

[startup+62.1005 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 15454
/proc/meminfo: memFree=19087704/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=62.09 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 6191 18 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 62.09
Current children cumulated vsize (KiB) 22876

[startup+62.2005 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 15454
/proc/meminfo: memFree=19087704/32950940 swapFree=67111364/67111528
[pid=15451] ppid=15449 vsize=22876 CPUtime=62.19 cores=1,3,5,7
/proc/15451/stat : 15451 (bsolo) R 15449 15451 13684 0 -1 4202496 3329 0 0 0 6201 18 0 0 25 0 1 0 908406544 23425024 3282 33554432000 134512640 137138936 4291788688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15451/statm: 5719 3282 192 642 0 5075 0
Current children cumulated CPU time (s) 62.19
Current children cumulated vsize (KiB) 22876

Child status: 0
Real time (s): 62.2385
CPU time (s): 62.2395
CPU user time (s): 62.0556
CPU system time (s): 0.183972
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22888

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

runsolver used 0.308953 second user time and 0.751885 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-04 12:02:38
IDJOB=3462687
IDBENCH=48103
IDSOLVER=1955
FILE ID=node117/3462687-1307181758
RUNJOBID= node117-1307174922-14794
PBS_JOBID= 13508821
Free space on /tmp= 73624 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462687-1307181758/watcher-3462687-1307181758 -o /tmp/evaluation-result-3462687-1307181758/solver-3462687-1307181758 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462687-1307181758.opb

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

MD5SUM BENCH= 3dcbc29326e863fba53ed8c8a10116ce
RANDOM SEED=1021169664

node117.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.849
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.849
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	: 5332.75
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.849
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.74
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.849
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.75
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19103704 kB
Buffers:        375260 kB
Cached:        3191812 kB
SwapCached:          0 kB
Active:       10361284 kB
Inactive:      3088712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19103704 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            4092 kB
Writeback:           4 kB
AnonPages:     9882636 kB
Mapped:          42768 kB
Slab:           270008 kB
PageTables:      58324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149595164 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= 73620 MiB
End job on node117 at 2011-06-04 12:03:40