Trace number 3736704

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
PB07: bsolo 3.0.17SAT (TO)12 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_4.opb
MD5SUM431de611ddaca60ef9395e6cd3a99cf2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark4.32434
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products1258
Sum of products size2516

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3736704-1338710069.opb
0.00/0.00	c File size is 17147 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.003 s
0.00/0.01	c Var: 1358 Constr: 2616 1358/0/1258 Lit: 8906 Watch. Lit: 6490
0.00/0.01	c Obj. Vars: 100 (7.36377 % of total variables)
0.00/0.02	c Pre-processing Time: 0.019 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2616     8906    3     6490    8000      0      0 0.02
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o 99	0.02
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2617     9006    3     6493    8067      1      0 0.02
0.00/0.02	o 98	0.021
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2618     9106    3     6497    8167      2      0 0.02
0.00/0.02	o 97	0.021
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2619     9206    3     6502    8300      3      0 0.02
0.00/0.02	o 96	0.022
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2620     9306    3     6508    8467      4      0 0.02
0.00/0.02	o 95	0.022
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2621     9406    3     6515    8667      5      0 0.02
0.00/0.03	o 94	0.023
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2622     9506    3     6523    8900      6      0 0.02
0.00/0.03	o 93	0.023
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2623     9606    3     6532    9167      7      0 0.02
0.02/0.03	o 92	0.024
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2624     9706    3     6542    9467      8      0 0.02
0.02/0.03	o 91	0.024
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2625     9806    3     6553    9800      9      0 0.03
0.02/0.03	o 90	0.025
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2626     9906    3     6565   10167     10      0 0.03
0.02/0.03	o 89	0.025
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2627    10006    3     6578   10567     11      0 0.03
0.02/0.03	o 88	0.026
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2628    10106    3     6592   11000     12      0 0.03
0.02/0.03	o 87	0.026
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2629    10206    3     6607   11467     13      0 0.03
0.02/0.03	o 86	0.027
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2630    10306    3     6623   11967     14      0 0.03
0.02/0.03	o 85	0.027
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2631    10406    3     6640   12500     15      0 0.03
0.02/0.03	o 84	0.028
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2632    10506    3     6658   13067     16      0 0.03
0.02/0.03	o 83	0.028
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2633    10606    4     6677   13667     17      0 0.03
0.02/0.03	o 82	0.029
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2634    10706    4     6697   14300     18      0 0.03
0.02/0.03	o 81	0.029
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2635    10806    4     6718   14967     19      0 0.03
0.02/0.03	o 80	0.03
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0   1358     2636    10906    4     6740   15667     20      0 0.03
0.02/0.03	o 79	0.031
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        1   1358     2638    11086    4     6765   15700     22     32 0.03
0.02/0.03	o 15	0.031
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        1   1358     2639    11186    4     6852   15967     23     31 0.03
0.02/0.03	o 14	0.032
7.89/7.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.89/7.91	c        5   1358     2644    11453    4     6948   15967     28    156 0.03
7.89/7.91	c      108   1358     2747    15976    5     7154   17564    131   2842 0.04
7.89/7.91	c      358   1358     2997    29311    9     7654   19321    381   6629 0.05
7.89/7.91	c      833   1358     3472    52667   15     8604   21254    856   9359 0.09
7.89/7.91	c     1647   1358     4286    91214   21    10232   23380   1670  11053 0.15
7.89/7.91	c     2967   1358     5606   152018   27    12872   25719   2990  10908 0.27
7.89/7.91	c     5049   1358     7688   244771   31    17036   28291   5072  10742 0.47
7.89/7.91	c     8273   1358    10912   432926   39    23484   31121   8296   9411 0.88
7.89/7.91	c    13210   1358    15849   654109   41    33358   34234  13233   7858 1.68
7.89/7.91	c    20716   1358    23355  1038966   44    48370   37658  20739   6891 3.01
7.89/7.91	c    32079   1358    34718  1603114   46    71096   41424  32102   4776 6.72
7.89/7.91	o 13	7.905
60.58/60.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.58/60.62	c    35606   1358    38246  1778379   46    78239   15967  35630   4503 7.91
60.58/60.62	c    35706   1358    10701   407160   38    22747   17564   8085   4295 8.31
60.58/60.62	c    35956   1358    10951   416542   38    23247   19321   8335   4301 8.36
60.58/60.62	c    36431   1358    11426   439562   38    24197   21254   8810   4329 8.41
60.58/60.62	c    37244   1358    12239   472332   38    25823   23380   9623   4377 8.51
60.58/60.62	c    38565   1358    13560   541670   39    28465   25719  10944   4414 8.73
60.58/60.62	c    40646   1358    15641   641379   41    32627   28291  13025   4447 9.14
60.58/60.62	c    43870   1358    18865   798589   42    39075   31121  16249   4488 9.77
60.58/60.62	c    48806   1358    23801  1047869   44    48947   34234  21185   4524 10.79
60.58/60.62	c    56312   1358    31307  1430333   45    63959   37658  28691   4417 12.75
60.58/60.62	c    67673   1358    15599   660216   42    32543   41424  12983   3991 16.96
60.58/60.62	c    84818   1358    32744  1669115   50    66833   45567  30128   3864 21.95
60.58/60.62	c   110637   1358    23838  1210325   50    49021   50124  21222   3317 33.35
60.58/60.62	c   149471   1358    23866  1146507   48    49077   55137  21250   2724 54.86
60.58/60.62	o 12	60.605
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c   169409   1358    43805  2307730   52    89043    9000  41189   2795 60.61
1800.08/1800.40	c   169509   1358     7217   238567   33    15780    9901   4601   2673 63.39
1800.08/1800.40	c   169760   1358     7468   248050   33    16282   10892   4852   2676 63.42
1800.08/1800.40	c   170236   1358     7944   266454   33    17234   11982   5328   2682 63.46
1800.08/1800.40	c   171050   1358     8758   301639   34    18862   13181   6142   2691 63.54
1800.08/1800.40	c   172370   1358    10078   366385   36    21502   14500   7462   2706 63.69
1800.08/1800.40	c   174452   1358    12160   451539   37    25666   15951   9544   2726 63.99
1800.08/1800.40	c   177675   1358    15383   625125   40    32112   17547  12767   2752 64.54
1800.08/1800.40	c   182611   1358    11391   421027   36    24128   19302   8775   2786 65.54
1800.08/1800.40	c   190118   1358    18898   741956   39    39142   21233  16282   2834 67.06
1800.08/1800.40	c   201479   1358    18791   712251   37    38928   23357  16175   2899 69.48
1800.08/1800.40	c   218624   1358    22669   977704   43    46684   25693  20053   2915 74.99
1800.08/1800.40	c   244443   1358    18138   729703   40    37622   28263  15522   2920 83.69
1800.08/1800.40	c   283275   1358    21981  1120585   50    45308   31090  19365   2916 97.14
1800.08/1800.40	c   341628   1358    19081   748965   39    39508   34200  16465   2870 119.00
1800.08/1800.40	c   429260   1358    14844   581651   39    31034   37621  12228   2789 153.87
1800.08/1800.40	c   560812   1358    14137   490912   34    29620   41384  11521   2642 212.24
1800.08/1800.40	c   758244   1358    30050  1192839   39    61446   45523  27434   2582 293.61
1800.08/1800.40	c  1054497   1358    19797   801041   40    40940   50076  17181   2396 439.93
1800.08/1800.40	c  1498979   1358    38850  1810503   46    79046   55084  36234   2390 626.95
1800.08/1800.40	c  2165808   1358    54861  2144135   39   111068   60593  52245   2279 949.93
1800.08/1800.40	c  3166155   1358    41373  2755218   66    84092   66653  38757   1992 1588.99
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	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 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   69  3579243 1155832  5790876    39791  1592368  37175   1988 1800.08
1800.08/1800.40	c Objective: 12
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c Total time: 1800.08 s

Verifier Data 

OK	12

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3736704-1338710069/watcher-3736704-1338710069 -o /tmp/evaluation-result-3736704-1338710069/solver-3736704-1338710069 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736704-1338710069.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.01 2.00 3/174 29049
/proc/meminfo: memFree=28029224/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) D 29047 29049 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 337132313 2723840 47 33554432000 134512640 135840783 4291382656 4291380692 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 665 47 37 325 0 32 0

[startup+0.031311 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 29049
/proc/meminfo: memFree=28029224/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=5368 CPUtime=0.02 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 672 0 0 0 2 0 0 0 20 0 1 0 337132313 5496832 603 33554432000 134512640 135840783 4291382656 4291382016 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 1342 603 347 325 0 278 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5368

[startup+0.100309 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 29049
/proc/meminfo: memFree=28029224/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=6024 CPUtime=0.09 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 819 0 0 0 9 0 0 0 20 0 1 0 337132313 6168576 750 33554432000 134512640 135840783 4291382656 4291380864 11867313 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 1506 750 348 325 0 442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6024

[startup+0.300267 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 29049
/proc/meminfo: memFree=28029224/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=7588 CPUtime=0.29 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 1238 0 0 0 29 0 0 0 20 0 1 0 337132313 7770112 1169 33554432000 134512640 135840783 4291382656 4291381936 11869838 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 1897 1169 348 325 0 833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7588

[startup+0.700269 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 29049
/proc/meminfo: memFree=28029224/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=10580 CPUtime=0.68 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 1961 0 0 0 68 0 0 0 20 0 1 0 337132313 10833920 1892 33554432000 134512640 135840783 4291382656 4291382016 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 2645 1892 348 325 0 1581 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10580

[startup+1.50027 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29050
/proc/meminfo: memFree=28021536/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=14380 CPUtime=1.48 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 2926 0 0 0 148 0 0 0 20 0 1 0 337132313 14725120 2857 33554432000 134512640 135840783 4291382656 4291381952 134571914 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 3595 2857 348 325 0 2531 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14380

[startup+3.10028 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29050
/proc/meminfo: memFree=28015940/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=21032 CPUtime=3.08 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 4599 0 0 0 307 1 0 0 20 0 1 0 337132313 21536768 4530 33554432000 134512640 135840783 4291382656 4291380048 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 5258 4530 348 325 0 4194 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21032

[startup+6.30036 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29050
/proc/meminfo: memFree=28006020/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=28604 CPUtime=6.28 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 6480 0 0 0 627 1 0 0 20 0 1 0 337132313 29290496 6411 33554432000 134512640 135840783 4291382656 4291382016 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 7151 6411 348 325 0 6087 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28604

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 29050
/proc/meminfo: memFree=28000448/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=31868 CPUtime=12.69 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 7347 0 0 0 1267 2 0 0 20 0 1 0 337132313 32632832 7243 33554432000 134512640 135840783 4291382656 4291382016 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 7967 7243 348 325 0 6903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31868

[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 29050
/proc/meminfo: memFree=27995248/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=38224 CPUtime=25.49 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 8958 0 0 0 2546 3 0 0 20 0 1 0 337132313 39141376 8816 33554432000 134512640 135840783 4291382656 4291382016 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 9556 8816 348 325 0 8492 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38224

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 29050
/proc/meminfo: memFree=27986196/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=51.08 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11151 0 0 0 5105 3 0 0 20 0 1 0 337132313 47697920 10913 33554432000 134512640 135840783 4291382656 4291382080 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10913 348 325 0 10581 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46580

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 29050
/proc/meminfo: memFree=27985948/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=102.28 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11151 0 0 0 10225 3 0 0 20 0 1 0 337132313 47697920 10913 33554432000 134512640 135840783 4291382656 4291381792 11864837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10913 348 325 0 10581 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 46580

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29050
/proc/meminfo: memFree=27986072/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=162.26 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11151 0 0 0 16223 3 0 0 20 0 1 0 337132313 47697920 10913 33554432000 134512640 135840783 4291382656 4291382080 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10913 348 325 0 10581 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 46580

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29050
/proc/meminfo: memFree=27985512/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=222.25 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11152 0 0 0 22222 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382016 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 46580

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29051
/proc/meminfo: memFree=27985908/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=282.22 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11171 0 0 0 28219 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382016 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 46580

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29054
/proc/meminfo: memFree=27986016/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=342.21 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11171 0 0 0 34218 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382016 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 46580

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29077
/proc/meminfo: memFree=27985628/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=402.2 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11171 0 0 0 40217 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382016 134550832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 46580

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29077
/proc/meminfo: memFree=27966440/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=462.19 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11171 0 0 0 46216 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382016 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 46580

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29077
/proc/meminfo: memFree=27953708/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=522.18 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11171 0 0 0 52215 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382016 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 46580

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29078
/proc/meminfo: memFree=27954204/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=46580 CPUtime=582.18 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 11171 0 0 0 58215 3 0 0 20 0 1 0 337132313 47697920 10914 33554432000 134512640 135840783 4291382656 4291382080 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 11645 10914 348 325 0 10581 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 46580

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29079
/proc/meminfo: memFree=27951036/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=50552 CPUtime=822.14 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 12197 0 0 0 82210 4 0 0 20 0 1 0 337132313 51765248 11883 33554432000 134512640 135840783 4291382656 4291382016 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 12638 11883 348 325 0 11574 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 50552

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29080
/proc/meminfo: memFree=27919284/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=50552 CPUtime=882.13 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 12197 0 0 0 88209 4 0 0 20 0 1 0 337132313 51765248 11883 33554432000 134512640 135840783 4291382656 4291382016 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 12638 11883 348 325 0 11574 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 50552

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29083
/proc/meminfo: memFree=27872744/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=49956 CPUtime=942.12 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 12197 0 0 0 94208 4 0 0 20 0 1 0 337132313 51154944 11766 33554432000 134512640 135840783 4291382656 4291382016 134551326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 12489 11766 348 325 0 11425 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 49956

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29198
/proc/meminfo: memFree=28235804/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=49976 CPUtime=1002.12 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 12202 0 0 0 100208 4 0 0 20 0 1 0 337132313 51175424 11771 33554432000 134512640 135840783 4291382656 4291381952 134571985 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 12494 11771 348 325 0 11430 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 49976

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 29198
/proc/meminfo: memFree=28067884/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=51792 CPUtime=1062.1 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 12684 0 0 0 106206 4 0 0 20 0 1 0 337132313 53035008 12193 33554432000 134512640 135840783 4291382656 4291382016 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 12948 12193 348 325 0 11884 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 51792

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 29198
/proc/meminfo: memFree=27968464/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=51792 CPUtime=1122.1 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 12684 0 0 0 112206 4 0 0 20 0 1 0 337132313 53035008 12193 33554432000 134512640 135840783 4291382656 4291382016 134550907 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 12948 12193 348 325 0 11884 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 51792

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29199
/proc/meminfo: memFree=27894464/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=53636 CPUtime=1182.09 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 13145 0 0 0 118205 4 0 0 20 0 1 0 337132313 54923264 12654 33554432000 134512640 135840783 4291382656 4291382080 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 13409 12654 348 325 0 12345 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 53636

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29199
/proc/meminfo: memFree=27756232/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=53636 CPUtime=1242.08 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 13145 0 0 0 124204 4 0 0 20 0 1 0 337132313 54923264 12654 33554432000 134512640 135840783 4291382656 4291382016 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 13409 12654 348 325 0 12345 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 53636

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29199
/proc/meminfo: memFree=27667972/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=53636 CPUtime=1302.07 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 13145 0 0 0 130203 4 0 0 20 0 1 0 337132313 54923264 12654 33554432000 134512640 135840783 4291382656 4291382080 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 13409 12654 348 325 0 12345 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 53636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29199
/proc/meminfo: memFree=27545736/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104644 CPUtime=1362.06 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25972 0 0 0 136198 8 0 0 20 0 1 0 337132313 107155456 25420 33554432000 134512640 135840783 4291382656 4291381968 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26161 25420 348 325 0 25097 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 104644

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29199
/proc/meminfo: memFree=27465040/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104644 CPUtime=1422.06 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25972 0 0 0 142198 8 0 0 20 0 1 0 337132313 107155456 25420 33554432000 134512640 135840783 4291382656 4291382016 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26161 25420 348 325 0 25097 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 104644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29200
/proc/meminfo: memFree=27381244/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104644 CPUtime=1482.04 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25972 0 0 0 148196 8 0 0 20 0 1 0 337132313 107155456 25420 33554432000 134512640 135840783 4291382656 4291381964 5633127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26161 25420 348 325 0 25097 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 104644

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 29203
/proc/meminfo: memFree=27320496/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104644 CPUtime=1542.03 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25972 0 0 0 154195 8 0 0 20 0 1 0 337132313 107155456 25420 33554432000 134512640 135840783 4291382656 4291382016 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26161 25420 348 325 0 25097 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 104644

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 29203
/proc/meminfo: memFree=27250108/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104668 CPUtime=1602.02 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25978 0 0 0 160194 8 0 0 20 0 1 0 337132313 107180032 25426 33554432000 134512640 135840783 4291382656 4291381968 134551253 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26167 25426 348 325 0 25103 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 104668

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 29203
/proc/meminfo: memFree=27189996/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104668 CPUtime=1662.01 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25978 0 0 0 166193 8 0 0 20 0 1 0 337132313 107180032 25426 33554432000 134512640 135840783 4291382656 4291382016 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26167 25426 348 325 0 25103 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 104668

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 29203
/proc/meminfo: memFree=27136864/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104668 CPUtime=1722.01 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 25978 0 0 0 172193 8 0 0 20 0 1 0 337132313 107180032 25426 33554432000 134512640 135840783 4291382656 4291382016 134551079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26167 25426 348 325 0 25103 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 104668

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 29204
/proc/meminfo: memFree=27094216/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104668 CPUtime=1781.97 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 26002 0 0 0 178189 8 0 0 20 0 1 0 337132313 107180032 25426 33554432000 134512640 135840783 4291382656 4291382016 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26167 25426 348 325 0 25103 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 104668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 29204
/proc/meminfo: memFree=27082932/32873852 swapFree=7624/7624
[pid=29049] ppid=29047 vsize=104668 CPUtime=1800.08 cores=1,3,5,7
/proc/29049/stat : 29049 (bsolo3.0.17) R 29047 29049 25229 0 -1 4202496 26002 0 0 0 180000 8 0 0 20 0 1 0 337132313 107180032 25426 33554432000 134512640 135840783 4291382656 4291382080 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29049/statm: 26167 25426 348 325 0 25103 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 104668

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1800
CPU system time (s): 0.082987
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 104888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.082987
maximum resident set size= 101924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26005
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= 59
involuntary context switches= 1852

runsolver used 4.28035 second user time and 8.68368 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 09:54:29
IDJOB=3736704
IDBENCH=48105
IDSOLVER=2318
FILE ID=node131/3736704-1338710069
RUNJOBID= node131-1338678620-25249
PBS_JOBID= 14636682
Free space on /tmp= 71396 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736704-1338710069/watcher-3736704-1338710069 -o /tmp/evaluation-result-3736704-1338710069/solver-3736704-1338710069 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736704-1338710069.opb            

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

MD5SUM BENCH= 431de611ddaca60ef9395e6cd3a99cf2
RANDOM SEED=1342355109

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28029488 kB
Buffers:          555192 kB
Cached:          3048896 kB
SwapCached:         2348 kB
Active:          1777744 kB
Inactive:        2198596 kB
Active(anon):     368112 kB
Inactive(anon):     3664 kB
Active(file):    1409632 kB
Inactive(file):  2194932 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              6648 kB
Writeback:             0 kB
AnonPages:        376600 kB
Mapped:            15584 kB
Shmem:                 0 kB
Slab:             727488 kB
SReclaimable:     169888 kB
SUnreclaim:       557600 kB
KernelStack:        1440 kB
PageTables:         4720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     491284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71392 MiB
End job on node131 at 2012-06-03 10:24:31